🚀 go-pugleaf

From: Alan Bundy <unido!aipna.edinburgh.ac.uk!bundy>
To: mod-ki@unido.uucp
Date: Wed, 11 Oct 89 13:19:20 BST
Subject: RA Post in AI Dept at Edinburgh
Keywords: Stellen

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