Postdoc positions for the Center for Basic Research in Program Verification

Aarhus University is seeking postdoctoral researchers for the Center for Basic Research in Program Verification. Supported by ERC and Villum Investigator Grants, the research will cover topics such as higher-order concurrent separation logics, probabilistic program logics, and formal modeling of capability machines. Candidates should have a strong background in semantics and type theory, with knowledge of the Iris framework preferred. The positions are full-time, fixed-term for two years, starting December 1, 2026. Applications must be submitted in English by September 1, 2026.