PhD studentship in Automated Reasoning, Manchester (U.K.)

One EPSRC funded PhD studentship is available in the School of Computer Science at the University of Manchester. The project forms part of an EPSRC Research Project with the aim to automatically generate implemented automated reasoners. The focus of the PhD project will be on tableau prover generation for modal and description logics (or other non-classical logics depending on the background of the successful applicant).

The expected tasks include significantly contributing to the development of a prototype implementation of a tableau prover generator and auxiliary tools, conducting case studies for various logics, developing refinements and optimisations, and undertaking an evaluation of the developed technology. The project will be supervised by Dr Renate Schmidt and Dr Dmitry Tishkovsky.

The deadline for applications is 14 May 2010. Late applications may be considered. For further details about the studentship and the project, see http://www.cs.man.ac.uk/~schmidt/prover_gen/advert.html or contact Dr Renate Schmidt at schmidt at cs.man.ac.uk.