DIAS Fellow (tenure-track assist. prof.) in Formal Methods

Stream: job postings

[Fabrizio Montesi]

We're looking for a DIAS Fellow at the Centre for Formal Methods and Future Computing (FORM).

DIAS (Danish Institute for Advanced Study) Fellow positions are (tenure-track) Assistant Professorships that come with the privilege of a higher percentage of research time for the duration of the assistant professorship (up to 6 years). The hired candidate would join FORM (sdu.dk/form), where we work on CS formalisation projects connected to Lean and CSLib, and DIAS' society of fellows, which offers a forum for interdisciplinary discussions and career coaching.

Apply at https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/3442/
Deadline: 28 February 2026

[Fabrizio Montesi]

Last reminder that this call closes tomorrow!