Two Fully Funded PhD Positions at Oxford University Computing Laboratory

Two Fully Funded PhD Positions at Oxford University Computing Laboratory

[James Worrell]

The Verification Research Group is offering two D.Phil studentships in Oxford 
University's Computing Laboratory (web.comlab.ox.ac.uk).  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 automata-theoretic framework for model checking real-time 
systems.

The studentships are fully funded at EU fees level (non-EU candidates will need 
supplementary funding) for 3 ½ 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.

The studentships will suit candidates with a strong background in theoretical 
computer science, including at least one of the following areas: algorithms, 
automata theory, complexity theory and logic.

Please contact James Worrell (jbw@comlab.ox.ac.uk) for further details.


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]