Postdoc/Research Assistent in Formal Methods for Trust and Security DTU Denmark

Postdoc/Research Assistent in Formal Methods for Trust and Security


DTU Compute’s Section for Formal Methods invites applications for a one-year appointment as postdoc or research assistant in the field of trust and security. The position is available from May 2018 or according to mutual agreement.

The DTU Compute department 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 aim of the new position is establish a clear and simple semantical basis for trust infrastructures for electronic transactions. This includes in particular the formalization of trust schemes, a language for user defined trust policies, and trust scheme translation policies. The research topics of this position include the design of languages and concepts, and the trust and security analysis of existing concepts and implementations.


The position provides a unique opportunity to link theoretical formal methods with applied research and development. The position is funded by the EU Horizon 2020-project LIGHTest consisting of European industries and academic partners, which provides an excellent environment for collaboration and networking. The goal of LIGHTest is to build a practical, light-weight solution for trust infrastructures to facilitate electronic transactions and digitalization in the EU and world-wide. Depending on the interest of the successful applicant, there is room for deepening in particular areas that are relevant to the project such as privacy, transparency, and accountability.

Responsibilities and tasks
The maintasks of the position are


  • driving the conceptual research for trust infrastructures, in particular the design of languages and formal models, exchange with the practitioners in the project on the realization and feasibility of the designs,
  • evaluate the trust and security properties of the designs


The position is within the Formal Methods section, a team of researchers that work on formal methods for design, analysis, and realization of safe and secure systems. We enjoy "deep" theory with direct practical application. Both our section and the EU-project give a collaborative environment in which one can exchange ideas at various levels and build a network with international researchers and practioners.

Candidates can either apply for the position as a Postdoc, which requires a PhD degree or equivalent, or as a research assistant, which requires a master degree in computer science or equivalent.

The ideal candidate


  • has a strong background both in formal methods and in the field of trust and security, in particular with the design of formal languages and their semantics, and implementing tools with respect to the semantics;
  • enjoys exploring ideas for finding clean, simple and elegant designs to solve complex real-world problems;
  • can in discussion with others adapt ideas to the needs of practice, but also drive new ideas and convince others of them.


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 an 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 with the relevant union. The period of employment will be for one year, starting May 2018 or according to mutual agreement.

The applicant is expected to work from the DTU Campus in Lyngby, Denmark.

You can read more about career paths at DTU here.

Further information
Further information may be obtained from Sebastian Mödersheim,

You can read more about DTU Compute on

Application procedure
Please submit your online application no later than 15 April 2018 (local time). Apply online at


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.


In the field “Please indicate which position you are applying for” please indicate whether you are applying for position as postdoc or research assistant.


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 11,000 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.

If you apply for this position please say you saw it on Computeroxy

All Jobs


ubc reklama










texas tech


uni copenhagen