Fully funded D.Phil studentship
Posted: 13th October 2008
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".
Related Pages
|
people |
|
|
projects |
Efficient Verification of Software with Replicated Components |
|
themes |