Two Fully Funded Doctoral Studentships in Artificial Intelligence/Computational Logic

The Information Systems Research Group is offering two fully funded D.Phil studentships in Oxford University's Computing Laboratory.  These positions are associated with the EPSRC project  "Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity", under the supervision of Professor Georg Gottlob (Principal Investigator) and Professor Peter Jeavons (co-Investigator), which will deal with a logical and algorithmic framework for the automatic configuration of systems and products. 

The studentships are fully funded (at EU fees level - overseas candidates will need supplementary funding) for 3 ½ years from 1^st October 2009. Students admitted with a later start date (but not later than April 1^st 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, given that, based on the theoretical results of this project, a prototype software system for configuration will be built. 

The closing date for applications is 10th June 2009.

Further Information and how to apply can be found here:

http://web.comlab.ox.ac.uk/oucl/prospective/dphil/gottlobfurtherinfo.pdf