<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;}
@font-face
{font-family:"PT Sans";
panose-1:2 11 5 3 2 2 3 2 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;}
span.EmailStyle17
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.EmailStyle18
{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=MsoNormal><span lang=EN-US>TU Wien, TU Graz, and JKU Linz are seeking 16 doctoral students for the doctoral college Logical Methods in Computer Science (LogiCS). The doctoral program has been successfully established in 2014, and now it looks for the second generation of the PhD students. LogiCS through the eyes of the students: <a href="http://bit.ly/HotspotVienna">http://bit.ly/HotspotVienna</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>The doctoral positions are funded for a period of 4 years according to the funding scheme of the Austrian Science Fund. Additional positions will be available through other funding. (See the full funding amount on LogiCS website). Aim of the current call is to fill the 16 positions, where 30% of the positions are reserved for highly qualified female candidates, by the autumn of 2018.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><b><span lang=EN-US>THE PROGRAM<o:p></o:p></span></b></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><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><o:p> </o:p></span></p><p class=MsoNormal><b><span lang=EN-US>FACULTY MEMBERS<o:p></o:p></span></b></p><p class=MsoNormal><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: Details are provided on <a href="http://logic-cs.at/faculty/">http://logic-cs.at/faculty/</a> <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><b><span lang=EN-US>HOW TO APPLY<o:p></o:p></span></b></p><p class=MsoNormal><span lang=EN-US>Applications will be screened on the following dates:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>*June 1, 2018<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>*July 1, 2018<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>*September 1, 2018<o:p></o:p></span></p><p class=MsoNormal><b><span lang=EN-US>The positions will be filled on continuous basis till October 2018.<o:p></o:p></span></b></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US>Applications by the candidates need to be submitted electronically. Detailed information about the application process is available on the LogiCS web-page.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><b><span lang=EN-US>LOGIC IN AUSTRIA<o:p></o:p></span></b></p><p class=MsoNormal><span lang=EN-US>Austria has a highly active and successful logic in computer science community. Recent activities include:<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>*Vienna Summer of Logic, the Largest Conference in the History of Logic: vsl2014.at<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>*ALGO 2017: algo2017.ac.tuwien.ac.at<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>*FMCAD 2017: http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD17/<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>*Austrian Research Network in Rigorous Systems Engineering: www.arise.or.at<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>*Vienna Center for Logic and Algorithms: vcla.at<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US>*International Kurt Goedel Society: kgs.logic.at<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><b><span lang=EN-US>HIGHEST QUALITY OF LIFE<o:p></o:p></span></b></p><p class=MsoNormal><span lang=EN-US>The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><b><span lang=EN-US>FURTHER INFORMATION<o:p></o:p></span></b></p><p class=MsoNormal><span lang=EN-US>For further information please contact: info@logic-cs.at<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p><p class=MsoNormal><b><span lang=EN-US style='font-size:10.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>WEBSITE<o:p></o:p></span></b></p><p class=MsoNormal><span lang=EN-US>http://logic-cs.at/phd/admission/</span><span lang=EN-US style='font-size:10.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:10.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'><o:p> </o:p></span></p><p class=MsoNormal><b><span lang=EN-US style='font-size:10.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>SOCIAL MEDIA<o:p></o:p></span></b></p><p class=MsoNormal><span lang=EN-US style='font-size:10.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>Facebook: <a href="http://bit.ly/FBVCLA">bit.ly/FBVCLA</a> <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:10.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>Twitter: <a href="https://twitter.com/vclaTUwien">https://twitter.com/vclaTUwien</a> </span><span lang=EN-US><o:p></o:p></span></p></div></body></html>