[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Type theory has many applications in the formal analysis of hardware and 


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 € 8161,- gross 
per month) and benefits commensurate with your position, experience and 

For more detailed information see our website (http://fmt.cs.utwente.nl/) or 
contact Professor Pieter Hartel ([EMAIL PROTECTED]). 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. 

Reply via email to