cleary@cs-sun-fsa.cpsc.ucalgary.ca (John Cleary) (05/10/91)
RESEARCH POSITION(S) AVAILABLE FOR IMPLEMENTATION OF DISTRIBUTED LOGIC PROGRAMMING SYSTEM UNIVERSITY OF CALGARY, ALBERTA, CANADA Two research positions are available at the University of Calgary. The project is to eventually implement a distributed version of a logic programming language. The language is a bottom-up system with an ability to deal explicitly with time (and hence changes and updates to the database). The following are required for the position: an MSc or PhD in Computer Science experience with Logic Programming, C and Unix some background in distributed systems including TimeWarp and optimistic execution techniques The following would all be helpful: experience with X-windows background in numerical analysis including interval arithmetic or simulation Facilities available include a 12 node BBN Butterfly shared memory multiprocessor, a large network of Sun/3 and Sun/4 workstations, and access to a 70 node Transputer based multiprocessor. The work will include programming in C, development of IPC mechanisms, implementation of an interpreter for the language, and helping with preparing publications and demonstrations. The positions will initially be for two years but with an expectation that they will continue longer. Salary will be in the range CDN$20,000 to $40,000. The positions are available immediately. In accordance with Canadian law preference will be given to Canadian citizens and landed immigrants. Calgary is in western Canada about 80km out onto the prairies from the Rocky Mountains. There is really great skiing (cross country and downhill) and hiking in the mountains. For further information please contact: John G. Cleary Department of Computer Science University of Calgary 2500 University Drive N.W. Calgary Alberta T2N 1N4 Canada cleary@cpsc.UCalgary.ca Phone: (403)282-5711