[TYPES/announce] Call for papers - ThEdu'21 post-proceedings at EPTCS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]   Open Call for Papers **     Proceedings for ThEdu'21     

[TYPES/announce] Postdoc position: Formal Verification/Synthesis (Munich, Germany, deadline: August 28, 2021)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for an EU funded post-doctoral researcher position in the field of formal verification/synthesis. The successful candidate is expected to advance the state of the art

[TYPES/announce] Postdoctoral Researcher at Cornell University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for a postdoctoral research associate at Cornell University. The position is part of the Pronto Project (prontoproject.org). We are developing verified compilers for