<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 is (ideally) before June 2023, but later starting
dates can be negotiated.<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!R1rRHpLr9-Z2362rN3YFVZFljlqX5QkR-vlsuWlyyWm-AcmIPAzV5DBkuP5-GByah9p0l29vluiCDupefS1zT5EGbZIX12ML$">https://utwentecareers.nl/en/vacancies/1044/</a> <b>Application
Deadline:</b> <b>28th February</b><br>
</p>
<p><br>
</p>
<p>For more information, feel free to contact Peter
(<a class="moz-txt-link-abbreviated" href="mailto:p.lammich@utwente.nl">p.lammich@utwente.nl</a>).<br>
</p>
<p><br>
</p>
<p>Best wishes,<br>
</p>
<p> Peter Lammich<br>
</p>
<p><br>
</p>
</body>
</html>