[J7] ================================================ AMAST Links 02 02

                         PhD Research Position
  Faculty of Computer Science, University of Twente, The Netherlands

  The Formal Methods and Tools research groups, which are part of the 
Department of Tele-Informatics and Open Systems at the Faculty of
Computer Science at the University of Twente, are offering a PhD
position in  Verification of LOTOS Specifications.
  This project is part of the research programme VALIDE, which aims
at the study and development of formal methods for the design of
distributed systems and supporting tool environments. There is a
strong emphasis on the application of process-algebraic methods. The
fundamental research themes in this programme are:
 o  development and application of formal theories of concurrency
 o  design methodology for distributed systems
 o  software tools for the design of distributed systems
  The PhD student is expected to carry out research in the design and 
development of verification-oriented tools that check equivalence
between 2 models of LOTOS specifications, or check whether a given
formula holds for a model of a specification.
  Applicants are expected to have some experience in formal
specification languages.
  Suitable applicants are asked to contact:
   Dr Henk Alblas
   University of Twente, Faculty of Computer Science
   P.O. Box 217, 7500 AE Enschede, the Netherlands,
   Phone: +31 53 893685
   Fax: +31 53 333815
   E-mail: alblas@cs.utwente.nl 
  Applications close at 28 February 1995.