Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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.

Please note that this newsitem has been archived, and may contain outdated information or links.