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

[Hanne Riis Nielson]

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
   http://www.dtu.dk/english/career/7da12e65-dc28-42f6-ad11-6be53914b384.aspx
and more information about the Language Based Technology research team is available at
   http://www.compute.dtu.dk/english/research/LBT

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