[DL] PhD Studentship in Logic and Automated Reasoning

[Renate Schmidt]

[Please forward to potentially interested students.  Apologies for
multiple copies.]

			 EPSRC funded 
       PHD STUDENTSHIP IN LOGIC AND AUTOMATED REASONING

	 CLOSING DATE FOR APPLICATIONS: 3 August 2007
	     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 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:
- A first class or good upper second class BSc(Hons), strong MSc
  degree, or equivalent, in an appropriate discipline;
- Background in computer science and/or mathematics, preferably
  with good working knowledge of logic and/or automated
  reasoning; 
- Programming experience;
- Good communication skills in English, both oral and written;
- Ability to work collaboratively.

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, copies
of transcripts, names of at least two referees (email addresses
preferred) and covering letter to:

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

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/.