<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>