[uk.jobs] Research Post In Logic Programming at Bristol University

jwl@CompSci.Bristol.AC.UK (John Lloyd) (06/12/89)

---------------------------------------------------------------------------

			   UNIVERSITY OF BRISTOL

		      Department of Computer Science

                    Research Post in Logic Programming


Applications are invited for a research post associated with an ESPRIT
project: "Computational Logic".  The appointee will join the Bristol group
in this project led by Professor John Lloyd. 

The appointee will be mainly concerned with the producion of a prototype 
implementation of a logic programming language, called Godel, which is 
intended to be a declarative successor to Prolog. The major component of 
the Bristol contribution to the project will be a complete formal definition 
of Godel. In order to do this, an implementation is required to experiment 
with various language facilities and, it is hoped, to make the language 
available early in the project to other groups. The emphasis of the new 
language is an alternative treatment of the troublesome Prolog facilities, 
such as var, assert, retract, and cut. The aim is to design a language which 
is considerably more declarative than Prolog so as to facilitate program 
transformation, abstract interpretation, verification, debugging, and so on.

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  post is tenable for up
to two and a half years and is available immediately.  The appointment and 
salary will be according to age and experience.

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.

(N.B. Anyone who previously applied for Professor Warren's research posts 
at Bristol need only let me know they are interested in this post, since
the cv's of these applicants are already available here.)

---------------------------------------------------------------------------

jwl@CompSci.Bristol.AC.UK (John Lloyd) (01/16/91)

---------------------------------------------------------------------------

			   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.

---------------------------------------------------------------------------