Two Fully Funded D.Phil Studentships

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