Open PhD Positions

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.

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

Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds