smaill@aiva.ed.ac.uk (Alan Smaill) (12/02/88)
Department of Artificial Intelligence
University of Edinburgh
RESEARCH ASSOCIATE
(Mathematical Reasoning)
Applications are invited for an SERC supported post, tenable, as soon
as possible, on a mutually agreed date. Appointment will be to
September 30 1989, initially, but with a strong possibility of renewal to at
least September 30 1991. The research is to develop {\em 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,105 pounds p.a., according to age 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,
SCOTLAND.
as soon as possible. The closing date for applications is 16th
January 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 5613.
--
Alan Smaill, JANET: A.Smaill@uk.ac.ed
Department of Artificial Intelligence, ARPA: A.Smaill%uk.ac.ed@nss.ucl.ac.uk
Edinburgh University. UUCP: ...!ukc!ed.ac.uk!A.Smaill