Skip to main content

Fully-Funded Doctoral Studentship in Stochastic Runtime Verification

Posted: 19th December 2017

Automated Verification

Fully-Funded Doctoral Studentship in Stochastic Runtime Verification

Department of Computer Science, Oxford University

Supervisor: Professor Stefan Kiefer 

Start: October 2018

Oxford University’s Department of Computer Science are able to offer a funded doctoral studentship, supported by a Royal Society Grant held by Stefan Kiefer. The goal of this project is to develop the foundations of stochastic runtime verification. It is essential for the prospective DPhil student to contribute to the mathematical and foundational aspects of this research (e.g., in automata, probability, and complexity theory). Further, it is desirable that the student engage in the development of prototype verification tools.

The positions are available from 1 October 2018 and will be for 3 years (with the possibility of extension). The studentships will cover university and college fees at home/eu level and will provide a stipend of at least £14553 per year for up to four years.  Overseas candidates are eligible to apply but would have to find an alternative source of funding to cover the difference between home/eu and overseas fees. The positions come with travel support and no formal teaching duties but it would be possible to do some teaching after appropriate training. The student will be a member of Oxford’s renowned Automated Verification group.

Candidates should have a first-class degree in computer science or mathematics, have good writing, communication, presentation, and organization skills, and must in addition satisfy the usual entry requirements for studying for a doctorate at Oxford:

Please apply  online  by 9 March 2018 quoting studentship reference CS-SK-MAR-2018

Informal inquiries by email to Stefan Kiefer are welcome.