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
--
=========================== MODERATOR ==============================
Steve Stevenson {steve,fpst}@hubcap.clemson.edu
Department of Computer Science, comp.parallel
Clemson University, Clemson, SC 29634-1906 (803)656-5880.mabell