[TYPES/announce] ERC "RustBelt" project: Postdoc and PhD student positions available at MPI-SWS

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Note: The initial deadline was October 31, but I will continue considering applications until the end of the year. If you are interested, please contact me directly first.] I am pleased

[TYPES/announce] Post-doctoral position of "business developer" at Software Languages Lab

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Post-doctoral position of "business developer" at Software Languages Lab The Software Languages Lab of the Vrije Universiteit Brussel is hiring a business developer to: - help grow and

[TYPES/announce] CFP: 32nd IEEE Computer Security Foundations Symposium

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 32nd IEEE Computer Security Foundations Symposium June 25-28, 2019, Hoboken NJ, USA Call for Papers The Computer Security Foundations Symposium is an annual conference for researchers

[TYPES/announce] (Postdoctoral) Research Associate position at University of Kent

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Programming Languages and Systems group at University of Kent is inviting applications for a postdoctoral research associate position. We are looking for an excellent junior researcher