<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

</head>

<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">

<div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">

<div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">

Dear all,

<div><br>

</div>

<div>I am looking for a PhD student to join my ongoing project of verifying a programming framework for distributed stream processing in Isabelle. Please reach out to me if you are interested or know suitable candidates. With a few months delay, I will be also

 advertising a 3 year postdoc position within the same project. Feel free to reach out if that is also of interest.</div>

<div><br>

</div>

<div>The PhD position is described here with an application deadline on March 15:</div>

<div><br>

</div>

<div><a href="https://urldefense.com/v3/__https://jobportal.ku.dk/phd/?show=161126__;!!IBzWLUs!V0QErPWCwdp6Bk-OSkhQXBfZIa0VDUkTCedz7mJ2KOUoczIh3HsjiQU1F6Gj8kKBd9yXfpeHvnov96AQijsC0PYBxwMK0PzI$">https://jobportal.ku.dk/phd/?show=161126</a></div>

<div><br>

</div>

<div>Best wishes,</div>

<div>Dmitriy</div>

<div><br>

</div>

<div><br>

</div>

</div>

</div>

</body>

</html>