[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

*** 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.


For further information please contact Dr. Sergio Maffeis:

Reply via email to