[TYPES/announce] Open position in formal methods at DTU

[Flemming Nielson]

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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20130826/61df6f02/attachment.html>