[J2] ================================================ AMAST Links 03 01

	      Post-Doc Position in Software Engineering

   The full version of this announcement is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v03/i01/full/AC0301J2.txt

  Applications are invited for a one-year definite term Post-Doc
position at the Department of Electrical and Computer Engineering of
the University of Waterloo. The research of the candidate to fill the
position should address the general area of graphical and visual
specification methods in the context of object-oriented analysis and
design methods for concurrent real-time systems. Candidates should
have research experience and/or interest in most of the following areas
 o  Formal specification techniques for concurrent distributed systems.
 o  Object-Oriented Software Engineering.  
 o  Visual spec techniques, in particular Message Sequence Charts.
 o  CASE tools.
 o  Specification of real-time requirements.
  An aptitude for programming and knowledge of C++ and/or Smalltalk are
desirable. The research will be carried out in close cooperation 
with a leading Canadian software tool development company (ObjecTime).
  To be considered for the position, candidates must have a PhD (or
expect to receive one by the start date) in Computer Engineering,
Computer Science or a closely related field, and a previous research
record of high quality. The start date is flexible but preferably
before July 1, 1996. Depending on the availability of funds, the
position may be renewable.
  Interested candidates should send a cover letter, their C.V. plus
names and postal as well as e-mail addresses of at least 2 references
as soon as possible, preferably by e-mail, to:
   Stefan Leue
   Department of Electrical & Computer Engineering
   University of Waterloo, Waterloo, Ontario N2L 3G1, Canada
   e-mail: sleue@swen.uwaterloo.ca
   tel.: +1 519 885 1211 or +1 519 888 4567, extension 5313 
   fax.: +1 519 746 3077
  This advertisement also appears on the WWW page at URL:
http://swen.uwaterloo.ca/~sleue/postdoc.html