🚀 go-pugleaf

	I would get grateful if you would circulate the attached job
advert. Thanks.

		Alan Bundy




		Department of Artificial Intelligence
		     University of Edinburgh

			  RESEARCH FELLOW
		      (Mathematical Reasoning)


Applications are invited for an SERC supported post, tenable from 1st
November 1989, or on a mutually agreed date. Appointment will be to
September 30th 1991, initially, but with a possibility of renewal.
The research is to develop proof plans, a technique for guiding the
search for a proof in automatic theorem proving.  The main application
is to the automatic synthesis, verification and transformation of
logic programs using constructive logic.  The project is led by
Professor Alan Bundy and Dr Alan Smaill.

Candidates should possess a PhD or have equivalent research or
industrial experience.  Knowledge of logic is essential and knowledge
of artificial intelligence, formal methods in software engineering or
logic programming would be an advantage.  Salary is on the AR1A scale
in the range 9,865-15,720 pounds p.a., according to age,
qualifications and experience.

Applicants should send a CV and the names of two referees to:

		Prof. Alan Bundy. 
		Department of Artificial Intelligence, 
		University of Edinburgh, 
		80 South Bridge, 
		Edinburgh, 
		EH1 1HN.

as soon as possible.  The closing date for applications is 17th July
1989.  Further details may be obtained from Prof. Bundy (at the above
address or email to bundy@uk.ac.edinburgh or bundy@rutgers.edu)
quoting reference number 5678/E.