[MMB] Postdoc position at University of Twente (The Netherlands)

Rom Langerak langerak at cs.utwente.nl
Mon Jul 26 15:22:01 MEST 2004



POSTDOC POSITION (2yr): STOCHASTIC VERIFICATION OF EMBEDDED SYSTEMS
within the Formal Methods and Tools Group (University of Twente)


The Formal Methods and Tools group (FMT) at the University of Twente
in the Netherlands is part of the Computer Science department of the
Faculty of Electrical Engineering, Mathematics and Computer Science,
one of the largest academic institutions in computer science in the
Netherlands with about 220 faculty members and 1200 students.
The research of the department is part of the multidisciplinary
research institute Centre for Telematics and Information Technology
(CTIT).

The FMT group, guided by Ed Brinksma, together with Joost-Pieter Katoen 
and Kim Larsen, currently has 18 employees and is responsible for
education and research in the area of formal methods and supporting
software tools. We have internationally recognised competence in formal
specification, verification, conformance testing, formal methods for
object-oriented systems, hybrid systems, and combining formal methods
with performance and dependability analysis. 

The group has intensive co-operation with other universities and
industry, both at the national and international level. The FMT group
currently participates in two international projects funded by the
European Commission, in seven projects funded by the Netherlands
Organisation for Scientific Research (NWO), and in several other 
national research projects. More information about the FMT group can
be found at URL fmt.cs.utwente.nl.

The group participates within the CTIT in the Twente Embedded Systems
Initiative. In this area there is an opening for a postdoc (2 years)
who will perform research on the use of stochastic verification in the
design and analysis of embedded systems, within a formal framework in
which stochastic and functional aspects are integrated.

PROFILE
You have a PhD in Computer Science or comparable qualifications and
have research experience in the field of formal methods, stochastic
verification, or embedded systems, with publications in relevant
international journals and conferences. Familiarity with the area of
stochastic process algebra is considered an advantage. You enjoy
working in a team and have good communication skills.

OFFER
You will be appointed for a period of two years. Your salary is
dependent on experience and background, but will minimally be roughly
EUR 34.000 gross per year.

INFORMATION AND APPLICATION
You can obtain further information about these positions from:
Dr.ir. Rom Langerak, langerak at cs.utwente.nl.

You are invited to send an application by e-mail before September 15,
2004.  Your application should consist of a cover letter, a curriculum
vitae (including detailed information regarding your academic degree,
research projects and publications) and the names and addresses
of three references.



More information about the MMB mailing list