[J6] ================================================ AMAST Links 02 02

                     Postdoctoral Position at CWI

  The project `Testing and Verification of Timed Systems' will be
carried out jointly at the Tele-Informatics and Open Systems Group of
the  University of Twente and at the Department of Software Technology
of CWI in Amsterdam.
  The project aims at the development of a coherent methodological 
framework for the validation of real-time distributed systems. The work
will support both empirical and formal validation methods, i.e. testing
and verification, thus allowing for the application of complementary 
strategies. For inspiration and evaluation the project will apply its 
validation methods on realistic real-time applications in consumer
electronics and the area of communication and application protocols.
  In the context of this project, which is supported by NWO/SION 
(Netherlands Organization for Scientific Research), a postdoctoral 
position is available at CWI for a period of two years.  Requirements 
are a strong background in concurrency theory and a serious interest in
the use of formal methods on real world applications.
  Applicants should send a vita and names+addresses of three references
by surface mail to:
   Personeelsdienst van de Stichting Mathematisch Centrum
   Kruislaan 413
   1098 SJ Amsterdam
   The Netherlands
  or via email to:
   Frits Vaandrager
   fritsv@cwi.nl