Received: from GLINDA.OZ.CS.CMU.EDU by A.GP.CS.CMU.EDU id aa28007;
          20 Jun 95 14:17:17 EDT
Date: Tue, 20 Jun 95 14:15:50 EDT
From: AI.Repository@GLINDA.OZ.CS.CMU.EDU
To: ai+ai-postdoc@cs.cmu.edu
Subject: Job: Research Fellow for Automatic Theorem Proving (Univ. of Edinburgh)
Sender: ai@A.GP.CS.CMU.EDU

From: gordon@aisb.ed.ac.uk ()
Subject: Research Fellow, AI, Edinburgh
Organization: Dept AI, Edinburgh University, Scotland
Date: Mon, 19 Jun 1995 11:09:34 GMT

                Department of Artificial Intelligence
                        University of Edinburgh
                              Scotland
 

                          RESEARCH  FELLOW
                     (Mathematical  Reasoning)

   	Applications are invited for an EPSRC supported post,
tenable from 4th September 1995, or on a mutually agreed date.
Appointment will be to 31st December 1997, 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 programs.  The project is led by Professor Alan
Bundy, Dr Andrew Ireland, Dr Helen Lowe and Dr Alan Smaill. More
details can be found on http://dream.dai.ed.ac.uk/.

	Candidates should possess a PhD or have equivalent
research or industrial experience.  Knowledge of logic,
artificial intelligence, formal methods in software engineering
or logic or functional programming would be an advantage. Salary
is on the AR1A scale in the range 13941--20953 UK pounds p.a.,
according to age, qualifications and experience.

	Further particulars including details of the application
procedure should be obtained from the Personnel Office, 1
Roxburgh St., Edinburgh EH8 9TB, UK or Tel:0131 650 2511 (24 hour
answering service).  Please quote reference 590262/mjo.  The
closing date for receipt of applications is 7th July 1995.
Formal applications must be made in hardcopy to the Personnel
Office, but we would be grateful if electronic versions could be
copied to A.Bundy@ed.ac.uk. Compressed, uuencoded postscript
files are preferred.


-------------------------------------------------------------------------------
This message    | Submissions                       ai+ai-postdoc@cs.cmu.edu
was sent via    | Subscribe/Unsubscribe             ai+query@cs.cmu.edu
the AI-POSTDOC  | Available mailing lists include
mailing list.   |    AI-JOBS, LISP-JOBS, PROLOG-JOBS, AI-POSTDOC, AI-PREDOC