[TYPES/announce] PhD position in Monitoring Concurrent Software

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Please pass this message on to any of your potentially interested Master students. I am looking for a PhD student to develop a monitoring system for concurrent software. Making monitoring

[TYPES/announce] 2nd CFP iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for multiple copies] CALL FOR PAPERS iFM 2016 12th International

[TYPES/announce] Deadline extended: iFM 2016 (integrated Formal Methods), 1 - 3 June 2016, Reykjavik

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Apologies for cross-posting! === The submission deadline for iFM 2016 has been extended: Abstract submission: January 6, 2016 (extended) Paper submission:

[TYPES/announce] Call for Participation: VerifyThis Verification Competition 2016

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] VerifyThis Verification Competition 2016 CALL FOR PARTICIPATION Competition to be held at ETAPS 2016 2 April 2016, Eindhoven, Netherlands

[TYPES/announce] Westerdijk fellowship for female assistant professor at Utrecht University

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Westerdijk fellowship is a very prestigious position for young female researchers offered jointly by the Faculty of Science and the Department Information and Computing Sciences at

[TYPES/announce] 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 2 PhD positions and 1 Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software University of Twente Group: Formal

[TYPES/announce] Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position on the Mercedes project in Twente (Netherlands): Maximal Reliability of Concurrent and Distributed Software University of Twente Group: Formal Methods and Tools Contact:

[TYPES/announce] Professor positions in Computer Science at the University of Twente

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [The department of Computer Science of the University of Twente is hiring. Note in particular the positions in Topic 2, Topic 5 and Topic 7 which might be of particular interest for