[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]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**
