Multiple Postdoc and Faculty Positions at FORM (DK)

Stream: job postings

[Fabrizio Montesi]

Initially announced together with the FORM opening announcement here (I hadn't noticed this channel before):
#announce > FORM Research Centre and Academic Jobs on CS Formalisation @ 💬

We have multiple postdoc, (tenure-track) assistant professor, and (tenured) associate professor positions in formal methods/computer science at the Centre for Formal Reasoning and Future Computing in Denmark. The deadline is approaching (11 January 2026) but the application process is pretty lightweight.

This is part of a big build-up in formal methods with the objective of pushing for several formalisation programmes related to computer science -- more announcements for different positions coming soon.

Apply at:

• Postdoc positions: https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/3329/?keyword=Formal+methods
• Prof. positions: https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/3328/?keyword=Formal+methods