EPSRC funded
PhD Studentship in Logic and Automated Reasoning

Closing date for applications: 3 August 2007 (CLOSED)
Anticipated start date: October 2007

One fully funded PhD studentship is available in the School of Computer Science at the University of Manchester.

About the project

The project 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.

The goal of the project is to develop mathematical and computational techniques for studying various aspects of logical consequence relations in logics originating in AI and CS. Primary attention will be on finding general techniques for modeling and studying logical consequence by inference rules and on implementing them with the aim of constructing effective proof systems. While MMU will explore linear temporal logic, multi-modal logics, and logics combining knowledge and time, the PhD project at Manchester will focus on modal and description logics. More specifically, the aim will be to study and develop KE and free-variable tableau decision procedures, to implement the developed tableau approaches and to evaluate them empirically.

Who can apply

The successful applicant is expected to conduct independent research leading to original contributions to the project culminating in a PhD thesis.

Expected qualifications, knowledge, skills and experience:

The studentship is available from 1 October 2007, or a later date by negotiation, for up to three years with a grant of 12,600 pounds per annum (tax free), fees plus travel money for attending conferences.

How to apply

To apply for the studentship, please send a detailed CV along with academic transcripts, names of at least two referees (email addresses preferred) and covering letter to:

Dr Renate Schmidt
School of Computer Science, University of Manchester
Oxford Road, Manchester M13 9PL, UK
Email: schmidt@cs.man.ac.uk Tel: +44 (0)161 275 6163
Fax: +44 (0)161 275 6204

Email submission of PDF and/or plain text are acceptable.

The deadline for applications is 3 August 2007. Late applications may be considered.

Further information

For further details about the studentship and the project please contact Dr Renate Schmidt, preferably by email. Additional information about postgraduate research in the School can be found at http://www.cs.manchester.ac.uk/postgraduate/research/.


Formal application to be admitted by the PhD program in the School of Computer Science at the University of Manchester needs to be made separately by the successful candidate.

Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 11 Sep 07
Copyright © 2007 Renate A. Schmidt, School of Computer Science, Man Univ, schmidt@cs.man.ac.uk