Logic List Mailing Archive

Professorship "Formal Methods and Tools", Twente (Netherlands)

Full Professor Formal Methods and Tools 
Universiteit Twente
The Netherlands

http://www.utwente.nl/vacatures/vacatures_externe_werving/06-088-eng.doc

The Computer Science department of the Faculty of Electrical Engineering,
Mathematics and Computer Science, University of Twente is one of the
largest academic institutions in computer science in the Netherlands, with
220 faculty members and 1200 students. It provides courses in Technical
Computer Science, Business Information Technology, and Telematics. In
addition, the department contributes to computer science education within
other academic programmes. The research of the department is part of the
multidisciplinary research institute Centre for Telematics and Information
Technology (CTIT).

Full Professor Formal Methods and Tools

The Formal Methods and Tools group (FMT) develops rigorous techniques and
tools that are needed for the systematic design and analysis of hardware
and software systems. In particular, the FMT group designs validation and
verification techniques that support the design of complex hardware and
software products, such as embedded systems and smart environments, in
relation to modern software engineering practices, such as model-driven
design and component-based development.  The group has a strong track
record in formal testing, model checking, stochastic, real-time and hybrid
modeling and validation techniques.

The group is involved in teaching activities at MSc and BSc level in the
Computer Science, Telematics and Embedded Systems programs, in courses
that are related to the above topics.

FMT has an excellent international scientific reputation, and was ranked
excellent in the last national research assessment. The young and
ambitious team consists of 5 academic staff, 4 postdocs, 10 PhD students,
and 3 technical and administrative support staff. FMT research is embedded
in the CTIT research institute (see http://www.ctit.utwente.nl/), which is
the largest academic ICT research institute in the Netherlands. FMT also
is part of the NIRICT Centre of Excellence CeDAS (Centre for Design,
Analysis and Synthesis of Dependable System, see http://www.nirict.nl/).

The successful candidate will head the FMT group. He/she is expected to
develop the above research agenda further, extend and maintain
collaboration at departmental, national and international level, and be
engaged in the group's teaching activities. Candidates must have an
outstanding publication record, excellent leadership and management
qualities, a strong vision on future development of the field and very
good teaching skills. Applicants must have a PhD in a relevant area.

The University offers a full time tenured position as Professor in the
largest and most quickly developing academic organisation in the
Netherlands in the field of embedded systems, with a competitive salary
(maximum EUR 8161,- gross per month) and benefits commensurate with your
position, experience and qualifications.

For more detailed information see our website (http://fmt.cs.utwente.nl/)
or contact Professor Pieter Hartel (Pieter.Hartel@utwente.nl). Interested
candidates are invited to send a resume, publication list and a statement
of their research and teaching interests by January 12th, 2007 to the
University of Twente, attn.  Prof.dr.ir. A. J. Mouthaan, Dean of the
Faculty of Electrical Engineering, Mathematics and Computer Science, P.O
Box 217, 7500 AE Enschede, The Netherlands, quoting vacancy number 06/088.
Applicants are advised that interviews will be held on February 14th and
15th, 2007.

In several areas women are still underrepresented. Therefore women are
expressly invited to apply.