[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We have a 14 month position at Imperial College to work on the EU project MOBIUS. We will be working on the use of type systems to support modular verification. The text for the ad, and application form can be be found at http://www.jobs.ac.uk/jobs/CG894/Research_Assistant_Research_Associate/ I am happy to discuss any further questions. Sophia Drossopoulou