A number of PhD research projects have been selected for funding through the last call of the Microsoft PhD Scholarship Programme. For some of these projects, PhD supervisors are seeking suitable students. The research projects listed on this page are currently accepting applications from PhD students.
On this page
Intuitive and efficient design of enclosures for .NET Gadgeteer
Supervisor: Manfred Lau, University of Lancaster
Microsoft Research supervisor: Nicolas Villar
PhD expected start date: 01 October 2013
Summary: We are seeking a strong PhD candidate to work in the areas of computer graphics, digital fabrication, and human-computer interaction. The project involves creating user interfaces for modelling and designing enclosures for the Gadgeteer framework.
Posted: 22 April 2013
Future filesystems: mechanized specification, validation, implementation and verification of filesystems
Supervisor: Tom Ridge at the University of Leicester
Microsoft Research supervisor: Andrew Kennedy
Application deadline: 02 June 2013
PhD expected start date: 01 October 2013
Summary: We seek strong candidates for a Microsoft PhD studentship on "verified filesystems." The PhD scholarship is fully funded for three years. The project will be supervised by Tom Ridge at the Department of Computer Science, University of Leicester, in collaboration with Andrew Kennedy at Microsoft Research Cambridge. The project involves computer science theory and applications of theory to real-world systems.
Posted: 11 April 2013
