OXFORD
UNIVERSITY
COMPUTING LABORATORY
D.Phil studentship
Project: Predictable Software Systems
,
part of Large-Scale Complex IT Systems (LSCITS) research programme
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.
The broad theme of the studentship is quantitative verification methods and student?s own proposals in this area are welcome. Example topics include quantitative approaches to trust assurance and software model checking for ubiquitous computing. 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 and a half years, is available from October 2008 at home/EU level, and will include a stipend of £12,940 as well as provision for a laptop and travel to project meetings and conferences. Exceptional non-EU students are also encouraged to apply for supplementary funding attached to the studentship.
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 16th May, 2008.
