Positions at the Technical University of Denmark

[Hanne Riis Nielson]

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