[TYPES/announce] PhD/Postdoc vacancy: Homotopy type theory and probabilistic programming

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Aarhus University in Denmark has a PhD and a postdoc vacancy on the AFOSR funded project: Homotopy type theory and probabilistic programming The goal of the project is to use type theory

[TYPES/announce] postdoc position at Chalmers | University of Gothenburg

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position in the area of software variability (with strong ties to robotics and embedded/cyber-physical systems). Apply by *July 5*. We are looking for a candidate with a good

[TYPES/announce] Theory and Practice of Differential Privacy (TPDP) 2018 Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Theory and Practice of Differential Privacy (TPDP) 2018 Call for Papers Colocated with CCS 2018 - October 15 - Toronto, Canada Differential privacy is a promising approach to

[TYPES/announce] PhD position: Unifying Correctness for Communicating Software

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Please share widely with potential candidates; apologies for any cross-postings.] PHD POSITION ON "UNIFYING CORRECTNESS FOR COMMUNICATING SOFTWARE" University of Groningen, The Netherlands

[TYPES/announce] Deadline Approaching - SBMF 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 21st Brazilian Symposium On Formal Methods (SBMF) Supported by the Brazilian Computer Society (SBC) Salvador-BA, Brazil 26 to 30 of November 2018