[TYPES/announce] PhD position on Embedded Systems Verification at University of Twente, Netherlands

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are looking for a PhD candidate for a 4-year project on Formal Methods for Embedded Systems, as part of SAVES (ScAlable Verification of industrial Embedded control Systems), a

[TYPES/announce] IFL2021 second 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] CAV 2021 Student Fellowships

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- Call for Applications CAV 2021 Student Fellowships --- Important Dates --- Application deadline: July 2,

[TYPES/announce] Postdoc Position in Formal Security Analysis of Cryptographic Protocols and Web Applications, University of Stuttgart, Germany

[ 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. The successful candidate is expected to work on tool-supported formal analysis of