[TYPES/announce] Postdoc Position in Formal Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Institute of Information Security at University of Stuttgart offers a fully-funded Postdoc position in formal verification The successful candidate is expected to work on

[TYPES/announce] Two postdoc positions on next-generation fuzzing techniques

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all At Imperial College London we are looking to hire two postdoctoral Research Associates to work on techniques for next-generation fuzzing, including applying methods that have shown

[TYPES/announce] ETAPS 2022 1st joint call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Why choose ETAPS? - ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. - ESOP, FoSSaCS, TACAS are CORE 2021 rank A

[TYPES/announce] IFL'21 Third call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] IFL 2021 33rd Symposium on Implementation and Application of Functional

[TYPES/announce] FMCAD Student Forum CFP (EXTENDED Deadline: July 17)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] # Student Forum Continuing the tradition of the previous years, FMCAD 2021 is hosting a Student Forum that provides a platform for students at any career stage (undergraduate or graduate)