<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class=""><span dir="auto" class="">We are looking for 10 brilliant students to hire with a very competitive salary (up to 29000 Euro/net per year) for four years.</span></div><div class=""><span dir="auto" class="">The students will be trained within a new PhD school (SecInt <a href="https://secint.visp.wien/" class="">https://secint.visp.wien/</a> ) on secure and intelligent human-centric </span></div><div class=""><span dir="auto" class="">digital technologies.</span></div><div class=""><br class=""></div><div class="">In our research group (<a href="http://www.eziobartocci.com/team.php" class="">TrustCPS</a>), I am looking for a candidate working on verifying and (ensuring at runtime) safety and </div><div class="">security properties in autonomous cyber-physical systems such as self-driving cars.</div><div class="">This particular position is co-funded by TU Wien and the Austrian Institute of Technology for 40 hours/per week (full-time) with </div><div class=""> a four years contract. The position will be co-supervised together with Dr. Dejan Nickovic (<a href="https://www.ait.ac.at/en/research-topics/dependable-systems-engineering/verification-validation/" class="">https://www.ait.ac.at/en/research-topics/dependable-systems-engineering/verification-validation/</a> ).</div><div class="">The working language will be English.</div><div class=""><br class=""></div><div class="">The link for the application is the following:</div><span dir="auto" class=""><div class="">(<a href="https://jobs.tuwien.ac.at/Job/136572?culture=en&fbclid=IwAR0QQB-iIlB2toQ8VscR_GdTbs5nWxs4EeR5mJqMuJE3v0W4NVmRNyRyHeA" target="_blank" data-saferedirecturl="https://www.google.com/url?q=https://jobs.tuwien.ac.at/Job/136572?culture%3Den%26fbclid%3DIwAR0QQB-iIlB2toQ8VscR_GdTbs5nWxs4EeR5mJqMuJE3v0W4NVmRNyRyHeA&source=gmail&ust=1602878836257000&usg=AFQjCNH7kCkWc7KERWwnn2iWWwHgNTRcpA" class="">https://jobs.tuwien.ac.at/<wbr class="">Job/136572?culture=en&fbclid=<wbr class="">IwAR0QQB-iIlB2toQ8VscR_<wbr class="">GdTbs5nWxs4EeR5mJqMuJE3v0W4NVm<wbr class="">RNyRyHeA</a> )</div><div class="">The deadline to apply is the end of November.</div><div class=""><br class=""></div><div class="">Concerning the quality of life, Vienna has been ranked consecutively in the last ten years as the most livable place in the world by <span class="aCOpRe">the international consulting agency <em class="">Mercer</em></span>:</div><div class=""><font color="#0068da" class=""><span class=""><u class=""><a href="https://theculturetrip.com/europe/austria/articles/10-reasons-vienna-was-named-city-with-highest-quality-of-life/" class="">https://theculturetrip.com/europe/austria/articles/10-reasons-vienna-was-named-city-with-highest-quality-of-life/</a></u></span></font></div><div class="">The cost of life is very affordable and very low compared to other important metropolitan cities.</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">The Faculty of Informatics at TU Wien is consistently ranked among the best top 100 in the world in several rankings.</div><div class=""><a href="https://informatics.tuwien.ac.at/news/1868/documents/139" target="_blank" data-saferedirecturl="https://www.google.com/url?q=https://informatics.tuwien.ac.at/news/1868/documents/139&source=gmail&ust=1602878836257000&usg=AFQjCNEhyziDK9IO-WXMgIMIE1EVvcnZHQ" class="">https://informatics.tuwien.ac.<wbr class="">at/news/1868/documents/139</a> </div><div class=""><br class=""></div><div class="">The research environment is incredibly vibrant with a critical mass of top scientists in computer science </div><div class="">(not only at TU Wien, but also in several close research institutions such as for example IST Austria)</div><div class="">with whom to collaborate.</div><div class=""><br class=""></div><div class="">Furthermore, the PhD school gives also the possibility to visit abroad, to make internships and to collaborate with several other renown industrial </div><div class="">(e.g. Amazon, Microsoft, etc) and academic partners (e.g., Stanford University, TU Munich, RWTH Aachen, etc.).</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Do not hesitate to contact me for further information.</div><div class=""><br class=""></div><div class="">Best regards</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Ezio Bartocci</div><div class=""><br class=""></div><div class=""><span dir="auto" class=""><font color="#888888" class="">-- <br class=""><div dir="ltr" class=""><div dir="ltr" class=""><div dir="ltr" class=""><div dir="ltr" class=""><div class="">Prof. Ezio Bartocci</div><div class="">Faculty of Informatics<br class="">TU Wien, Vienna University of Technology, Austria<br class="">Treitlstraße 3, 1040 Vienna, Austria<br class="">E-Mail: <a href="mailto:ezio.bartocci@tuwien.ac.at" target="_blank" class="">ezio.bartocci@tuwien.ac.at</a><br class="">Phone: +43 (1) 58801 - 18226<br class="">Website: <a href="http://www.eziobartocci.com/" class="">http://www.eziobartocci.com</a></div><div class="">DBLP: <a href="https://dblp.uni-trier.de/pid/b/EzioBartocci.html" class="">https://dblp.uni-trier.de/pid/b/EzioBartocci.html</a> </div><div class="">Scopus: <a href="https://www.scopus.com/authid/detail.uri?authorId=14053557900" class="">https://www.scopus.com/authid/detail.uri?authorId=14053557900</a></div></div></div></div></div></font></span></div></span></body></html>