Postdoc, PhD, Masters and Bachelors scholarships and fellowships

Postdoc in Formal Methods in Computer Science, Denmark


DTU Compute would like to invite applications for one postdoc position starting January 2016 and ending in September 2017. The project is financed by the IDEA4CPS project funded by the Danish Foundation for Basic Research.

The IDEA4CPS project conducts research and develops mathematically well-founded and coherent models, methods, and tools that may serve as the foundation of a model-driven design methodology for cyber-physical systems. This means that design decisions, analysis, simulation, testing, code generation, etc. are always based upon models that reflect the relevant aspects of the design. This requires methods to maintain, manipulate, analyze and transform models in a coherent and meaningful way.

DTU Compute represents a unique combination of mathematics and computer science, including competencies in information processing in the broadest sense, and in the development of modern computer based systems.

Consequently, DTU Compute is in an ideal position to utilize the synergies arising at the crossroads between IT and mathematics, and we are therefore well positioned to address the challenges of the digital society.

The scientific areas of DTU Compute cover theory, technology and engineering applications, ranging from fundamental research to innovative products and public sector consultancy. We drive technology and abstract engineering challenges as mathematical models enabling analysis, design, synthesis and simulations. We communicate mathematical and computational results to society at large and gain valuable insights from which new research questions emerge.

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.

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, public-sector consultancy 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 period of employment is 1 year and 9 months.

Further information
Further information may be obtained from Professor Flemming Nielson at

You can read more about DTU Compute on

Application procedure
Please submit your online application no later than 25 September 2015. 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 (an official translation into English)
  • List of publications

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

Further Information

Application Deadline : 25 September 2015

Postdoc in Formal Methods in Computer Science : PDF

Contact Email:

Posted on 2015-08-22 00:51:35

Please give reference of when applying for above scholarship.

Report Content

Never miss a opportunity, Receive Scholarships in your email

Can't find a Scholarship, Search it here

Custom Search