<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>4-Year PhD position @ UTwente</p>
<p>======================================<br>
</p>
<p>We have an opening for a 4 year PhD position in the VESPA project
(Verification of Efficient and Secure Parallel Algorithms) at the
University of Twente.</p>
<p>We want to apply stepwise refinement techniques in Isabelle/HOL
(or another ITP) to develop scalable verification techniques for
parallel algorithms, down to their efficient implementations on
Multicore CPUs / GPUs. <br>
</p>
<p>You will be supervised by Peter Lammich, and work in the Formal
Methods and Tools group at the University of Twente, which has a
strong expertise in verification of concurrent software.</p>
<p>The PhD position is fully funded, and your salary will be
increasing from € 2,541 in the first year to € 3,247<span
style="color: rgb(30, 35, 40); font-family: "Univers Next
W02", Arial, Helvetica, sans-serif; font-size: 20px;
font-style: normal; font-variant-ligatures: normal;
font-variant-caps: normal; font-weight: 400; letter-spacing:
normal; orphans: 2; text-align: left; text-indent: 0px;
text-transform: none; white-space: nowrap; widows: 2;
word-spacing: 0px; -webkit-text-stroke-width: 0px;
background-color: rgb(255, 255, 255); text-decoration-thickness:
initial; text-decoration-style: initial; text-decoration-color:
initial; display: inline !important; float: none;"></span> in
the last year.</p>
<p>Starting date: ideally as soon as possible.<br>
</p>
<p>For applications and other details: please follow this link: <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://utwentecareers.nl/en/vacancies/1044/__;!!IBzWLUs!QkHEDGf4iCo-A5QlFj2NhP8c6WHB8ObRblQtlHqI6y_Pf3pOzhI13FL9XzjZNF7cnbcZvNTlScLmU_-EbPCnFeKKCDjWwhOO$">https://utwentecareers.nl/en/vacancies/1044/</a>
<b>Application Deadline:</b> <b>10th May (CEST)</b><br>
</p>
<p><br>
</p>
<p>For more information, feel free to contact Peter Lammich (<a
class="moz-txt-link-abbreviated moz-txt-link-freetext"
href="mailto:p.lammich@utwente.nl">p.lammich@utwente.nl</a>).<br>
</p>
<p><br>
</p>
<p>Best wishes,<br>
</p>
Peter Lammich
<p></p>
</body>
</html>