❗️Job alert: multiple academic positions (postdoc, tenure-track assistant prof., tenured associate prof., DIAS Fellow) at the Centre for Formal Methods and Future Computing (FORM) in DK.
Links for applications below. 👇
Deadlines in January and February (check the details!).
Postdoc positions: https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/3329/
Deadline: 11 January 2026
Tenure-track Assistant Professor and Tenured Associate Professor positions: https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/3328/?keyword=Formal+methods
Deadline: 11 January 2026
DIAS Fellow position: https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/3442/
Deadline: 28 February 2026
DIAS Fellowships are prestigious tenure-track assistant professorships that come with a higher percentage of time for research.
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 ...
Please spread the word, and feel free to reach out if you have any questions!
Fabrizio Montesi ⬣ A➔B