Postdoc in Formal Methods in Computer Science

DTU Compute
Thursday 30 Mar 17

Apply for this job

Apply no later than 30 April 2017
Apply for the job at DTU Compute by completing the following form.

Apply online

DTU Compute’s Sections for Formal Methods, invite applications for an appointment as Postdoc within Cyber Physical System. The position is available from July 2017 or according to mutual agreement.

Our department DTU Compute is an internationally unique academic environment spanning the science disciplines mathematics, statistics and computer science. At the same time we are an engineering department covering informatics and communication technologies (ICT) in their broadest sense. Finally, we play a major role in addressing the societal challenges of the digital society where ICT is a part of every industry, service, and human endeavour.

DTU Compute strives to achieve research excellence in its basic science disciplines, to achieve technological leadership in research and innovation, and to address societal challenges in collaboration with partners at DTU and other academic institutions, nationally and internationally, and, equally important, with industry and organizations. We communicate and collaborate with leading centres and strategic partners in order to increase participation in major consortia.

DTU Compute plays a central role in education at all levels of the engineering programmes at DTU - both in terms of our scientific disciplines and our didactic innovation.

The section on Formal Methods has a strong focus on the interplay between modelling, analysis and realisation of systems; this is present in our research as well as our teaching. Our key competences are within semantics, program analysis, model checking, language based security, and software tools. We strongly believe that Formal Methods cover the key components for constructing a reliable and trustworthy IT infrastructure.

The aim of the new position is to expand the sections teaching and research in Cyber Physical Systems.

Responsibilities and tasks
With this call we are interested in candidates that can interact with our research team within all of the following areas: 

  • Developing static analyses for security and safety of cyber-physical systems.?
  • Using advanced static analysis methods like abstract interpretation and type systems.
  • Providing semantic correctness results for the analyses developed.

At DTU Compute, we value knowledge sharing and cross functionality. Therefore, you are expected to cooperate and be eager to build relations with colleagues in the department and with other departments of DTU.

You are expected to participate in departmental teaching at all levels so you should value visionary and meaningful communication. The teaching will cover Bachelor-, Master- and PhD-level courses. Bachelor courses are taught in Danish, other courses in English. Non-Danish speakers are not disqualified for the role, but will be trained in Danish in order to participate in teaching on all levels.

Candidates must have a PhD in Computer Science with emphasis on the use of formal methods. Excellent communication skills in English are essential.

We offer
We offer an interesting and challenging job in an international environment focusing on education, research, scientific advice and innovation, which contribute to enhancing the economy and improving social welfare. We strive for academic excellence, collegial respect and freedom tempered by responsibility. The Technical University of Denmark (DTU) is a leading technical university in northern Europe and benchmarks with the best universities in the world.   

Salary and terms of employment
The appointment will be based on the collective agreement with the Confederation of Professional Associations. The allowance will be agreed with the relevant union. The position will be for 6 months (with the possibility of an extension).

Further information
Further information may be obtained from Hanne Riis Nielson, tel.: +45 4525 3736.

You can read more about DTU Compute on  

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

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 5,800 advance science and technology to create innovative solutions that meet the demands of society; and our 10,600 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.