PhD Studentship in Logic and Automated Reasoning, Manchester

One fully funded PhD studentship is available in the School of Computer Science at the University of Manchester. The position forms part of a EPSRC research project on the topic of "Consequence Relations for Logics in AI", conducted in collaboration with the Manchester Metropolitan University (MMU) and involving Dr Renate Schmidt, Dr Dmitry Tishkovsky and Prof Vladimir Rybakov.

Closing date for applications: 3 August 2007. Anticipated start date: October 2007. For more information, see http://www.cs.man.ac.uk/~schmidt/phd_position.html.