Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <15623-0@swan.cl.cam.ac.uk>; Wed, 1 Apr 1992 23:00:45 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA14429; Wed, 1 Apr 92 13:39:59 -0800 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from grolsch.cs.ubc.ca by ted.cs.uidaho.edu (16.6/1.34) id AA14425; Wed, 1 Apr 92 13:39:50 -0800 Received: by grolsch.cs.ubc.ca id AA12282 (5.65c/IDA-1.3.5 for info-hol@ted.cs.uidaho.edu); Wed, 1 Apr 1992 13:42:40 -0800 Date: 1 Apr 92 21:42 From: Jeffrey Joyce To: info-hol Message-Id: <4492*joyce@cs.ubc.ca> Subject: post-doc positions at UBC 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.