<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<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 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;}
h1
{mso-style-priority:9;
mso-style-link:"Heading 1 Char";
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:24.0pt;
font-family:"Times New Roman","serif";
font-weight:bold;}
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
{mso-style-priority:99;
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
span.Heading1Char
{mso-style-name:"Heading 1 Char";
mso-style-priority:9;
mso-style-link:"Heading 1";
font-family:"Times New Roman","serif";
mso-fareast-language:DE-AT;
font-weight:bold;}
span.EmailStyle19
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:windowtext;}
span.EmailStyle20
{mso-style-type:personal;
font-family:"Calibri","sans-serif";
color:#1F497D;}
span.EmailStyle21
{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><b><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif"'>Two PhD positions in Formal Methods in System Engineering Group at TU Wien, Austria<o:p></o:p></span></b></p><p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>The Institute of Logic and Computation at the TU Wien, </span><span style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'><a href="https://forsyte.at/"><span lang=EN-US>FORSYTE Group</span></a></span><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'> is offering two research assistant (PhD student) Positions, 30 h/week, for a period of 4 years. <br>The successful candidate will be supervised by Prof. Pavol Cerny. The estimated start date is September 2, 2019.<o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>REQUIREMENTS<o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>Candidates with a research background in computer-aided verification, programming languages, and distributed systems are particularly encouraged to apply. Excellent knowledge of German and English languages is a requirement. TU Wien aims to increase the proportion of women and therefore calls on qualified women to apply. Persons with disabilities are equally encouraged to apply. For further Information please contact Mr. Gerhard Neustätter, </span><span style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'><a href="mailto:gerhard.neustaetter@tuwien.ac.at"><span lang=EN-US>gerhard.neustaetter@tuwien.ac.at</span></a></span><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'><o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>BENEFITS<o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>The monthly minimum salary is currently EUR 2.148,40 (14x per year). Prior experience may result in a higher salary. The Faculty of Informatics at TU Wien is the largest one in Austria. It offers a first-class research environment and various academic development programs. Vienna has repeatedly been ranked Number 1 worldwide in the Mercer Quality of Living Survey.<o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>APPLICATION<o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>The proposed research will focus on computer-aided verification and synthesis of distributed systems. The application should include the candidate's CV, an abstract of her/his Diploma/Master thesis, a short motivation letter, and contact information for two references. <br>The first screening of applications will start on July 4, 2019.<o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'><br><b><span style='color:red'>Application Deadline: 04.07.2019</span></b><span style='color:red'> (Date of postmark)</span><o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'><br>Please send your application documents to Personaladministration, Fachbereich wiss. Personal der TU Wien, Karlsplatz 13, 1040 Wien. Online applications to </span><span style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'><a href="mailto:veronika.korn@tuwien.ac.at"><span lang=EN-US>veronika.korn@tuwien.ac.at</span></a></span><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'> <o:p></o:p></span></p><p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto'><i><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>Candidates are not eligible for a refund of expenses for </span></i><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";mso-fareast-language:DE-AT'>traveling<i> and lodging related to the application process.</i><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif"'><o:p> </o:p></span></p></div></body></html>