[ 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. http://www3.imperial.ac.uk/computing/research/degrees/studentships#7 For further information please contact Dr. Sergio Maffeis: sergio.maff...@imperial.ac.uk.