[TYPES/announce] 14 month position Imperial College London

[Sophia Drossopoulou]

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