Skip to main content

Funded Doctoral Studentships in Verification

Posted: 8th September 2014

 

Doctoral Studentship Department of Computer Science, Oxford University

Supervisor: Professor Daniel Kroening 

Start Date: October 2015

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 2015 although an earlier start date of  April 2015 maybe 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  

There is no deadline for applying. We will continue to process applications until a suitable candidate is found, and candidates are therefore recommended to apply as soon as possible.

To apply in the first instance candidates should send their CV, a transcript with a list of courses and grades, and a motivational letter explaining why you want this studentship, to Julie.sheppard@cs.ox.ac.uk

If you have any questions about the studentship or application process or to apply please email: Julie.sheppard@cs.ox.ac.uk 

 

 

 

 

People