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