Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!ukc!cf-cm!csisles!jwl
From: jwl@CompSci.Bristol.AC.UK (John Lloyd)
Newsgroups: comp.lang.prolog,uk.jobs
Subject: Research Post In Logic Programming at Bristol University
Message-ID: <1657@csisles.Bristol.AC.UK>
Date: 15 Jan 91 16:23:05 GMT
Reply-To: jwl@CompSci.Bristol.AC.UK ()
Organization: Dept of Computer Science, University of Bristol, UK.
Lines: 35
---------------------------------------------------------------------------
UNIVERSITY OF BRISTOL
Department of Computer Science
Research Assistantship in Logic Programming
Applications are invited for a research assistantship in a project entitled
"Foundations of Meta-Programming in Logic Programming" funded by an SERC
grant held by John Lloyd.
The appointee will be mainly concerned with the production of a prototype
implementation of a logic programming language, called Goedel, which is
intended to be a declarative successor to Prolog. The emphasis of Goedel
is an alternative treatment of the troublesome Prolog facilities, such as
var, assert, retract, and cut. The aim of the project is to design and
implement a language which is considerably more declarative than Prolog
so as to facilitate program transformation, abstract interpretation,
verification, debugging, and so on. The definition of the language is
nearing completion and a prototype implementation is underway.
Applicants should have at least a good honours degree, a strong interest in
the subject of the research, and relevant postgraduate experience, including
experience in Prolog implementation and UNIX. The appointment and salary will
be according to age and experience up to about point 4 on the RA1A scale.
The appointment will be for the remaining 16 months of the project.
Anyone interested in the post is asked initially to contact John Lloyd
by email at jwl@compsci.bristol.ac.uk, giving some details of background
and relevant experience.
---------------------------------------------------------------------------