Postdoc in Formal Methods and IoT

DTU Compute
fredag 22 feb 19

Send ansøgning

Frist 30. april 2019
Du kan søge om jobbet ved DTU Compute ved at udfylde den efterfølgende ansøgningsformular.

Ansøg online

DTU Compute’s Sections for Formal Methods and for Embedded Systems Engineering, invite applications for an appointment as 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.

Responsibilities and tasks
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.

We expect that the candidate will be able to contribute to

  • Identifying challenges to early stages of the development of secure software for IoT/cloud/fog/edge platforms.
  • Investigate formal methods techniques to support secure-by-design software development for IoT/cloud/fog/edge.
  • A completed or close-to-completion Ph.D. in Computer Science, Computer Engineering or similar disciplines is required
  • 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 skills
We offer
DTU is a leading technical university globally recognized for the excellence of its research, education, innovation and scientific advice. We offer a rewarding and challenging job in an international environment. We strive for academic excellence in an environment characterized by collegial respect and academic freedom tempered by responsibility.

Salary and terms of employment
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.

The period of employment is 2 years. 

You can read more about 
career paths at DTU here.  

Further information
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.

You can read more about DTU Compute at

Application procedure
Please submit your online application no later than 30 April 2019 (local time)Applications must be submitted as one PDF file containing all materials to be given consideration. To apply, please open the link "Apply online", 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.

All interested candidates irrespective of age, gender, disability, race, religion or ethnic background are encouraged to apply.

DTU Compute has a total staff of 400 including 100 faculty members and 130 Ph.D. students. We offer introductory courses in mathematics, statistics, and computer science to all engineering programmes at DTU and specialised courses to the mathematics, computer science, and other programmes. We offer continuing education courses and scientific advice within our research disciplines, and provide a portfolio of innovation activities for students and employees.

DTU is a technical university providing internationally leading research, education, innovation and scientific advice. Our staff of 6,000 advance science and technology to create innovative solutions that meet the demands of society, and our 11,200 students are being educated to address the technological challenges of the future. DTU is an independent academic university collaborating globally with business, industry, government and public agencies.