Logic List Mailing Archive

PhD student position in Logic and Automated Reasoning, Manchester (U.K.), Deadline: 3 August 2007

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.