Funded Doctoral Studentship in Verification

University of Oxford - Department of Computer Science

Supervisors: Professor Tom Melham and Professor Daniel Kroening 

Start Date: October 2017, or earlier if possible.

The Oxford Automated Verification Research Group is offering one fully-funded D.Phil. studentship in Oxford University's Department of Computer Science. The position is associated with a research project funded by the Semiconductor Research Corporation on funded research project Methodology and Abstraction for System-Level HW/SW Co-Verification, led by Professors Tom Melham and Daniel Kroening.

This project will develop practical methodology, algorithms, and tools for a use-case driven approach to system-level HW/SW formal co-verification. A key objective, and the foundation for the methodology, will be the invention of a systematic abstraction framework that closes the gap, currently unaddressed, between a system and implementation levels in HW/SW co-verification.  Areas of background expertise relevant to the project include, but are not limited to:

  • formal modelling and/or verification of hardware and/or low-level software
  • symbolic execution, model checking, or other formal analysis tools and methods
  • automated software verification for C/C++/SystemC 
  • analysis of concurrent systems, system-on-chip
  • internet of things applications

The project will involve both theoretical foundations (but is aiming ultimately at practical results) and the implementation of prototype verification software tools. Candidates should therefore have good C/C++ programming and system-building skills.  Further information about the project is available to potential applicants with a serious interest and suitable background. The successful applicant will be working with a first class team in a globally leading verification research group.

We will consider students with strong applied computer science engineering or application-focused 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. See the University’s web pages on the DPhil in Computer Science for details:

http://www.ox.ac.uk/admissions/graduate/courses/dphil-computer-science

The studentship is funded at a level that will pay fees at home/EU student rates, with a stipend of at least £14,296 per annum. Applicants who will be liable for fees at the overseas rate are welcome, but will have to make up the difference between home/EU and overseas fees. There will also be provision for some funds to support research travel during the doctorate. The studentships will be funded for three years and will start in October 2017, although an earlier start date may be possible.

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 express interest, potential candidates should email their CV, a university transcript with a list of courses and grades, and a covering letter explaining why you want the studentship and have a suitable background for this research to Tom.Melham@cs.ox.ac.uk.

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

Share this PhD
     
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

PhD

Location(s):

South East England