[TYPES/announce] Postdoc in SDN verification and security at Edinburgh

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, We have an opening for a postdoctoral Research Associate to work on formal modelling and verification for network security applications of SDN (Software Defined Networking) at

Re: [TYPES/announce] Postdoc position in Applied Semantics for Production Architectures

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] On 15 December 2016 at 23:20, Peter Sewell wrote: > [please circulate this to any likely candidates - thanks, Peter] > > Research Associate/Senior Research

[TYPES/announce] Call for papers: QPL 2017

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS The 14th International Conference on Quantum Physics and Logic (QPL) July 3-7, 2017 Radboud

[TYPES/announce] MFPS 33: first call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII) will take place on the campus of Ljubljana University, Slovenia, between 12 and 15 June 2017.

[TYPES/announce] postdoc position (5 years) in Innsbruck

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 5 year postdoc position in computational logic == The University of Innsbruck invites applications for a 5 year