[ 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
software]
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 € 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 ([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.
