bundy@aipna.edinburgh.ac.UK (Alan Bundy) (10/11/89)
Department of Artificial Intelligence University of Edinburgh RESEARCH FELLOW (Mathematical Reasoning) Applications are invited for an SERC supported post, tenable from 1st January 1990, 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 10,458-16,665 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 14th November 1990. 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 5717/E.