From: seger@cs.ubc.ca (Carl Seger)
Subject: Post-doctoral fellowships at University of British Columbia
Organization: Computer Science, University of B.C., Vancouver, B.C., Canada
Date: Mon, 6 Apr 92 06:06:39 GMT


              OPEN POST DOCTORAL POSITIONS

              Department of Computer Science
              University of British Columbia
                     Vancouver, Canada

The Integrated Systems Design Group has several open post-doctoral
positions for individuals with research interests in the following
areas:
       + formal methods
       + formal hardware verification
       + hardware description languages
       + machine-assisted theorem-proving
       + VLSI design methodology
       + real-time software development
       + CASE methodology and tools

The expected annual salary for these positions is $41,000 (Canadian
dollars).  The main duty of an individual in this position would
be to contribute to the research activities of the Integrated Systems
Design Group.  This individual would also be required to teach one
13-week course (3 hours of lectures per week).  These positions are
offered as 1-year appointments with the possibility of re-appointment
for a second year.   Appointments to these position are expected
to commence in August 1992.

The Integrated Systems Design Group, headed by Drs. J. Joyce and
C-J. Seger, is one of six research groups in the Computer Science
Department at the University of British Columbia.  Our research
centers upon principles, techniques, methodologies and tools for
the specification, design and implementation and verification of
integrated software/hardware systems.  We are especially interested
in formal methods such as machine-assisted theorem-proving, symbolic
simulation and model checking to increase confidence in the
correctness and reliability of hardware/software designs.

Individuals appointed to these post-doctoral positions would have
the opportunity to enjoy a stimulating research oriented environment.
The UBC Computer Science Department has experienced rapid development
in size and diversity over the past four years.  The number of faculty
members in the Department of Computer Science has grown from 18 in
1988 to our current size of 27 tenured or tenure-track faculty members.
During this time, the size of graduate program has doubled to
approximately ninety full-time graduate students.  Post-doctoral
fellows would also have the opportunity to enjoy our beautiful park-like
setting on the Pacific Coast (the nearest beach is 15 minutes away by
walking).   The combination of ocean and snow-capped mountains offers
outstanding opportunities for outdoor recreation.

Application Procedure:
======================

Qualified individuals (with a Ph.D. or expecting to receive a Ph.D.
before September 1, 1992) may apply by writing to either Dr. Joyce
or Dr. Seger at the address given below.  Applications should include:

     + a full Curriculum Vitae (including list of publications)
     + two or three reprints of recent publications (including
       thesis abstract)
     + names of three individuals who could be asked to provide a
       reference (please include email address as well as postal
       address and phone number)

Send applications to:

      Dr. J. Joyce/Dr. C-J. Seger
      Department of Computer Science
      University of British Columbia
      6356 Agricultural Road
      Vancouver, CANADA V6T 1Z2

      tel: (604) 822-4327 (Joyce)
           (604) 822-8179 (Seger)

      fax: (604) 822-5485

      email: joyce@cs.ubc.ca
             seger@cs.ubc.ca

Applications must be received before May 8, 1992 -- however, offers
may be made before May 8, 1992 to outstanding applicants. Prospective
applicants are advised that delivery of mail by regular post from
the USA to Canada can take as long as three weeks.