jwl@CompSci.Bristol.AC.UK (John Lloyd) (03/07/91)
The following is an advertisement for RA position I first posted some months ago. I had a very good response with some excellent applicants. Unfortunately, none of the suitably qualified applicants was in a position to start before around the middle of the year. Since I would prefer to find someone who can start almost immediately, I am posting the advertisement again. If you responded to the previous advertisement and are still interested, could you please let me know this and the earliest date you would be able to start. (Previous applicants don't need to send me their cv again.) Thanks, John Lloyd --------------------------------------------------------------------------- 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. 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 salary at this point is 13,495 pounds. The appointment will be for the remaining approximately 15 months of the project. The position is available now. Preference will be given to applicants who can start almost immediately. 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. ---------------------------------------------------------------------------