Postdoc Positions in Computer Science (Formal Methods)

The Centre for Formal Methods and Future Computing (FORM) at the Department of Mathematics and Computer Science, University of Southern Denmark (SDU, Campus Odense or Vejle) invites applications for postdoctoral fellowships in computer science with emphasis on the area of formal methods, in connection with topics that include (but are not limited to) computational complexity, distributed systems, human factors, logic, programming languages, or security. The positions can have a duration of up to 4 years. The targeted starting period is late autumn 2026, with room for flexibility.

About FORM
FORM is a new initiative, created with the ambition to lead the formalisation of key areas of computing in a universal repository of knowledge and tools verified by proof assistants. Our vision is to unlock the combined potential of humans and artificial intelligence (AI) for the rapid and reliable construction of digital systems, guided by rigorous mathematical foundations. Our current main instrument to pursue this ambition is the Computer Science Library (CSlib) in the Lean programming technology. CSlib is a global effort carried out in collaboration with world-leading stakeholders, and FORM is a key founding player in CSlib’s steering and technical leadership.

Whom we are looking for
We are looking for candidates who possess (or are nearing completion of) a PhD in Computer Science or Mathematics. An ideal candidate has a research track record at a high international level (reflecting the academic age of the applicant) and experience in theory, development, or usage of formal methods.

Fluency in English is required.

Hosting environment
FORM is embedded in the Section of Artificial Intelligence, Cybersecurity, and Programming Languages (ACP), an elite cluster of research groups that fosters collaboration, research excellence, and quality education. FORM and ACP offer ample opportunities for collaboration, personal growth, and mentoring. The section’s current research covers a wide range of areas and topics that include symbolic AI and formal methods (logic, theorem provers, type systems, categories, etc.), concurrent programming languages (choreographic programming, session types, etc.), distributed computing (cloud computing, microservices, etc.), Dev(Sec)Ops, software engineering (software product lines), human factors in security and privacy, post-quantum and embedded cryptography, and quantum programming languages.

The section is part of the Department of Mathematics and Computer Science, and other research sections at the department are

• Algorithms
• Computational Science
• Data Science and Statistics
• Geometry, Topology and Algebra
• Learning Experience Design

Our department offers an inclusive and international working environment with state-of-the-art facilities and strong traditions for collaboration across research groups, departments and faculties, and with other organisations like educational institutions, municipalities, and companies. The degrees offered by the department include BSc and MSc degrees in Computer Science, a BSc degree in Artificial Intelligence, and an MSc degree in Data Science. More information about the department can be found at https://imada.sdu.dk/.

Application deadline
16 August 2026 at 23:59 hours local Danish time

Please see the full call, including how to apply, on www.sdu.dk