[TYPES/announce] Postdoc position in software security at Penn State CSE

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position at Penn State Computer Science and Engineering Applications are invited for a full-time postdoctoral researcher position in the Security of Software (SOS) Lab at Penn

[TYPES/announce] Call for Workshops: FLoC 2022 -- The 2022 Federated Logic Conference

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Second Call for Workshops- FLoC 2022 — The 2022 Federated Logic Conference July 31 - August 12, 2022 Haifa, Israel http://www.floc2022.org/ Deadline on September 27, 2021 [apologies for

[TYPES/announce] PhD positions in PL at University of Glasgow: application deadline 31st July

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The School of Computing Science at the University of Glasgow is offering studentships to support PhD research for students starting in autumn 2021. Types of Scholarships being offered:

[TYPES/announce] Call for Book Chapters: Guide to Software Verification with Frama-C

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Book Chapters Book Title:Guide to Software Verification with Frama-C. Core Components, Usages, and Applications. Edited book to be published by Springer Editors:Nikolai