The Centre for Formal Methods and Future Computing (FORM) and the Danish Institute for Advanced Study (DIAS) at the University of Southern Denmark (SDU, Campus Odense and Vejle) seek an outstanding candidate to fill a tenure track Fellow (Assistant Professor level) position in the field of Computer Science, with emphasis on formal methods and theorem proving. The candidate is expected to start in Autumn 2026, or as soon as possible thereafter. 

We are looking for a researcher with clear potential for research excellence who thrives in and is inspired by interdisciplinary collaboration. The ideal candidate will be expected to contribute to high-quality research in their field, collaborating on ambitious research programmes at FORM while embracing DIAS’s mission of curiosity-driven inquiry and interdisciplinary dialogue. The successful candidate should have a strong and promising research profile, with potential for attracting external research funding, and a demonstrated ability to work across disciplines. The candidate will be attached to both FORM (hosted by the Department of Mathematics and Computer Science) and DIAS and should be prepared to engage in multiple and diverse research environments at SDU.  

Who are we looking for 
We seek a researcher with expertise in the field of formal methods and programming, who is eager to develop their research career within the DIAS framework. The ideal candidate should demonstrate:  

• A commitment to engaging in boundary-crossing interdisciplinary research and dialogue. 

• A strong commitment to interdisciplinary collaboration, contributing to research that bridges multiple fields.  

• Strong interest in driving internationally competitive research activities at the highest level of ambition.  

• Engagement in various forms of research dissemination, including interdisciplinary research and dialogue.  

Qualifications 
Successful applicants must:  

• Hold a PhD or similar qualifications within relevant fields of Computer Science or Mathematics. 

• Exhibit curiosity-driven research excellence, thinking beyond traditional boundaries.  

• Be fluent in English. 

• Show potential for attracting external research funding. Experience in applying for external funding and a strong international network, are considered comparative advantages. 

• Have research publications that demonstrate their excellence and broad thinking. 

The Danish Institute for Advanced Study (DIAS) 
DIAS at SDU is a hub for interdisciplinary excellence at and beyond the frontier of knowledge, bringing together outstanding researchers from various disciplines to foster groundbreaking interdisciplinary research and bold innovation. DIAS nurtures a collaborative and curiosity-driven environment, encouraging scholars to think outside the box and challenge conventional boundaries. The institute values open-minded exploration and an ambitious yet collegial atmosphere with a strong sense of community. Researchers affiliated with DIAS are expected to contribute actively to DIAS activities, and engage in interdisciplinary collaborations across faculties and departments, both nationally and internationally.   

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 player in CSlib’s steering and technical leadership. 

Hosting department 
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 for starting independent research groups. 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 

 The 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. More information about the department can be found at https://imada.sdu.dk/. 

Application deadline: 28 February at 23:59 hours local Danish time

Please see the full call, including how to apply, on https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/da/sites/CX_1001/job/3442/?utm_medium=jobshare