bundy@aiva.edinburgh.ac.UK (Alan Bundy) (12/22/88)
Department of Artificial Intelligence University of Edinburgh RESEARCH FELLOW (Automated Reasoning) Applications are invited for a research fellowship, funded by the ESPRIT Basic Research Actions programme, as part of an international consortium studying logic programing. The post is tenable from 1st April 1989 (or soon thereafter) for 30 months. The fellow will attempt to apply the technique of proof plans to the guidance of inference in knowledge-based systems. S/he will also be required to liase with other members of the consortium. Proof plans have been developed as a technique for guiding the search for a proof in automatic theorem proving, and tested in the domains of symbolic equation solving and mathematical induction. The aim of the project is to see if they are equally applicable to non-mathematical areas. The project will be led by Professor Alan Bundy and Ms Jane Hesketh. Candidates should possess a PhD or have equivalent research or industrial experience. Knowledge of artificial intelligence, mathematical logic and/or logic programming would be an advantage. Salary is on the AR1A scale in the range 9,865 - 13,365 pounds p.a., according to age and experience. Applicants should send a curriculum vitae 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 1st February 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 5614/em.