Applications are invited for a research associate to work on the EPSRC funded project "Proof Methods for Multi-Agent Systems". This is a three year collaborative research project between the Formal Methods Group within the Department of Computer Science at the University of Manchester and the Centre for Agent Research and Development at the Manchester Metropolitan University. The project is to commence in the first half of 2000.
The successful applicant will be required to undertake research into proof systems for logical formalisations of agent theories, in particular, to develop and apply automated reasoning techniques for expressive combinations of modal logics and first-order logic. Experience with logic and proof theory is essential for this post.
The appointment will be on a 3 year fixed term contract with an initial basic salary of 18,185 to 19,869 pounds per annum (RA1A scale) depending on experience and qualifications.
Applications forms and further particulars can be obtained from the Office of the Director of Personnel, The University of Manchester, Oxford Road, Manchester M13 9PL. Tel: +44 (0)161 275 2028; Fax: +44 (0)161 275 2471; Email: personnel@man.ac.uk; web site: http://www.man.ac.uk.
The deadline for applications is 10 March 2000. Please quote reference number: 136/00.
Informal enquiries may be made to Dr. Renate Schmidt, Tel: +44 (0)161 275 6163, Email: schmidt@cs.man.ac.uk. More information about this position, the project and the Formal Methods Group can be found at
http://www.cs.man.ac.uk/~schmidt/agents/details.html
http://www.cs.man.ac.uk/fmethods/
As an equal opportunities employer the university welcomes applications from suitably qualified people from all sections of the community regardless of race, religion, gender or disability.