[comp.lang.prolog] Visiting Scientist Position in Logic Programming ...

jlee@uvicctr.UVic.CA.UUCP (Jimmy Lee) (01/16/90)

Please bring following to the attention those who might be interested:
----------------------------------------------------------------------

Visiting Scientist Position in Logic Programming
================================================

Applications are invited for the position of Visiting Scientist in the
Department of Computer Science, University of Victoria, Victoria, Canada.

The successful applicant will be expert in the area of logic programming
and will work in practical applications of constraint logic programming.
The position will suit a recent PhD, but is not restricted to such a
person. Those without a PhD degree, but with expertise in constraint logic
programmming, will also be considered. Salary will be in accordance with
experience and qualifications.  The position, if filled, will be funded by
a grant to a research project directed by M.H. van Emden. The maximum
duration of the grant is four years. The granting agency will conduct a
major review after two years.

The Department has eighteen full-time faculty.  It offers graduate and
undergraduate degrees in Computer Science and is an active centre of
research in logic programming.  In addition, the department does research
in functional programming, compilers, software engineering, software
development environments, distributed computing, combinatorial algorithms,
theory of computation, VLSI design and test, and numerical methods.

The computing facilities for teaching and research consist of Sun 3/260 and
3/280 systems, a Sun SPARCserver 370, over thirty Sun workstations,
microcomputer laboratories with a variety of small systems, as well as the
University IBM 3090/VPF system.  A local area network provides access to
these facilities, while BC-Net provides a dedicated high-capacity datalink
connecting UVic to the other universities and research institutions in the
Province. An AppleTalk network is in place within the Department.  Internet
access is also available.

Victoria is close to other centres of logic programming, constraint
processing, and Artificial Intelligence: the University of British Columbia
in Vancouver, Simon Fraser University in Burnaby, and the University of
Washington in Seattle.

The city of Victoria, situated on the southern tip of Vancouver Island, has
a population of about 250,000. It enjoys one of the most beautiful
environments in North America.  The climate is characterized by cool, sunny
summers and mild winters. Victoria is well-endowed with cultural
activities, including theatre, symphony, and chamber music.

Applicants should send a curriculum vitae and the names of at least one
referee to:

          M.H. van Emden
          Department of Computer Science
          University of Victoria
          Victoria, B.C., Canada  V8W 2Y2

Applications will be considered until February 28, 1990. In accordance with
Canadian Immigration Regulations, priority will be given to Canadian
citizens and permanent residents.

Further information is available by contacting M.H. van Emden.

        UUCP:[uw-beaver,ubc-vision]!uvicctr!vanemden
        BITNET: vanemden@uvunix.bitnet
        INTERNET: vanemden@uvunix.uvic.ca
        Telephone: (604) 721-7225
        Fax: (604) 721-7292     Telex: 049-7222