🚀 go-pugleaf

From: "Alan Bundy" <bundy%aipna.edinburgh.ac.uk%NSFnet-Relay.AC.UK@uunet>
To: mod-ki@unido.uucp
Date: Tue, 6 Jun 89 16:27:37 BST
Subject: Postdoc Position in Theorem Proving at Edinburgh
Keywords: Stellen

mod-ki message 0251
************************************************************************
                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.
************************************************************************