The University of Southern Denmark (SDU) is now accepting applications for the DIAS Fellow in Formal Methods and Future Computing. This competitive fellowship offers a unique opportunity for talented researchers to join a vibrant interdisciplinary environment at FORM and DIAS.

Eligibility requires applicants to hold a PhD in Computer Science, Mathematics, or a related field, along with a strong research profile and publications. Candidates must demonstrate curiosity-driven research potential, capacity for interdisciplinary collaboration, and the ability to attract external funding.

The University of Southern Denmark (SDU) is a leading research-intensive institution established in 1966, known for its strong international outlook and innovative academic environment. With over 27,000 students and campuses across Odense, Slagelse, Kolding, Esbjerg, and Sønderborg, SDU offers a wide range of programs across humanities, social sciences, natural sciences, health sciences, and engineering.

Application Deadline: 03 January 2026

Brief Description

• University or Organization: University of Southern Denmark (SDU), Danish Institute for Advanced Study (DIAS), and FORM
• Department: Department of Mathematics and Computer Science (Section: Artificial Intelligence, Cybersecurity, and Programming Languages ACP)
• Course Level: Tenure-Track Fellow / Assistant Professor (Research Position)
• Award: Research
• Access Mode: Online application
• Number of Awards: 1
• Nationality: Domestic and international
• The award can be taken in: Denmark 

Eligibility

• Eligible Countries: Applicants from all countries are welcome.
• Acceptable Course or Subjects: The fellowship will be awarded in Computer Science or Mathematics with emphasis on formal methods, theorem proving, programming languages, or related research areas offered by the University.
• Admissible Criteria: To be eligible, applicants must meet the following criteria:
  • Hold a PhD (or equivalent) in Computer Science, Mathematics, or relevant fields.
  • Demonstrate a strong research profile with potential for curiosity-driven, interdisciplinary excellence.
  • Show clear potential for attracting external research funding.
  • Provide evidence of relevant research publications and contributions.
  • Be fluent in English.
  • Display motivation for interdisciplinary collaboration and engagement with DIAS activities.
  • Submit all required documents, including motivation letter, CV, research plan, publication list, teaching portfolio, and up to 5 key publications.

How to Apply

Applicants must submit their complete application electronically via the official “Apply online” link provided in the SDU job posting. All documents must be in PDF format and written in English. The application must include:
• Motivation letter (max 2 pages)
• Detailed CV
• Research and funding plan (max 4 pages)
• Certificates and diplomas
• Complete list of publications
• Up to 5 relevant research articles
• Teaching portfolio
Late or incomplete applications will not be considered.

Benefits

• Tenure-track Assistant Professor position with a guaranteed assessment for associate professorship.
• Approximately 50% reduced teaching obligations, allowing greater focus on research.
• Access to world-class interdisciplinary research environments at DIAS and FORM.
• Opportunities for collaboration with leading research groups and international networks.
• Support for developing independent research programs and leadership activities.
• Inclusive and international working environment with state-of-the-art facilities.

Apply Now