[TYPES/announce] Faculty position in Verification at Sheffield University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Computer Science Department at Sheffield University is currently looking to hire a Lecturer in Verification. The deadline is October 14th. See:

[TYPES/announce] Post-doc in Programming Languages at IRIF (Paris)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Research Institute on the Foundations of Computer Science (IRIF

[TYPES/announce] SRC@POPL 2023: Call For Submissions (DEADLINE: 11/11 AoE)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- SRC@POPL 2023 Call for Submissions ACM Student Research Competition

[TYPES/announce] Postdoc position (6 years) at the Security and Privacy group, TU Wien

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] TU Wien is Austria's largest institution of research and higher education in the fields of technology and natural sciences. With over 26,000 students and more than 4000 scientists,