[TYPES/announce] 14 month position Imperial College London

Sophia Drossopoulou scd at doc.ic.ac.uk
Thu Sep 6 04:53:19 EDT 2007


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



More information about the Types-announce mailing list