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:
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.