A fully funded D.Phil (PhD) studentship is available to work on the above EPSRC-funded project in the Quantitative Analysis and Verification group led by Professor Marta Kwiatkowska. It is anticipated that the student will work on quantitative methods for trust assurance and the associated verification methodology, but alternative topics, such as software model checking methods for context-awareness, can also be studied depending on the student's background. The student will be trained to carry out research in automated verification, perform industrial case studies, and write and present research papers. The studentship is fully funded by EPSRC for three years, is available from January 2008 (to be started by October 2008) at home/EU level, and will include a stipend of £12,600 (non-EU students will require supplementary funding).
Candidates must have (or be expecting to receive) a good degree in computer science or a closely related subject and must satisfy the admissions criteria:
http://web.comlab.ox.ac.uk/oucl/prospective/dphil/dphil-criteria.pdf
for doing a doctorate at Oxford.
This studentship requires previous knowledge of at least one of the following: automatic verification, computer security, probability theory, concurrency and program analysis. Strong coding skills and/or interest in industrial applications will be an advantage.
The deadline for receipt of applications is 18th January, 2008 and you should see below for further information and how to apply.
