Funded Doctoral Studentship in Verification
University of Oxford - Department of Computer Science
|Qualification type:||Professional Doctorate|
|Funding for:||UK Students, EU Students|
|Funding amount:||£14,296 per annum|
|Placed on:||24th November 2016|
|Expires:||24th February 2017|
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:
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.firstname.lastname@example.org.
Share this PhD
Type / Role:
South East England