[TYPES/announce] Postdoc Positions in Programming Languages, Types, Choreographies (Protocols), and Distributed Systems -- University of Southern Denmark -- Deadline: 6 October 2022

[Fabrizio Montesi]

The University of Southern Denmark is inviting applications for
postdoctoral positions in programming languages, types, choreographies
(protocols), and distributed systems.

Full announcement: https://urldefense.com/v3/__https://eapls.org/items/4097/__;!!IBzWLUs!Xuf_usEnrdrec7PPlJ4rrniWpzSTyc7_JeH0WVy2xfWVlRnVMccILXe-5S6Bwm7zEmtaXQ_QcsI_xhmTSdL-0MeVw5mb9zKl$  
Apply at: https://urldefense.com/v3/__https://www.sdu.dk/en/service/ledige_stillinger/1195426__;!!IBzWLUs!Xuf_usEnrdrec7PPlJ4rrniWpzSTyc7_JeH0WVy2xfWVlRnVMccILXe-5S6Bwm7zEmtaXQ_QcsI_xhmTSdL-0MeVw6V_zo9J$  
Expected start: early 2023

**Deadline: 6 October 2022**
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220926/60310e5e/attachment.htm>