[TYPES/announce] Postdoc/phd positions in ERC project "Certified Quantum Security" (formal verification of quantum crypto)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I would like to announce open postdoc and (fully-funded) phd positions. We are searching for candidates who are enthusiastic about driving forward the field of formal

[TYPES/announce] ITRS 21 CfP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ITRS 2021 Call for papersTenth Workshop on Intersection Types and Related Systems - ITRS 2021 17 July 2021, Online Affiliated with FSCD , 17-24 July 2021,

[TYPES/announce] Assistant and Associate Professorship Positions in Computer Science at the University of Southern Denmark

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark (SDU), Odense, invites applications for assistant and associate professor positions in