
<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>Dear all,</div>

<div><br>

</div>

<div>I am looking to fill a PhD and a postdoc position at the University of Copenhagen from early 2025 both on the topic of formally verified, distributed data stream processing:</div>

<div><br>

</div>

<div>PhD position: <a href="https://urldefense.com/v3/__https://jobportal.ku.dk/phd/?show=162724__;!!IBzWLUs!UPd-vSYHQCNyTULuRCWEW2p8sIAgVS0nfW_XTnBrumdctHkk0KSRQhp1MkAHJrmaqHU-xUt4QSEP0xDreaGnuRiCdCw7CTLD$">https://jobportal.ku.dk/phd/?show=162724<br>

</a>Postdoc position: <a href="https://urldefense.com/v3/__https://employment.ku.dk/faculty/?show=162682__;!!IBzWLUs!UPd-vSYHQCNyTULuRCWEW2p8sIAgVS0nfW_XTnBrumdctHkk0KSRQhp1MkAHJrmaqHU-xUt4QSEP0xDreaGnuRiCdPbObTdG$">https://employment.ku.dk/faculty/?show=162682</a></div>

<div><br>

</div>

<div>The application deadline is 31 October 2024, 23:59 CET.<br>

The positions are funded by a grant from the Independent Research Fund Denmark (DFF).<br>

<br>

Familiarity with proof assistants or verification of distributed systems is a big plus.<br>

<br>

Feel free to contact me, if you have any questions or know suitable candidates.<br>

<br>

Best wishes,<br>

Dmitriy</div>

<div><br>

</div>

</div>

</body>

</html>