[ecoop-info] Open position in formal methods at DTU

Hanne Riis Nielson hrni at dtu.dk
Mon Aug 26 09:51:16 CEST 2013

DTU Applied Mathematics and Computer Science has a new opening for associate and/or assistant professors with a focus on the modelling, analysis and realisation of systems using language-based techniques and tools – in particular, static analysis (including abstract interpretation and type systems) and (qualitative and quantitative) model checking.

The successful candidate(s) will be part of an international research team focusing on a broad portfolio of research projects using formal methods for modeling and analysis of systems (MT-LAB, IDEA4CPS, TREsPASS, FutureID, SESAMO, PaPP).

The date for applications is on October 1st and full details about the call and how to apply are available at
and more information about the Language Based Technology research team is available at

Hanne Riis Nielson & Flemming Nielson

Prof. Hanne Riis Nielson, DTU Compute - Department of Applied Mathematics and Computer Science

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20130826/7223a11d/attachment.html 

More information about the ecoop-info mailing list