[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