jwl@CompSci.Bristol.AC.UK (John Lloyd) (03/04/89)
UNIVERSITY OF BRISTOL Department of Computer Science PARALLEL LOGIC PROGRAMMING SYSTEMS 5 Research Posts Applications are invited for five research posts associated with two ESPRIT projects: "Parallel Execution of Prolog on Multiprocessor Architectures" and "European Declarative System". The appointees will join the Logic Programming Systems Group led by Professor David Warren. One post will be directly financed by Meiko: the successful candidate will be recruited as a Meiko employee. The research is directed towards developing practical parallel logic programming systems. The objective is to enable advanced applications to run at high speed on parallel hardware with mimimal programming effort. The research covers applications, language issues, execution models, and architectures. It continues previous work, a major outcome of which has been Aurora, a prototype or-parallel Prolog system for shared memory multiprocessors. Future work will include: --the further development of Aurora; --the design of the Andorra Prolog system, combining or-parallelism with and-parallelism, and its implementation on a Sequent multiprocessor; --the design of a novel shared virtual memory architecture, and its simulation on a transputer multiprocessor; --the development of major applications of parallel logic programming systems, in areas such as vision, medicine and engineering. Machines available include a 32-transputer Meiko Computing Surface, a 12-processor Sequent Symmetry, a 6-processor Sequent Balance, and a number of Sun and HP workstations. The main implementation languages will be C and Prolog. The work will involve close collaboration with groups at the Belgian Institute of Management, the European Computer Industry Research Centre, Meiko, the Swedish Institute for Computer Science, the University of Leuven, and the University of Madrid. Applicants should have a good honours degree, a strong interest in the subject of the research, and relevant postgraduate experience, including experience with one or more of Prolog, C, or multiprocessors. The posts are tenable for up to three years and are are available immediately. Appointments will be made according to age and experience on the RA1A, RA2, or RA3 salary scales (9,865-15,720, 14,500-19,310 or 18,290-22,910 pounds). Letters of application, including a CV, a statement of research interests, and the names and addresses of two referees, should be sent to the Personnel Office, Senate House, Bristol BS8 1TH, preferably by 14 April 1989. Informal enquiries can be made by telephone (0272-303322) or by electronic mail (JANET: warren @ uk.ac.bristol.compsci). Also available within the Department are two lectureships in Logic Programming and in Parallel Computation. Informal enquiries about these may be made by telephone or electronic mail as above. ---------------------------------------------------------------------------