Logic List Mailing Archive

Assistant & Associate Professorships in modelling of systems using language-based techniques and tools, Kungens Lyngby (Denmark), Deadline: 1 Oct 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

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