Post Doc positions for the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University • Aarhus, Central Denmark Region, Denmark • Posted June 27, 2026

Location Aarhus, Central Denmark Region

Job Type Full-time position

Category Postsecondary Teachers

Posted June 27, 2026

The Department of Computer Science, Aarhus University invites applications for postdocs.
Supported by a generous ERC Advanced Grant and a from Villum Fonden we have several postdocs positions in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University.
The research topics at the Center for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see ), , to reason about distributed systems; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics for relaxed memory models; guarded cubical type theory; and Rocq formalizations.
Tasks and Qualifications
Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization. T...
            

Interested in this role?

Click the button below to start your application.

Apply Now