bundy%aiva.edinburgh.ac.uk@CS.UCL.AC.UK (Alan Bundy) (09/19/86)
DEPARTMENT OF ARTIFICIAL INTELLIGENCE
UNIVERSITY OF EDINBURGH
RESEARCH ASSOCIATE
Applications are invited for a two-year SERC supported post, tenable
from October 1 1986, to study the structure of formal proofs arising
during the synthesis and verification of logic programs. The project,
in association with Drs Alan Bundy and Don Sannella, will involve
developing problem solving techniques for controlling the search and
such proofs in a semi-automated environment.
Candidates should possess a PhD or equivalent research or industrial
experience. Knowledge of logic is essential and knowledge of
Artificial Intelligence, theory of computation or logic programming
would be an advantage. Salary on the RIA scale ( 8,020 - 12,780 p.a.
according to age and experience), superannuation.
Applicants should send a CV and the names of two referees to:
Dr Alan Bundy
Department of Artificial Intelligence
University of Edinburgh
80 South Bridge
Edinburgh
EH1 1HN
as soon as possible. Closing date for applications is 30th September
1986. Further details may be obtained from Dr Bundy, quoting
reference number 5401.