[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We have two two-year post. doc. positions in our recently-funded project on Tools and Methods for Scalable Software Verification at the IT University of Copenhagen, Denmark. The goals of the project are (A) to apply advances in separation logic to the specification and proof of programs in current languages, such as Java and C#, that combine references, shared state and destructive update; (B) to develop prototype software tools for formal specification and apply them in a substantial real-life case study; and (C) to give methodological advice on how to structure software so as to facilitate formal specification and proof. Please see http://www1.itu.dk/graphics/ITU-library/Intranet/Personale/Stillingsopslag/VIP/Stillingsopslag%202009/Post%20doc%202009_05.pdf for the official announcement. Application deadline: June 15, 12:00. [The project will, in part, be done in collaboration with M. Parkinson (Univ. of Cambridge) and D. Distefano (Queen Mary, Univ. of London). The project is related to the ongoing MoReaSo project at the IT University of Copenhagen (see http://www.itu.dk/people/birkedal/moreaso/).] Please contact Lars Birkedal (birke...@itu.dk) or Peter Sestoft (sest...@itu.dk) for more information. Best wishes, Lars Birkedal --------------------------------- Lars Birkedal Professor, Head of Programming, Logic, and Semantics Group IT University of Copenhagen Web: http://www.itu.dk/people/birkedal Phone: +45 7218 5280 Email: birke...@itu.dk