🚀 go-pugleaf

A one year position as Research Scientist is offered:


Where:  Logic and Functional Programming Group, Simon Fraser University, 
        Burnaby, British Columbia, Canada

Remuneration: $30,000 Can.  

Qualifications: Candidates should have a PhD, be experienced in the
areas of logic and functional programming, and also in any of the following
areas: Natural Language Processing, English/French machine translation, 
constraint logic programming (foundations, applications to deductive database
and expert systems), logic grammar foundations and implementations, tools for
the verification of logic programs, foundations of higher order logic
programming. 

Start date (negotiable): March 1st, 1993.

Simon Fraser University is located on Burnaby mountain, a short distance from
downtown Vancouver.  

The Logic and Functional Programming group was founded in 1986 for research
in the area of logical and functional programming and its applications.  
The current members of the group are:
 
   Warren Burton, Veronica Dahl, James Delgrande, Lou Hafer, Jiawei Han,
   Ronald Harrop, Bill Havens, Fred Popowich (Computing Science, SFU)

   Romas Aleliunas (Centre for Systems Science, SFU)

   Harvey Abramson (Computing Science, Tokyo)

   Maarten van Emden, Bill Wadge (Computing Science, University of Victoria)

   David Poole (Computing Science, University of British Columbia)

   Michael Rochemont (Linguistics, University of British Columbia)
 
If you are interested in this research position, please send a complete CV and
the names and addresses of two people who can write a letter of reference on
your behalf to:

Dr. Veronica Dahl
Director, Logic and Functional Programming Group
Simon Fraser University
Burnaby B.C. V5A 1S6 CANADA

Tel.: (604) 291-3372
e-mail: veronica@cs.sfu.ca