Assistant Professorship in Formal Methods, Kungens Lyngby (Denmark)

DTU Compute (Technical University of Denmark) is recruiting a Tenure Track Assistant Professor in the Formal Methods section. The position is available from July 1st or according to mutual agreement.

You will be conducting high-quality scientific research at international level, publishing your results in highly-reputed venues, combining theoretical and practical aspects of formal methods, as well as leading and participating in collaborative research projects. You will take part in the development of research-based teaching at the bachelor, master, and PhD levels at DTU. Our teaching portfolio includes courses in topics tightly connected to our research expertise and activities: models of computation, programming languages, semantics, interpreters and compilers, formal methods, program analysis, model checking, security, and distributed and concurrent programming. You will be strengthening our research and research-based teaching competences within formal methods, and expanding them in new directions.