PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University Full-time

Postdoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus University

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 projects.
• Publish research findings in top-tier conferences and journals in computer science and related fields.
• Participate in academic activities such as seminars, workshops, and conferences to stay informed of the latest developments in the field.

Required Qualifications:

• Ph.D. in computer science or similar.
• Established strong record of publications in the areas of programming languages, logic and verification, and algorithms
• Excellent communication and interpersonal skills with the ability to work effectively in a collaborative research environment.
• Strong organizational and time-management skills, with the ability to prioritize tasks and meet project deadlines effectively.
• Ability to work independently and demonstrate initiative in formulating and executing own research projects.

Application deadline August 15th, 2026 at 23.59 (CET)

Applicants are encouraged to submit a research statement and a letter of recommendation as part of the application.

For further information, please contact Associate Professor Andreas Pavlogiannis at pavlogiannis@cs.au.dk