<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:x="urn:schemas-microsoft-com:office:excel" 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:12.0pt;
font-family:"Times New Roman","serif";}
h3
{mso-style-priority:9;
mso-style-link:"Heading 3 Char";
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:13.5pt;
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.Heading3Char
{mso-style-name:"Heading 3 Char";
mso-style-priority:9;
mso-style-link:"Heading 3";
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.EmailStyle22
{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 style='font-family:"PT Sans","sans-serif"'>The </span><span style='font-family:"PT Sans","sans-serif"'><a href="http://ti.tuwien.ac.at/" target="_blank"><span lang=EN-US>Institute of Computer Engineering</span></a></span><span style='font-family:"PT Sans","sans-serif"'> <span lang=EN-US>at Technische Universität Wien (TU Wien) is seeking a candidate for a research assistant position (PhD student, 4 years).<b> </b><strong><span style='font-family:"PT Sans","sans-serif";font-weight:normal'>The successful applicant will carry out his/her PhD in the research area of formal methods applied to the specification and monitor of large-scale, spatially-distributed, stochastic systems, contributing to the recently acquired project: “High-dimensional statistical learning: new methods to advance economic and sustainability policies”</span></strong><b>. <o:p></o:p></b></span></span></p><p class=MsoNormal><span lang=EN-US style='font-family:"PT Sans","sans-serif"'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-family:"PT Sans","sans-serif"'>The successful candidate will be a PhD student of the </span><span style='font-family:"PT Sans","sans-serif"'><a href="https://logic-cs.at/phd/" target="_blank"><span lang=EN-US>LogiCS Doctoral Program</span></a></span><span lang=EN-US style='font-family:"PT Sans","sans-serif"'> and she/he will be supervised by Prof. </span><span style='font-family:"PT Sans","sans-serif"'><a href="http://www.eziobartocci.com/" target="_blank"><span lang=EN-US>Ezio Bartocci</span></a></span><span lang=EN-US style='font-family:"PT Sans","sans-serif"'> and co-supervised by Dr. </span><span style='font-family:"PT Sans","sans-serif"'><a href="https://lauranenzi.github.io/" target="_blank"><span lang=EN-US>Laura Nenzi.</span></a></span><span lang=EN-US style='font-family:"PT Sans","sans-serif";color:red'>The application deadline is August 31, 2019. </span><span lang=EN-US style='font-family:"PT Sans","sans-serif"'><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-family:"PT Sans","sans-serif"'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-family:"PT Sans","sans-serif"'>Formal methods provide precise formal specification languages that can be easily interpreted by humans and verification algorithms that can check in an automatic way the value of satisfaction of interesting properties. One of the main problems of such techniques is the curse of dimensionality. A possibility to treat the problem is to use approximate methods such as statistical model checking. However, even these methodologies can be unfeasible for very-large-scale stochastic systems. A new research line consists of exploiting machine learning techniques and Bayesian inference to identify relevant data and decrease the computational cost, permitting the application of such powerful formal analysis on very complex systems. An important aspect that will be covered in the study is the spatial configuration of such systems, a key feature in several real case studies that are considering in the project. The methodology will be principally applied to tackle questions related to sustainable urban mobility and thus responsible consumption. <o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-family:"PT Sans","sans-serif"'> <o:p></o:p></span></p><p class=MsoNormal><strong><span lang=EN-US style='font-family:"PT Sans","sans-serif"'>APPLICATION</span></strong><span lang=EN-US style='font-family:"PT Sans","sans-serif"'><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-family:"PT Sans","sans-serif"'>Please submit your application following the instructions in the DK LogiCS admission portal. </span><span style='font-family:"PT Sans","sans-serif"'><a href="https://logic-cs.at/phd/admission/" target="_blank"><span lang=EN-US>https://logic-cs.at/phd/admission/</span></a></span><span lang=EN-US style='font-family:"PT Sans","sans-serif"'>, by indicating in the application form: Prof. Ezio Bartocci and Dr. Laura Nenzi as supervisors. While it is not necessary to have the Master degree at the moment of the application, it is instead mandatory to complete it before starting the PhD. <strong><span style='font-family:"PT Sans","sans-serif"'>Deadline: August 31, 2019</span></strong><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-family:"PT Sans","sans-serif"'><o:p> </o:p></span></p><p class=MsoNormal><strong><span lang=EN-US style='font-family:"PT Sans","sans-serif"'>CONTACT DETAILS</span></strong><span lang=EN-US style='font-family:"PT Sans","sans-serif"'><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-family:"PT Sans","sans-serif"'>For further information and inquiries about this post please contact Laura Nenzi, e-mail: </span><span style='font-family:"PT Sans","sans-serif"'><a href="mailto:laura.nenzi@gmail.com" target="_blank"><span lang=EN-US>laura.nenzi AT gmail.com</span></a></span><span lang=EN-US style='font-family:"PT Sans","sans-serif"'><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-family:"PT Sans","sans-serif"'><o:p> </o:p></span></p><p class=MsoNormal><strong><span style='font-family:"PT Sans","sans-serif"'>About LogiCS</span></strong><span style='font-family:"PT Sans","sans-serif"'><o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-family:"PT Sans","sans-serif"'>The <strong><span style='font-family:"PT Sans","sans-serif"'>LogiCS doctoral program</span></strong> is a PhD degree program funded by the </span><span style='font-family:"PT Sans","sans-serif"'><a href="http://www.fwf.ac.at/en/" target="_blank"><span lang=EN-US>Austrian Science Fund FWF</span></a></span><span lang=EN-US style='font-family:"PT Sans","sans-serif"'> and run jointly by the three Austrian universities </span><span style='font-family:"PT Sans","sans-serif"'><a href="https://www.tuwien.ac.at/en/" target="_blank"><span lang=EN-US>TU Wien</span></a></span><span lang=EN-US style='font-family:"PT Sans","sans-serif"'> (Vienna University of Technology), </span><span style='font-family:"PT Sans","sans-serif"'><a href="http://logic-cs.at/phd/organization/" target="_blank"><span lang=EN-US>Graz University of Technology</span></a></span><span lang=EN-US style='font-family:"PT Sans","sans-serif"'> and </span><span style='font-family:"PT Sans","sans-serif"'><a href="http://logic-cs.at/phd/organization/" target="_blank"><span lang=EN-US>Johannes Kepler University Linz</span></a></span><span lang=EN-US style='font-family:"PT Sans","sans-serif"'>. This program is aimed at highly motivated students who want to work in the field of Logical Methods in Computer Science.<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-family:"PT Sans","sans-serif"'><o:p> </o:p></span></p><h3><strong><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif"'>Why join the LogiCS program in Austria?</span></strong><strong><span style='font-size:12.0pt'><o:p></o:p></span></strong></h3><h3><strong><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif"'>Vienna</span></strong><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'> has a </span><span style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'><a href="http://logic-cs.at/about-vienna/#logic" target="_blank"><span lang=EN-US>prominent history in mathematics, computer science, and logic research</span></a></span><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'> (</span><span style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'><a href="http://en.wikipedia.org/wiki/Kurt_G%C3%B6del" target="_blank"><span lang=EN-US>Kurt Gödel</span></a></span><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'>, </span><span style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'><a href="http://en.wikipedia.org/wiki/Vienna_Circle" target="_blank"><span lang=EN-US>Vienna Circle</span></a></span><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'>, …). Additionally, it has repeatedly been ranked </span><span style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'><a href="http://en.wikipedia.org/wiki/Mercer_Quality_of_Living_Survey" target="_blank"><span lang=EN-US>number 1 in the Mercer Quality of Living Survey</span></a></span><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'>. The </span><strong><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif"'>LogiCS faculty</span></strong><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'> comprises 15 </span><span style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'><a href="http://logic-cs.at/phd/faculty/" target="_blank"><span lang=EN-US>renowned researchers</span></a></span><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'> with strong records in research, teaching, and advising, complemented by 14 </span><span style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'><a href="http://logic-cs.at/phd/faculty/" target="_blank"><span lang=EN-US>associated members</span></a></span><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'> who further strengthen the research and teaching activities of the college, as well as </span><span style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'><a href="http://www.vcla.at/category/talks/" target="_blank"><span lang=EN-US>visiting professors and frequent guests</span></a></span><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'>. The program is complemented by our faculty’s participation </span><strong><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif"'>research initiatives</span></strong><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'> such as the </span><span style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'><a href="http://arise.or.at/" target="_blank"><span lang=EN-US>Austrian-wide National Research Network on Rigorous Systems Engineering</span></a></span><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'> (ARiSE) funded by the Austrian Science Fund, the </span><span style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'><a href="http://www.vcla.at/" target="_blank"><span lang=EN-US>Vienna Center for Logic and Algorithms</span></a></span><span lang=EN-US style='font-size:12.0pt;font-family:"PT Sans","sans-serif";font-weight:normal'> (VCLA).</span><span style='font-weight:normal'><o:p></o:p></span></h3><p class=MsoNormal><span lang=EN-US><o:p> </o:p></span></p></div></body></html>