<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <pre wrap="">[Apologies if you receive multiple copies of this email. Thank you for helping us reach interested parties.]

</pre>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US"><b>** 16 PhD Positions on Logical Methods in
          Computer Science</b><b> **</b><br>
      </span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US"><br>
        TU Wien, TU Graz, and JKU Linz are seeking exceptionally
        talented and motivated students for their joint doctoral program
        on Logical Methods in Computer Science (LogiCS).  LogiCS has
        been established in 2014 and currently includes 44 students.<o:p></o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US"><o:p> </o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><a
        href="http://logic-cs.at/phd/"><span
          style="font-family:"Calibri","sans-serif""
          lang="EN-US">http://logic-cs.at/phd/</span></a><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US"><o:p></o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US"><o:p> </o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif";color:red"
        lang="EN-US">THE PROGRAM<o:p></o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US">LogiCS focuses on logic and its applications in
        computer science. Successful applicants will work on
        interdisciplinary research topics covering<o:p></o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US">(i) computational logic, <o:p></o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US">(ii) databases and artificial intelligence,  <o:p></o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US">(iii) computer-aided verification, and <o:p></o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US">(iv) emerging application domains, such as
        cyber-physical systems, distributed systems, and security &
        privacy.<o:p></o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US"><o:p> </o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif";color:red"
        lang="EN-US">FACULTY MEMBERS<o:p></o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US">Austria has a vibrant and highly active and
        successful logic in computer science community. Students are
        supervised by leading researchers in their fields:<o:p></o:p></span></p>
    <p style="margin:0cm;margin-bottom:.0001pt"><span
        style="font-family:"Calibri","sans-serif""
        lang="EN-US"><o:p> </o:p></span></p>
    <p
style="mso-margin-top-alt:0cm;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm"><span
style="font-family:"Calibri","sans-serif";color:black">M.
        Baaz                      E. Bartocci                  A. Biere
                             R. Bloem         <br>
        A. Ciabattoni              G. Gottlob                   T. Eiter
                               C. Fermueller    <br>
        R. Grosu                      L. Kovacs                     M.
        Maffei                   M. Ortiz             <br>
        R. Pichler                    U. Schmid                   M.
        Seidl                      S. Szeider    <br>
        G. Weissenbacher      S. Woltran</span><span
        style="font-family:"Calibri","sans-serif""><o:p></o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US">Details
        are provided on </span><a href="http://logic-cs.at/faculty/"><span
          style="font-size:12.0pt" lang="EN-US">http://logic-cs.at/faculty/</span></a><span
        style="font-size:12.0pt" lang="EN-US"><o:p></o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US"><o:p> </o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt;color:red"
        lang="EN-US">POSITIONS AND FUNDING<o:p></o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US">We
        are looking for 16 doctoral students, where 30% of the positions
        are reserved for highly qualified female candidates.  The
        doctoral positions are funded for a period of 4 years according
        to the funding scheme of the Austrian Science Fund (details: </span><a
href="http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/"><span
          style="font-size:12.0pt" lang="EN-US">http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/</span></a><span
        style="font-size:12.0pt" lang="EN-US">). Additional positions
        will be available through other funding. <o:p></o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US"><o:p> </o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt;color:red"
        lang="EN-US">HOW TO APPLY<o:p></o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US">Detailed
        information about the application process is available on the
        LogiCS web-page<o:p></o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US"><a
          href="http://logic-cs.at/phd/admission/">http://logic-cs.at/phd/admission/</a><o:p></o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US"><o:p> </o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US">The
        applicants are expected to have completed an excellent master's
        degree in computer science, mathematics, or a related field.
        Candidates with comparable achievements (e.g., bachelor of
        honors) may be considered on a case-by-case basis. Applications
        by the candidates need to be submitted electronically.<o:p></o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US">The
        positions will be filled on continuous basis till October 2018.
        <o:p></o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US">The
        evaluation of applications will start on 1st of March, 2018. <o:p></o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US"><o:p> </o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt;color:red"
        lang="EN-US">STUDYING AND LIVING IN AUSTRIA<o:p></o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US">Austria

        has a vibrant and highly active and successful logic in computer
        science  community. Vienna, Graz, and Linz, located close to the
        Alps, are surrounded by beautiful nature. Vienna is constantly
        ranked the city with the highest quality of life in the world.
        Austria has an exciting cultural scene, world-famous historical
        sites, a large international community, varied cuisine, and
        famous coffee houses.<o:p></o:p></span></p>
    <p class="MsoNormal"><span style="font-size:12.0pt" lang="EN-US"><o:p> </o:p></span></p>
    <span style="font-size:12.0pt;color:red" lang="EN-US">For further
      information please contact: <a href="mailto:info@logic-cs.at">info@logic-cs.at</a></span>
    <pre wrap="">



</pre>
    <pre class="moz-signature" cols="72">-- 
Magdalena Ortiz
Asst. Prof. Knowledge Representation and Reasoning
Institute of Information Systems (E184/3)
TU Wien</pre>
  </body>
</html>