Types provide an established way of formalising safety aspects of
programs and systems. Quantified types, but to a lesser extent, also
give a handle on some of the security aspects of programs and systems.
Therefore the vacancy below might be of interest to readers of this
Lecturer m/f for 38 hours per week
Security of Distributed and Embedded Systems
The Faculty of Computer Science at the University of Twente in the
Netherlands offers courses in Computer Science, Telematics, and Business
Information Technology. The Faculty is one of the founders of the
prestigious Centre for Telematics and Information Technology, (CTIT).
The Faculty has research groups the following strategic areas: Language
and Knowledge Technology, Embedded Systems, Formal Methods, Telematics,
Databases, and Information Systems. De Faculty has about 230 staff en
The research of the Distributed and Embedded Systems Group in the
Faculty of Computer Science focuses on design methodologies, and on the
design and implementation of systems. Our research is used in
multimedia, mobile and E-business applications. The research is both
experimental and fundamental, with significant attention to formalising
and modelling systems. Cooperation with partners from industry and
research labs from all over the world is important to us. Specific areas
of cooperation include smart cards, consumer electronics, home
telematics and robotics. A significant part of our research is devoted
to developing methods and techniques for making systems smaller, faster,
low power and above all more secure.
To perform independent, scientific research; To contribute to the
teaching in the faculty at all levels; To perform administrative duties.
To have obtained a PhD in a discipline that is relevant to research in
Distributed and Embedded Systems; To have an interest in the security
aspects of research in this area, for example from a mathematical,
computer science or electronics perspective.
We offer an interesting and stimulating work environment. The maximum
salary is DFL.9.015,- gross per month, depending on experience. The post
is intended to be permanent.
Informal enquiries should be made to Professor Pieter Hartel, phone
+31-53-4892411 (e-mail: email@example.com).
Applicants should send full curriculum vitae, including the names and
addresses of three referees, to mr. W.H. Fij, Managing director of the
Faculty of Computer Science. Applications must arrive no later than 15
December 2000. Please quote reference number 00/190