home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / lang / prolog / 2326 < prev    next >
Encoding:
Text File  |  1993-01-06  |  2.1 KB  |  59 lines
  1. Newsgroups: comp.lang.prolog
  2. Path: sparky!uunet!gatech!destroyer!cs.ubc.ca!fornax!veronica
  3. From: veronica@cs.sfu.ca (Veronica Dahl)
  4. Subject: research position at Simon Fraser University
  5. Message-ID: <1993Jan6.184559.2553@cs.sfu.ca>
  6. Organization: CSS, Simon Fraser University, Burnaby, B.C., Canada
  7. Date: Wed, 6 Jan 1993 18:45:59 GMT
  8. Lines: 49
  9.  
  10. A one year position as Research Scientist is offered:
  11.  
  12.  
  13. Where:  Logic and Functional Programming Group, Simon Fraser University, 
  14.         Burnaby, British Columbia, Canada
  15.  
  16. Remuneration: $30,000 Can.  
  17.  
  18. Qualifications: Candidates should have a PhD, be experienced in the
  19. areas of logic and functional programming, and also in any of the following
  20. areas: Natural Language Processing, English/French machine translation, 
  21. constraint logic programming (foundations, applications to deductive database
  22. and expert systems), logic grammar foundations and implementations, tools for
  23. the verification of logic programs, foundations of higher order logic
  24. programming. 
  25.  
  26. Start date (negotiable): March 1st, 1993.
  27.  
  28. Simon Fraser University is located on Burnaby mountain, a short distance from
  29. downtown Vancouver.  
  30.  
  31. The Logic and Functional Programming group was founded in 1986 for research
  32. in the area of logical and functional programming and its applications.  
  33. The current members of the group are:
  34.  
  35.    Warren Burton, Veronica Dahl, James Delgrande, Lou Hafer, Jiawei Han,
  36.    Ronald Harrop, Bill Havens, Fred Popowich (Computing Science, SFU)
  37.  
  38.    Romas Aleliunas (Centre for Systems Science, SFU)
  39.  
  40.    Harvey Abramson (Computing Science, Tokyo)
  41.  
  42.    Maarten van Emden, Bill Wadge (Computing Science, University of Victoria)
  43.  
  44.    David Poole (Computing Science, University of British Columbia)
  45.  
  46.    Michael Rochemont (Linguistics, University of British Columbia)
  47.  
  48. If you are interested in this research position, please send a complete CV and
  49. the names and addresses of two people who can write a letter of reference on
  50. your behalf to:
  51.  
  52. Dr. Veronica Dahl
  53. Director, Logic and Functional Programming Group
  54. Simon Fraser University
  55. Burnaby B.C. V5A 1S6 CANADA
  56.  
  57. Tel.: (604) 291-3372
  58. e-mail: veronica@cs.sfu.ca
  59.