The Automated Formal Verification Group is offering a fully funded D. Phil position at Oxford University's Computing Laboratory.
The position is associated with the EPSRC project "Efficient Verification of Software with Replicated Components", under the supervision of Daniel Kroening, which will address the correctness of multi-threaded concurrent software.
The studentship is fully funded (at EU fees level - overseas candidates will need supplementary funding) for 3½ years from the 1st of February, 2009. Students admitted with a start date of 1st October, 2009 will receive a guarantee of 3 years funding. It includes a stipend of at least £12,940 per year as well as provision for travel to conferences.
Candidates must satisfy the usual requirements http://web.comlab.ox.ac.uk/oucl/prospective/dphil/dphil-criteria.pdf for studying for a doctorate at Oxford. The deadline for receipt of applications is 1st December, 2008. Further Information and how to apply can be found here:
http://web.comlab.ox.ac.uk/oucl/prospective/dphil/dkfurtherinfo.pdf
For specific questions related to the position, you may also send an email to the people mentioned below under "related pages".
