Two fully funded DPhil scholarships are offered by the Verification Research Group at the University of Oxford to all students of the Department of Computer Science. One scholarship is aimed at "home" students and the other at overseas students. The award includes provision for some travel funds. The project is funded for 3 years. It covers both theoretical foundations and the implementation of prototype software tools. The project also covers a broad range of topics like hadoop, map-reduce, distributed consistency and many others. Successful applicants will work with a first class team.
Applying students are required to submit a clear statement detailing how they would contribute to the project. They should have a good academic record and a recommendation from the nominated organisation, and the head of the department where the student graduated. They must also show strong applied engineering and theoretical skills. Applicants are also required to have good writing, presentation, organisation and communication abilities. Other than that, potential scholarship holders must satisfy the usual requirements for studying for a doctorate at Oxford. The Verification Research Group also requires a CV, transcript of records, and a motivational letter in order to make the final decision.