<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=us-ascii"><meta name=Generator content="Microsoft Word 14 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:34;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:36.0pt;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
span.EmailStyle20
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.EmailStyle21
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle22
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle23
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle24
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle25
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=DE-AT link=blue vlink=purple><div class=WordSection1><p class=MsoPlainText> <span lang=EN-US>[Apologies if you receive multiple copies of this email. Please distribute to interested parties.]<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Applications are invited for a 4-year fully funded PhD studentship in LogiCS Doctoral College – Logical Methods in Computer Science. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>========================================<span style='color:#1F497D'><o:p></o:p></span></span></p><p class=MsoNormal><span lang=EN-US>The faculty of the LogiCS doctoral college is looking for 16 doctoral students, where 30% of the positions are reserved for highly qualified female candidates. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>========================================<span style='color:#1F497D'><o:p></o:p></span></span></p><p class=MsoNormal><span lang=EN-US>LogiCS – Logical Methods in Computer Science is a joint doctoral program of TU Wien, TU Graz, and JKU Linz, Austria, funded by the Austrian Science Fund (FWF). <span style='color:#1F497D'><o:p></o:p></span></span></p><p class=MsoNormal>========================================<span lang=EN-US style='color:#1F497D'><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Deadline: Friday 31 August 2018. <span style='color:#1F497D'><o:p></o:p></span></span></p><p class=MsoNormal>========================================<span lang=EN-US style='color:#1F497D'><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Website: <a href="http://logic-cs.at/phd/">http://logic-cs.at/phd/</a> <o:p></o:p></span></p><p class=MsoNormal>========================================<o:p></o:p></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>TOPICS OF RESEARCH<o:p></o:p></span></p><p class=MsoNormal><span 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 class=MsoNormal><span lang=EN-US>(i) computational logic, <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>(ii) databases and artificial intelligence, <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>(iii) computer-aided verification, and <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>(iv) emerging application domains, such as cyber-physical systems, distributed systems, and security & privacy.<o:p></o:p></span></p><p class=MsoNormal>========================================<span lang=EN-US style='color:#1F497D'><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>FACULTY MEMBERS<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span 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:<span style='color:#1F497D'> </span></span>E. Bartocci / A. Biere / R. Bloem / A. Ciabattoni / G. Gottlob / T. Eiter / R. Grosu / L. Kovacs / M. Maffei / M. Ortiz / U. Schmid / M. Seidl / S. Szeider / G. Weissenbacher / S. Woltran<o:p></o:p></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>See: </span><span style='color:#1F497D'><a href="https://dblp.uni-trier.de/"><span lang=EN-US>https://dblp.uni-trier.de/</span></a> </span><span lang=EN-US style='color:#1F497D'><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>Details are provided on: <a href="http://logic-cs.at/phd/faculty/">http://logic-cs.at/phd/faculty/</a> <o:p></o:p></span></p><p class=MsoNormal>========================================<span lang=EN-US><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>POSITIONS AND FUNDING<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>4-years fully funded 16 positions, where 30% of the positions are reserved for highly qualified female candidates. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund (details: <a href="http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/">http://www.fwf.ac.at/de/forschungsfoerderung/personalkostensaetze/</a> ). <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>Additional positions will be available through other funding. <o:p></o:p></span></p><p class=MsoNormal>========================================<span lang=EN-US><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>HOW TO APPLY<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>The applicants are expected to have completed an excellent master's degree in computer science, mathematics, or a related field. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>Candidates with comparable achievements (e.g., bachelor of honors) may be considered on a case-by-case basis. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>Applications by the candidates need to be submitted electronically.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>Applications will be screened: September 1, 2018<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>The positions will be filled on continuous basis till October 2018. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>Applications by the candidates need to be submitted electronically. <o:p></o:p></span></p><p class=MsoNormal>========================================<span lang=EN-US><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>ADMISSION<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>Detailed information: <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 lang=EN-US><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>RESEARCH; STUDY; LIFE IN AUSTRIA<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>Austria has a vibrant and highly active and successful logic in computer science community. See: <a href="http://www.vcla.at">www.vcla.at</a> <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='color:#1F497D'>- </span><span lang=EN-US>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. <span style='color:#1F497D'><o:p></o:p></span></span></p><p class=MsoNormal>========================================<span lang=EN-US><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>FURTHER INFORMATION<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>For further information please contact: <a href="mailto:info@logic-cs.at">info@logic-cs.at</a> <o:p></o:p></span></p></div></body></html>