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:[EMAIL PROTECTED] Technical University of Denmark http://www.imm.dtu.dk/~riis -------------------------------------------------------------------- _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
