[TYPES/announce] Postdoc Position at IMDEA in Security/Privacy/Verification

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We invite applications for a postdoctoral position at the IMDEA Software Institute in Madrid, Spain. The successful candidate will join the group of Boris Köpf to work on topics at the

[TYPES/announce] 2016 Autumn School on Computational Logic

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies if you receive multiple copies of this email. Please distribute to interested parties.) The 2016 Autumn School on Computational Logic will be held on October 16-17, 2016, in

[TYPES/announce] Lab docent position at University of Amsterdam

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, I would like to draw your attention to the following job opening at the University of Amsterdam:

[TYPES/announce] Associate Professor in Software Technology with Starting Grant, at Lund University, Sweden

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The following position is announced on the types-announce mailinglist, as new programming languages, type systems, and verification techniques are important techniques and tools in the

[TYPES/announce] 3rd Call for Papers: OCL and Textual Modeling Tools and Textual Model Transformations (OCL 2016) - Less Than 10 Days Left To Submit Your Paper!

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for duplicates) Less than 10 days until the deadline! CALL FOR PAPERS 16th International Workshop on OCL and Textual Modeling Co-located with

[TYPES/announce] PhD or Postdoc in Semantics Engineering for Language Designer's Workbench at TU Delft

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We have open positions for PhD students and Postdocs in the Programming Languages group of Eelco Visser at TU Delft. If you would like to provide a contribution to

[TYPES/announce] Chair in Information/Computer Security (Sheffield, UK)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] (Apologies for duplicates) Dear all, The Computer Science Department of The University Of Sheffield has an open position for a Chair in Computer and Information Security. The new chair