Assistant & Associate Professorships in modelling of systems using language-based techniques and tools, Kungens Lyngby (Denmark)

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