Two Fully Funded D.Phil Studentships
Posted: 1st June 2009
The Verification Research Group is offering two fully funded D.Phil
studentships in Oxford University's Computing Laboratory. These
positions are associated with the EPSRC project "Model Checking
Real-Time Systems: Algorithms and Complexity'' under the supervision
of Dr James Worrell, which will deal with a logical and algorithmic
framework for model checking real-time and hybrid systems.
The studentships are fully funded at EU fees level (non-EU candidates
will need supplementary funding) for 3.5 years from 1st October
2009. Students admitted with a later start date (but not later than
April 1st 2010) will receive a guarantee of 3 years funding. Each
studentship includes a stipend of at least £13290 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. In addition, the students
should be skilled in theoretical computer science and/or computational
logic, and must have good writing, communication, presentation, and
organization skills Good programming and systems-building skills count
as additional qualification.
The closing date for applications is 5th July 2009.
Further Information and how to apply can be found here:
http://web.comlab.ox.ac.uk/oucl/prospective/dphil/worrellfurtherinfo.pdf