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

Post Doc Positions For The Center For Basic Research In Program Verification (Cpv)

The Department of Computer Science, Aarhus University invites applications for postdocs. Supported by a generous ERC Advanced Grant and a Villum Investigator Grant from Villum Fonden we have several postdoc 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 iris-project.org), e.g., 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. The ideal candidate has working knowledge of the Iris higher-order concurrent separation logic framework and in one or more of the topics covered by CPV (see above). The tasks of the postdoc consists of doing research on interactive verification of safety and security properties of challenging software systems.

We offer full-time (37 hours/week) two-year postdoc positions. The starting date is December 1, 2026, or as soon as possible thereafter.

Place Of Work

The place of work is Department of Computer Science at Aarhus University. We are located at Åbogade 34, 8200 Aarhus.

Contact Information

Interested candidates are welcome to contact Professor Lars Birkedal via birkedal@cs.au.dk.

Deadline

All applications must be received no later than 1 September 2026.

Application Procedure

Shortlisting is used. This means that after the deadline for applications – and with the assistance from the assessment committee chairman, and the appointment committee if necessary, – the head of department selects the candidates to be evaluated. All applicants will be notified whether or not their applications have been sent to an expert assessment committee for evaluation. The selected applicants will be informed about the composition of the committee, and each applicant is given the opportunity to comment on the part of the assessment that concerns him/her self.

The application must be in English and include a curriculum vitae, degree certificate, a complete list of publications, a statement of future research plans and information about research activities, teaching portfolio and verified information on previous teaching experience (if any). Appointment shall be in accordance with the collective labour agreement between the Danish Ministry of Taxation and the Danish Confederation of Professional Associations. Salary depends on seniority as agreed between the Danish Ministry of Taxation and the Confederation of Professional Associations.