[TYPES/announce] PhD Studentship in Foundations of Secure Web Programming at Imperial College London

[Sergio Maffeis]

*** PhD Studentship in Foundations of Secure Web Programming ***
*** Imperial College London ***


We are looking for a student with a top degree from a good university
and a strong interest in some of these topics:
- formal semantics of programming languages;
- theorem provers and proof assistants;
- static analysis and type systems;
- web security.

Starting date is as soon as possible. Applications will be considered on
an ongoing basis until December 31st, 2010.

The PhD Studentship consists of a 3 years tax free bursary of £15,590
per annum, plus UK/EU tuition fees and an allowance for equipment and
academic travel costs.

http://www3.imperial.ac.uk/computing/research/degrees/studentships#7

For further information please contact Dr. Sergio Maffeis:
sergio.maffeis at imperial.ac.uk.