Associate/Assistant Professor in Programming Languages at the Technical University of Denmark

Dear colleagues,

There is an open position in the section for Formal Methods at the Department of Applied Mathematics and Computer Science of Technical University of Denmark. The position is at the assistant or associate professor level within the area of implementation of programming languages.

The date for application is on February 5th and full details are available at

http://www.compute.dtu.dk/english/about_us/vacant_jobs/job?id=2be9221f-100d-4654-ae96-2e46aae2e447

Our vision is that Formal Methods offer key methods for constructing a reliable and trustworthy IT infrastructure. We have competences within the modelling, analysis and realisation of systems that cover semantics, program analysis, model checking, language based security, and software tools. We hope to attract a brilliant candidate in programming language implementation that will engage in our research and teaching.

More details on our section for Formal Methods can be found at http://www.compute.dtu.dk/english/research/fm/

Please do not hesitat to contact us for inquires:

- Hanne Riis Nielson <hrni@dtu.dk>

- Flemming Nielson <fnie@dtu.dk>

- Sebastian Alexander Modersheim <samo@dtu.dk>

- Alberto Lluch Lafuente <albl@dtu.dk>