Postdoc Position in Formal Methods and IoT (Denmark) Deadline: April 30, 2019

Technical University of Denmark (DTU)

Application Deadline

April 30, 2019

Program Commencement


Duration of the Program

2 Years

Follow us for a weekly update on more such calls:

Program Details

DTU is ranked as one of the foremost technical universities in Europe. Founded in 1829 with the mission of creating value for the benefit of society, DTU is an international elite technical university where education, scientific advice, and innovation rest on a solid foundation of world-class research. The University is at the academic and multidisciplinary forefront of the technical and the natural sciences—with new initiatives in a number of demanding engineering disciplines. 

DTU Compute’s Sections for Formal Methods and for Embedded Systems Engineering, invite applications for an appointment as a postdoc for 2 years within the area of formal methods and IoT security. The position is full-time starting as soon as possible, according to mutual agreement. The aim of the new position is to expand the department’s research in the areas of formal methods, IoT security, and secure-by-design software development.

The candidate will expand and contribute to the sections’ research activities in the above-mentioned areas, in particular within the H2020 project CyberSec4Europe, that aims at establishing and operating a pilot for a Cybersecurity Competence Network to develop and implement a common Cybersecurity Research & Innovation Roadmap for Europe. The candidate must be able to contribute to (a) identifying challenges to early stages of the development of secure software for IoT/cloud/fog/edge platforms and (b) investigate formal methods techniques to support secure-by-design software development for IoT/cloud/fog/edge. 

The appointment will be based on the collective agreement with the Danish Confederation of Professional Associations. The allowance will be agreed upon with the relevant union.

More information, here.

Eligibility/ Requirements

  • A completed or close-to-completion Ph.D. in Computer Science, Computer Engineering or similar disciplines.
  • Research background in at least one of the following areas: security and privacy, formal methods, distributed systems (IoT/cloud/fog/edge), software engineering.
  • Publication record in reputable venues in the above areas.
  • Experience in collaborative research projects.
  • Excellent English language skills.

For further information, please contact Alberto Lluch Lafuente,, Head of the Section for Formal methods and Associate Professor, or Nicola Dragoni,, Associate Professor in Embedded Systems Engineering.

Application Process

Please submit your online application as one single PDF file containing all materials to be given consideration.

Apply online here. Fill out the online application form, and attach all your materials in English in one PDF file. The file must include:

  • Application (cover letter)
  • CV
  • Diploma (MSc/PhD)
  • List of publications
  • Ph.D. dissertation (if completed and not publicly available)

Applications and enclosures received after the deadline will not be considered.

Mention that you found this call on The Insightist Berlin.


Follow us for a weekly update on more such calls:

If You Know Someone Who Will Benefit From This Call, Share This From Here!