PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University
Aarhus, Central Denmark Region, Denmark • Posted June 17, 2026
Role Description
Role Description
This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position will be in developing new techniques for testing and verifying modern highly concurrent systems, such as weak-memory architectures and highly-distributed databases. The position is also open, to some extent, to be shaped around the interests of the applicant.
Responsibilities
Collaborate with faculty members and fellow researchers to produce research results on the research topic.
Provide guidance and mentorship to graduate and undergraduate students working on related research proj...
Interested in this role?
Click the button below to start your application for PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University at Aarhus University.
Apply Now