Associate Professor or DTU Tenure Track Assistant Professor in Formal Methods

Found in: beBee S DK - 2 weeks ago


Lyngby, Denmark Technical University of Denmark Full time

Do you believe that formal methods are crucial to ensure high quality in software systems? Do you want to establish your career as a computer scientist in this area? Do you want to educate new generations of computer scientists and engineers in this area? 

You might find your place as a new Associate Professor or Tenure-Track Assistant Professor in the Software Systems Engineering Section at DTU Compute. We are looking for new colleagues to join our vision of a digital society supported by software systems that are built, assessed and improved according to solid scientific foundations, engineering principles and societal values. Formal methods are central in our research and teaching activities.

Responsibilities 

  • You will be conducting scientific research at the international level, publishing your results in highly reputed conferences and journals.
  • You will be seeking opportunities to lead and participate in collaborative, funded research projects with academia and/or industry.
  • You will take part in the development of our research-based teaching portfolio at the bachelor, master, and PhD levels.
  • You will be responsible for the teaching of courses. DTU employs two working languages: Danish and English. Master and PhD courses are taught in English, while bachelor courses are taught in Danish and in English.  You are expected to be fluent in at least one of these languages, and in time are expected to master both.
  • You will contribute to the culture of collaboration at the department, and you will participate actively in joint activities aimed at developing the department and the section. 

Qualifications 

  • You are an active researcher both on the foundational side and on the application side of formal methods, witnessed by a publication record at the international level.
  • Your research focuses on quality aspects of software systems such as correctness, safety, security, performance and/or dependability.
  • You are recognized by the international research community as an expert in your field.
  • You are an expert in one or more of the following areas:
    • Quantitative / probabilistic aspects of formal methods
    • Quantitative / probabilistic aspects of programming languages
    • Program verification
  • You are genuinely curious about other people's research activities, and you like to explore research collaborations with colleagues inside and outside your network. 

As a formal qualification you must hold a PhD degree (or equivalent). If you are applying for the associate professor position you should also have academic qualifications equivalent to those obtained by holding an assistant professorship and documented didactic/pedagogic training. 

Further information

Further information may be obtained from Head of Section Alberto Lluch Lafuente (albl@dtu.dk). You are welcome to contact him before submitting the formal application. 

You can read more about DTU Compute’s section for Software Systems Engineering here and about DTU Compute at www.compute.dtu.dk. 

If you are applying from abroad, you may find useful information on working in Denmark and at DTU at DTU – Moving to Denmark. 

Application procedure

Please submit your online application no later than Wednesday, 15 May 2024 (23:59 Danish time)

To view the full announcement and to apply, click the 'Apply' button

Based on the collective agreement with the Danish Confederation of Professional Associations



  • Lyngby, Denmark Technical University of Denmark Full time

    Do you believe that formal methods are crucial to ensure high quality in software systems? Do you want to establish your career as a computer scientist in this area? Do you want to educate new generations of computer scientists and engineers in this area?  You might find your place as a new Associate Professor or Tenure-Track Assistant Professor in the...


  • Kongens Lyngby, Lyngby-Tårbæk Kommune, Denmark Technical University of Denmark Full time

    Do you believe that formal methods are crucial to ensure high quality in software systems? Do you want to establish your career as a computer scientist in this area? Do you want to educate new generations of computer scientists and engineers in this area? You might find your place as a new Associate Professor or Tenure-Track Assistant Professor in the...


  • Lyngby, Denmark Technical University of Denmark Full time

    The Department of Environmental and Resource Engineering at the Technical University of Denmark invites applications for a faculty position specializing in biological processes in wastewater treatment and resource recovery. Responsibilities and qualifications  Position Focus: Developing novel treatment technologies and strategies for wastewater treatment...


  • Lyngby, Denmark Technical University of Denmark Full time

    The Department of Environmental and Resource Engineering at the Technical University of Denmark invites applications for a faculty position specializing in biological processes in wastewater treatment and resource recovery. Responsibilities and qualifications  Position Focus: Developing novel treatment technologies and strategies for wastewater treatment...


  • Kongens Lyngby, Lyngby-Tårbæk Kommune, Denmark Technical University of Denmark Full time

    The Department of Environmental and Resource Engineering at the Technical University of Denmark invites applications for a faculty position specializing in biological processes in wastewater treatment and resource recovery.Responsibilities and qualifications Position Focus:Developing novel treatment technologies and strategies for wastewater treatment and...


  • Lyngby, Denmark Technical University of Denmark Full time

    Do you want to break new ground and push the boundaries of sustainability implementation in industry towards higher impact? If you want to work at the forefront of the new scientific revolution within Design for Sustainability, this is a job of high relevance for you. We are looking for two experienced Assistant Professors/Researchers working on the...


  • Lyngby, Denmark Technical University of Denmark Full time

    DTU invites applications for a position as Professor in Fish Nutritional Physiology and Bioenergetics. The position is affiliated with the National Institute of Aquatic Resources (DTU Aqua), Section for Aquaculture and is based at the institute’s locality in Hirtshals at the North Sea Science Park. The professor is expected to lead the research field of...

  • Professor in Fish Nutritional Physiology and Bioenergetics

    Found in: beBee jobs DK - 2 weeks ago


    Kongens Lyngby, Lyngby-Tårbæk Kommune, Denmark Technical University of Denmark Full time

    DTU invites applications for a position as Professor in Fish Nutritional Physiology and Bioenergetics. The position is affiliated with the National Institute of Aquatic Resources (DTU Aqua), Section for Aquaculture and is based at the institute's locality in Hirtshals at the North Sea Science Park.The professor is expected to lead the research field of fish...


  • Lyngby, Denmark Technical University of Denmark Full time

    Applications are invited for a DTU Tenure Track Researcher starting summer of 2024 within the field of shape and topology optimization at the Department of Civil and Mechanical Engineering, Technical University of Denmark (the TopOpt group). The project is funded through the Villum Investigator Project AMSTRAD granted by the Villum Foundation.  AMSTRAD is a...

  • Research Engineer

    Found in: beBee S DK - 3 weeks ago


    Kgs. Lyngby, Denmark Danmarks Tekniske Universitet (DTU) Full time

    The 4DMAP section seeks a Research Engineer / Senior Research Engineer to join our team on the project of capturing ultrafast electron and ion dynamics in batteries (ULTRABAT). The work will be focused on simulation methods for forward modelling of experimental X-ray data, as well as handling and analysis of X-ray data. Simulating, handling and analysing...

  • Research Engineer

    Found in: beBee S DK - 3 weeks ago


    Kongens Lyngby, Denmark Danmarks Tekniske Universitet Full time

    Simulating, handling and analysing state of the art x-ray data for ultrafast processes in novel battery materials The Ultrafast group at the 4DMAP section at DTU Physics seeks a Research Engineer / Senior Research Engineer to join our team on the project of capturing ultrafast electron and ion dynamics in batteries (UltraBat). The job The work will...


  • Kgs. Lyngby, Denmark Danmarks Tekniske Universitet (DTU) Full time

    Are you establishing your career as an STS-scholar and interested in engaging with the energy transition? If yes, we have the job for you. In the ERC-project ‘Good-by-Devicing’ you will help break new ground in collaboration with a research team in the Society, Market and Policy Section, DTU. If you are establishing your career as a social scientist...


  • Lyngby, Denmark Technical University of Denmark Full time

    Advanced materials are playing an ever-increasing role in many environmental applications, ranging from drinking water production, wastewater treatment, and pollutant management to energy production and resource recovery. Combining advanced materials with catalysis, structuring, and membrane processes offers a powerful tool for greener and more circular...


  • Lyngby, Denmark Technical University of Denmark Full time

    Are you the talented and passionate candidate looking for a unique opportunity to lead groundbreaking research and education that addresses critical environmental issues through cutting-edge environmental electrochemistry solutions? Here is the chance! We invite highly qualified applications for a Full Professor of Environmental Electrochemistry at one of...


  • Lyngby, Denmark Technical University of Denmark Full time

    Advanced materials are playing an ever-increasing role in many environmental applications, ranging from drinking water production, wastewater treatment, and pollutant management to energy production and resource recovery. Combining advanced materials with catalysis, structuring, and membrane processes offers a powerful tool for greener and more circular...


  • Lyngby, Denmark Technical University of Denmark Full time

    Are you the talented and passionate candidate looking for a unique opportunity to lead groundbreaking research and education that addresses critical environmental issues through cutting-edge environmental electrochemistry solutions? Here is the chance! We invite highly qualified applications for a Full Professor of Environmental Electrochemistry at one of...


  • Kongens Lyngby, Lyngby-Tårbæk Kommune, Denmark Technical University of Denmark Full time

    Advanced materials are playing an ever-increasing role in many environmental applications, ranging from drinking water production, wastewater treatment, and pollutant management to energy production and resource recovery. Combining advanced materials with catalysis, structuring, and membrane processes offers a powerful tool for greener and more circular...


  • Kongens Lyngby, Lyngby-Tårbæk Kommune, Denmark Technical University of Denmark Full time

    Are you the talented and passionate candidate looking for a unique opportunity to lead groundbreaking research and education that addresses critical environmental issues through cutting-edge environmental electrochemistry solutions? Here is the chance We invite highly qualified applications for a Full Professor of Environmental Electrochemistry at one of the...


  • Kongens Lyngby, Denmark Danmarks Tekniske Universitet Full time

    Are you a highly competent, ambitious, and hard-working young scientist wanting to excel in the exciting field of gas fermentation in one of the best foundations and collaboration schemes to accomplish this? Then this advertisement is for you. At DTU Chemical Engineering a PhD position is available in the frame of a research project funded by the Novo...


  • Kongens Lyngby, Denmark Danmarks Tekniske Universitet Full time

    If you are ready to begin your research career with a strong foundation in machine learning, and you are interested in developing spectral and multi-model data models within stem cell data science, this is your chance. In this collaboration, DTU, KU and the private company Bioneer are aiming to develop models and methods, with applications to stem cells...