<div dir="ltr"><div class="gmail_default" style="font-size:large">The University of Southern Denmark is inviting applications for postdoctoral positions in programming languages, types, choreographies (protocols), and distributed systems.</div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">Full announcement: <a href="https://urldefense.com/v3/__https://eapls.org/items/4097/__;!!IBzWLUs!Xuf_usEnrdrec7PPlJ4rrniWpzSTyc7_JeH0WVy2xfWVlRnVMccILXe-5S6Bwm7zEmtaXQ_QcsI_xhmTSdL-0MeVw5mb9zKl$">https://eapls.org/items/4097/</a></div><div class="gmail_default" style="font-size:large">Apply at: <a href="https://urldefense.com/v3/__https://www.sdu.dk/en/service/ledige_stillinger/1195426__;!!IBzWLUs!Xuf_usEnrdrec7PPlJ4rrniWpzSTyc7_JeH0WVy2xfWVlRnVMccILXe-5S6Bwm7zEmtaXQ_QcsI_xhmTSdL-0MeVw6V_zo9J$">https://www.sdu.dk/en/service/ledige_stillinger/1195426</a><br>Expected start: early 2023<br></div><div class="gmail_default" style="font-size:large"><br></div><div class="gmail_default" style="font-size:large">**Deadline: 6 October 2022**<br></div></div>