Two EPSRC funded PhD studentships are available in the Logic and Computation Group in the Department of Computing and Mathematics at the Manchester Metropolitan University. The studentships are available from mid 1999 for up to 3 years with a grant of £6620 per annum, payment of fees (EU rate) and travel money for attending conferences and workshops.
Deadline for applications is 17 May 1999.
Applications received after this deadline may be considered, but this cannot
be guaranteed.
The aim of this project is to facilitate automated reasoning for first-order generalisations of propositional modal logics, which have recently received considerable attention in the research community. In particular, the project involves studying and applying a new path-based translation approach, which has already brought forth useful new techniques and results for propositional modal logics.
The successful candidate will be supervised by Dr Renate Schmidt. The ideal candidate will have a background and a keen interest in at least one of the following: formal methods, logic (first-order logic and non-classical logics) and automated deduction. Some programming experience is advisable. For more detail see http://www.doc.mmu.ac.uk/STAFF/R.Schmidt/advert.html.
The aim of this work is to make steps towards developing a practical and efficient theorem proving tool for the verification of distributed and multi-agent systems. In particular we consider resolution based theorem proving for temporal logics of knowledge and belief with interactions.
The successful candidate will be supervised by Dr Clare Dixon. The ideal candidate will have an interest in one or more of the following modal and temporal logics, automated reasoning, artificial intelligence, formal methods. The project will involve both theoretical and practical aspects. For more detail see http://www.doc.mmu.ac.uk/STAFF/C.Dixon/advert.html.
Both these projects will take place within the Logic and Computation research group, one of the most active and successful groups within the University and well known internationally. Background information on the group's activities can be found at http://www.doc.mmu.ac.uk/RESEARCH/LoCo/LoCo.html.
To apply for one of these studentships, send a CV, names of two referees and covering letter to the relevant potential supervisor:
Renate Schmidt or Clare Dixon Department of Computing and Mathematics Manchester Metropolitan University Chester Street Manchester M1 5GD United Kingdom R.A.Schmidt@doc.mmu.ac.uk C.Dixon@doc.mmu.ac.uk Tel: +44 161 247 1490 Tel: +44 161 247 1549 Fax: +44 161 247 1483 Fax: +44 161 247 1483Email submission of PostScript or plain text is acceptable. Further enquiries may also be sent - again, email enquiries are preferred.