📢 Job Alert: PhD and PostDoc positions at the Centre for Formal Methods and Future Computing (FORM) in Denmark.
📅 Application deadline: 2026-08-16 (CEST)
👉 Apply here (PhD): https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/4058/
👉 Apply here (PostDoc): https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/4076/
If you are interested in projects on programming languages and distributed systems, with a focus on foundations and formalisation, feel free to get in touch.



