[TYPES/announce] Open positions in Language Based Technology at DTU Informatics

[Henrik Pilegaard]

========================================================================
Associate/Assistant Professorships in Language Based Technology
------------------------------------------------------------------------
The Technical University of Denmark
========================================================================

Applications are invited for one or more positions as Associate or
Assistant Professor at DTU Informatics. The application deadline is 7th
September 2009 and the positions are available from 1st January  2010.

DTU Informatics covers informatics and mathematical modelling and in the
section on Language Based Technology we focus on modelling, analysis and
realisation of systems using language-based techniques and tools - in
particular, static analysis and model checking. The systems of interest
include concurrent, distributed and mobile systems where reliability and
predictability are essential - hence properties related to safety,
security and performance are of key interest.

The section is heading a VKR Centre of Excellence, MT-LAB - Modelling of
Information Technology, that aims to exploit synergies between
mathematical modelling (in particular stochastics) and formal
verification techniques.

We seek applicants who can contribute to and strengthen the research
profile of the Language Based Technology section within one or more of
the above areas.

Please consult our web pages
http://www.imm.dtu.dk/English/Research/Language-Based_Technology.aspx
and http://www.mt-lab.dk/ for further information
or contact Hanne Riis Nielson (riis at imm.dtu.dk <mailto:riis at imm.dtu.dk>) 
or Flemming Nielson (nielson at imm.dtu.dk <mailto:nielson at imm.dtu.dk>).

Applications must be submitted online no later than 24th August 2009.
The full announcement and further details about the application
procedure can be found at http://www.dtu.dk/English/About_DTU/vacancies.aspx