<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body dir="auto">
<div dir="ltr">
<div dir="ltr">
<div dir="ltr">
<p style="font-size: 16px; box-sizing: border-box; margin-top: 0px; margin-bottom: 1rem; text-align: justify; margin-right: 3rem; caret-color: rgb(33, 37, 41); color: rgb(33, 37, 41); font-family: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; -webkit-tap-highlight-color: rgba(0, 0, 0, 0); -webkit-text-size-adjust: 100%;">
The Security and Privacy Research Unit at TU Wien is offering a fully funded PhD position in Formal Methods for Security and Privacy under the supervision of Univ.-Prof. Dr. Matteo Maffei.</p>
<p style="font-size: 16px; box-sizing: border-box; margin-top: 0px; margin-bottom: 1rem; text-align: justify; margin-right: 3rem; caret-color: rgb(33, 37, 41); color: rgb(33, 37, 41); font-family: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; -webkit-tap-highlight-color: rgba(0, 0, 0, 0); -webkit-text-size-adjust: 100%;">
Your profile:</p>
<ul style="font-size: 16px; box-sizing: border-box; padding: 0px 0px 0px 24px; margin: 0px 0px 20px; list-style: none; caret-color: rgb(33, 37, 41); color: rgb(33, 37, 41); font-family: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; -webkit-tap-highlight-color: rgba(0, 0, 0, 0); -webkit-text-size-adjust: 100%;">
<li style="box-sizing: border-box;">- Master degree in computer science or equivalent (degree completion by employment start)</li><li style="box-sizing: border-box;">- Excellent English, communication, and teamwork skills</li><li style="box-sizing: border-box;">- Background in formal methods (e.g., automated reasoning, type systems, or proof assistants) and security (e.g., cryptographic protocols, system security, or blockchains) is a plus</li><li style="box-sizing: border-box;">- Experience in research is a plus</li></ul>
<p style="font-size: 16px; box-sizing: border-box; margin-top: 0px; margin-bottom: 1rem; text-align: justify; margin-right: 3rem; caret-color: rgb(33, 37, 41); color: rgb(33, 37, 41); font-family: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; -webkit-tap-highlight-color: rgba(0, 0, 0, 0); -webkit-text-size-adjust: 100%;">
We offer:</p>
<ul style="font-size: 16px; box-sizing: border-box; padding: 0px 0px 0px 24px; margin: 0px 0px 20px; list-style: none; caret-color: rgb(33, 37, 41); color: rgb(33, 37, 41); font-family: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; -webkit-tap-highlight-color: rgba(0, 0, 0, 0); -webkit-text-size-adjust: 100%;">
<li style="box-sizing: border-box;">- A job in an internationally renowned group, which regularly publishes in top security venues, and consists of an international, diverse, and inclusive team with expertise in formal methods, cryptography, security, privacy,
and blockchains</li><li style="box-sizing: border-box;">- Diverse research topics in formal methods for security and privacy</li><li style="box-sizing: border-box;">- An international English-speaking environment (German not required)</li><li style="box-sizing: border-box;">- A competitive salary</li><li style="box-sizing: border-box;">- Flexible hours</li></ul>
<p style="font-size: 16px; box-sizing: border-box; margin-top: 0px; margin-bottom: 1rem; text-align: justify; margin-right: 3rem; caret-color: rgb(33, 37, 41); color: rgb(33, 37, 41); font-family: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; -webkit-tap-highlight-color: rgba(0, 0, 0, 0); -webkit-text-size-adjust: 100%;">
Applications are to be performed online (<a href="https://urldefense.com/v3/__https://tools.spycode.at/recruiting/call/5__;!!IBzWLUs!REAPGrFPuo4Fic4YcFNmTg9xdU37y1nrt_6EDS4_ruOnIMFx6_aIaGIuGW3YXfexisqs7kqYRinDaZ6r6yX_d-FyZGXcvF_4EYzrLpSS7MA$">https://tools.spycode.at/recruiting/call/5</a>). The application material should include:</p>
<ul style="font-size: 16px; box-sizing: border-box; padding: 0px 0px 0px 24px; margin: 0px 0px 20px; list-style: none; caret-color: rgb(33, 37, 41); color: rgb(33, 37, 41); font-family: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; -webkit-tap-highlight-color: rgba(0, 0, 0, 0); -webkit-text-size-adjust: 100%;">
<li style="box-sizing: border-box;">- Motivation letter</li><li style="box-sizing: border-box;">- Bachelor/Master’s transcripts</li><li style="box-sizing: border-box;">- Publication list (if available)</li><li style="box-sizing: border-box;">- Curriculum vitae</li><li style="box-sizing: border-box;">- Contact information for two referees</li></ul>
<p style="font-size: 16px; box-sizing: border-box; margin-top: 0px; margin-bottom: 1rem; text-align: justify; margin-right: 3rem; caret-color: rgb(33, 37, 41); color: rgb(33, 37, 41); font-family: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; -webkit-tap-highlight-color: rgba(0, 0, 0, 0); -webkit-text-size-adjust: 100%;">
We strongly encourage applications from underrepresented groups.</p>
<p style="font-size: 16px; box-sizing: border-box; margin-top: 0px; margin-bottom: 1rem; text-align: justify; margin-right: 3rem; caret-color: rgb(33, 37, 41); color: rgb(33, 37, 41); font-family: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", "Noto Sans", "Liberation Sans", Arial, sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; -webkit-tap-highlight-color: rgba(0, 0, 0, 0); -webkit-text-size-adjust: 100%;">
Applications are welcome until our positions are filled. The applications will be evaluated in a bi-weekly fashion, and applicants will be contacted only in case they are selected for an interview.</p>
<div dir="ltr">
<div><br>
</div>
<div><span style="font-size: 13pt; background-color: rgba(255, 255, 255, 0);">---</span></div>
<div><span style="background-color: rgba(255, 255, 255, 0); font-size: 13pt;">Univ. Prof. Matteo Maffei</span></div>
<div><span style="background-color: rgba(255, 255, 255, 0); font-size: 13pt;">Security and Privacy Group</span></div>
<div><span style="background-color: rgba(255, 255, 255, 0); font-size: 13pt;">TU Wien</span></div>
<div><a href="x-apple-data-detectors://6/1" dir="ltr" x-apple-data-detectors="true" x-apple-data-detectors-type="address" x-apple-data-detectors-result="6/1" style="background-color: rgba(255, 255, 255, 0); font-size: 13pt; -webkit-text-decoration-color: rgba(0, 0, 0, 0.258824);">Favoritenstrasse
9-11</a><span style="background-color: rgba(255, 255, 255, 0); font-size: 13pt;">, Stiege 2, 1. Stock</span></div>
<div><span style="background-color: rgba(255, 255, 255, 0); font-size: 13pt;">Wien, A-1040</span></div>
<div><span style="background-color: rgba(255, 255, 255, 0); font-size: 13pt;">Website: </span><a href="https://urldefense.com/v3/__http://secpriv.tuwien.ac.at/__;!!IBzWLUs!REAPGrFPuo4Fic4YcFNmTg9xdU37y1nrt_6EDS4_ruOnIMFx6_aIaGIuGW3YXfexisqs7kqYRinDaZ6r6yX_d-FyZGXcvF_4EYzrxMchOi0$" moz-do-not-send="true" style="background-color: rgba(255, 255, 255, 0); font-size: 13pt;">secpriv.tuwien.ac.at</a></div>
<div><span style="background-color: rgba(255, 255, 255, 0); font-size: 13pt;">Phone: </span><a href="tel:+43158801184860" dir="ltr" x-apple-data-detectors="true" x-apple-data-detectors-type="telephone" x-apple-data-detectors-result="8" style="background-color: rgba(255, 255, 255, 0); font-size: 13pt;">+43158801184860</a></div>
</div>
</div>
</div>
</div>
</body>
</html>