Skip to main content

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

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: