A number of positions are available at the Department of Informatics and Mathematical Modelling at the Technical University of Denmark: - one or more associate professorships (tenured) within the area of secure and reliable systems (comprising real-time systems, programming languages, security and reliability); see http://www.adm.dtu.dk/nyheder/job/sos0312_e.htm for more details - a PhD scholarship (3 years) associated with the static analysis workpackage of the upcoming EU project DEGAS; see http://www.imm.dtu.dk/~riis/degas.jpg for a brief description of the project - a postdoc/research assistant position (1 year, possibly with extension to 2 years) associated with the static analysis workpackage of the EU project SECSAFE; see http://www.imm.dtu.dk/~riis/secsafe.jpg for a brief description of the project Apologies for multiple copies of this message. -- -------------------------------------------------------------------- Hanne Riis Nielson direct phone: (+45) 4525 3736 Informatics & Mathematical Modelling mailto:riis@imm.dtu.dk Technical University of Denmark http://www.imm.dtu.dk/~riis --------------------------------------------------------------------