Vacancy at Manchester University

• Subject: Vacancy at Manchester University
• From: Renate Schmidt <schmidt@rspc.cs.man.ac.uk>
• Date: Fri, 11 Feb 2000 17:32:26 +0000

[Please forward to anybody who you think may be interested.
 Apologies for multiple copies.]

    Research Associate in Formal Methods and Automated Reasoning
			    (Ref 136/00)

	   "Proof Methods for Multi-Agent Systems" Project 
	      http://www.cs.man.ac.uk/~schmidt/agents/
		   Department of Computer Science 
		    The University of Manchester

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
salary of 18,185 to 19,869 pounds per annum. 

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/
		  http://www.cs.man.ac.uk/fmethods/ 

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.  Please quote reference number: 136/00. 

Closing date for receipt of applications is 10 March. 

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. 

• Prev: Job Announcement -- C.S. Dept. -- Univ. of Cyprus
• Next: Call For Papers: Int'l Conf, Las Vegas, June 26-29,2000: PDPTA + CISST + IC-AI + ...
• Index: AMAST Mail 2000