[TYPES/announce] Open position in formal methods at DTU
fnie at dtu.dk
Mon Aug 26 06:07:58 EDT 2013
[Please note that types is one of the topics called for]
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce