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) postdoc positions of 1-3 years. The starting date is December 1, 2025 or as soon as possible thereafter.
Applications for PhD students, please see here: https://phd.nat.au.dk/for-applicants/apply-here
The place of work is Department of Computer Science at Aarhus University. We are located at Åbogade 34, 8200 Aarhus.
#AU#Aarhus#AarhusUniversity#StudyinDenmark WorkinDenmark#Researchjobs#Teachingjobs#Academicjobs #NordicAcademicjobs#phd#postdoc#NordicHE#NordicResearch#NordicCentreinIndia
