Supervisor: Professor Daniel Kroening
Start Date: October 2014
The Verification Research Group is offering two fully funded D.Phil studentships in Oxford University’s Department of Computer Science.  One studentship is for home/eu students and one is for overseas . There will also be provision for some travel funds. The studentships will be funded for three years and will start in October 2014 although an earlier start date might be possible.
These positions are associated with the ERC project “Validation of Concurrent Software Across Abstraction Layers”, led by Daniel Kroening. The goal of this project is the development of automated validation techniques for concurrent software at any level of abstraction. The project covers a broad range of topics including the following:
               ⢠Hadoop, map-reduce, distributed consistency
               ⢠shared-memory concurrency, including weak memory consistency
               ⢠automated software verification for C/C++/SystemC
               ⢠interrupt-driven embedded software
               ⢠new programming languages and type systems
The project will cover both theoretical foundations and the implementation of prototype software tools. Proposals for doctoral study in any of the above-mentioned topics relevant to the project are invited, including a clear statement of how they contribute to the project. Successful applicants will be working with a first class team.
We will consider students with strong applied engineering or theoretical skills. Candidates must also have good writing, communication, presentation, and organization skills. Applicants must in addition satisfy the usual requirements for studying for a doctorate at Oxford:
http://www.cs.ox.ac.uk/admissions/dphil/dphil-criteria.pdf
To express interest please email your c.v. and a statement of research interests to Julie.sheppard@cs.ox.ac.uk Please also email if you have any questions about the studentship.
When applying for this studentship, please quote the following studentship code:
DK-ERC-WEB (if you are applying via the departmental website)
DK-ERC-JOBS (if you are applying via jobs.ac.uk)
DK-ERC-FIND (if you are applying via findaphd.com)
The closing date for applications is  22nd November 2013.