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.