Both positions will be part of the EU project MOGENTES, which aims at automatic generation of high-coverage test vectors for safety-critical embedded systems. The students will work on foundational and practical issues. A background on embedded systems, modelling, automatic formal methods is a plus. Strong coding skills and interest in industrial embedded systems are expected. The studentships are fully funded (at EU-fee level ? overseas candidates will need supplementary funding) for three years. The studentship includes a stipend of £12,600 per year as well as provision for travel to conferences.
Candidates will need to satisfy the usual requirements for studying for a doctorate at Oxford:
http://web.comlab.ox.ac.uk/oucl/prospective/dphil/dphil-criteria.pdf
Further information: Daniel Kroening (http://web.comlab.ox.ac.uk/oucl/people/daniel.kroening.html) will be happy to discuss this position on an informal basis.
How to apply: The deadline for applications is 1st March, 2008. Interviews for qualified candidates will take place in March 2008. To apply you can either apply online or download the University?s application form from: http://www.admin.ox.ac.uk/postgraduate/apply/forms/. You will need to submit references, transcript and a statement of research interests (in the slot marked ?research proposal?) All applications are subject to a £25 application fee. When you have submitted your application, will you please email Julie Sheppard: Julie@comlab.ox.ac.uk to inform her that you have done so and send a copy of your application to Julie.
If you have any questions about the applications procedure please email Julie@comlab.ox.ac.uk
