<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;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:"Calibri","sans-serif";}
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;
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-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><b><span lang=EN-US>Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien funded by ERC Consolidator Grant <o:p></o:p></span></b></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><b><span lang=EN-US>WHAT:</span></b><span lang=EN-US> The Security & Privacy group at TU Wien (</span><a href="https://secpriv.tuwien.ac.at"><span lang=EN-US>https://secpriv.tuwien.ac.at</span></a><span lang=EN-US>) is currently looking for several outstanding Ph.D. and postdoc candidates to conduct research within the ERC Consolidator Project “Foundations and Tools for Client-Side Web Security". The project will develop a holistic approach to client-side web security, laying its theoretical foundations and developing innovative security enforcement technologies. The project is a multidisciplinary research effort, promising practical impact and delivering breakthrough advancements in various disciplines, such as web security, JavaScript semantics, software engineering, and program verification.<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><b><span lang=EN-US>APPLICATION:</span></b><span lang=EN-US> Successful applicants should have a background and interest in at least one of the following areas:<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US>- security<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>- web technologies<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>- formal methods<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>- semantics of programming languages<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>- verification <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US>- Doctoral applicants should have recently completed (or be close to complete) a master or bachelor with honours degree. Postdoctoral applicants should have an excellent publication record with at least one top-tier conference in one of the aforementioned areas. <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US>+ The employment is full-time (40 hrs/week) and the salary is internationally competitive (the yearly entry-level gross salary is approx. 40K EUR for PhD students and 53K for postdocs). <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>+ The working language at the university is English, knowledge of German is not required. <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><b><span lang=EN-US>APPLICATION:</span></b><span lang=EN-US> Interested candidates should send<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US>- a motivation letter <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>- transcripts of records (Bachelor and Master, for PhD applicants)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>- a publication list (for postdoc applicants)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>- a research statement (for postdoc applicants)<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>- a curriculum vitae <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US>- contact information for two referees<o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><span lang=EN-US>to Univ. Prof. Matteo Maffei<o:p></o:p></span></p><p class=MsoPlainText><a href="mailto:matteo.maffei@tuwien.ac.at"><span lang=EN-US>matteo.maffei@tuwien.ac.at</span></a><span lang=EN-US><o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><b><span lang=EN-US>DEADLINE:</span></b><span lang=EN-US> The application deadline is May 31, 2019. <o:p></o:p></span></p><p class=MsoPlainText><span lang=EN-US><o:p> </o:p></span></p><p class=MsoPlainText><b><span lang=EN-US>ABOUT TU WIEN (Vienna University of Technology), AUSTRIA:</span></b><span lang=EN-US> TU Wien offers an outstanding research environment and numerous professional development opportunities. The Faculty of Informatics is the largest one in Austria and is consistently ranked among the best in Europe. Ph.D. students have the possibility to join the LogiCS doctoral school (</span><a href="http://logic-cs.at"><span lang=EN-US>http://logic-cs.at</span></a><span lang=EN-US>). Vienna features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields, including security and privacy. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide.<o:p></o:p></span></p></div></body></html>