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 Universitet. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus Universitet. The focus of the position will be on 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.
- An established strong record of publications in the areas of programming languages, logic, 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 15, 2026, at 23:59 (CET).
Applicants are encouraged to submit a research statement and a letter of recommendation as part of the application.
Contact information
For further information, please contact Associate Professor Andreas Pavlogiannis at pavlogiannis@cs.au.dk.
Application procedure
Shortlisting is used. After the deadline for applications, and with 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 themselves.
Formalities and salary range
Natural Sciences refers to the Ministerial Order on the Appointment of Academic Staff at Danish Universities under the Danish Ministry of Science, Technology, and Innovation.
The application must be in English and include a curriculum vitae, a degree certificate, a complete list of publications, a statement of future research plans, information about research activities, a teaching portfolio, and verified information on previous teaching experience (if any). Guidelines for applicants can be found here.
Appointment shall be in accordance with the collective labour agreement between the Danish Ministry of Taxation and the Danish Confederation of Professional Associations. Further information on qualification requirements and job content may be found in the Memorandum on Job Structure for Academic Staff at Danish Universities.
Salary depends on seniority as agreed between the Danish Ministry of Taxation and the Confederation of Professional Associations.
Aarhus Universitet's ambition is to be an attractive and inspiring workplace for all, and to foster a culture in which each individual has opportunities to thrive, achieve, and develop. Aarhus Universitet views equality and diversity as assets, and Aarhus Universitet welcomes all applicants.
Research activities will be evaluated in relation to actual research time. Thus, Aarhus Universitet encourages applicants to specify periods of leave without research activities in order to subtract these periods from the span of the scientific career during the evaluation of scientific productivity.
Aarhus Universitet offers a broad variety of services for international researchers and accompanying families, including relocation service and career counselling to expat partners. Read more here. Please find more information about entering and working in Denmark here.
Aarhus Universitet also offers a Junior Researcher Development Programme targeted at career development for postdocs at AU. You can read more about it here.
At the Faculty of Natural Science at Aarhus Universitet, Aarhus Universitet strives to support Aarhus Universitet's scientific staff in their career development. Aarhus Universitet focuses on competency development and career clarification, and Aarhus Universitet wants to make your opportunities transparent. On Aarhus Universitet's website, you can find information on all types of scientific positions, as well as the entry criteria Aarhus Universitet uses when assessing candidates. You can also read more about how Aarhus Universitet can assist you in your career planning and development.
The application must be submitted via Aarhus Universitet's recruitment system, which can be accessed under the job advertisement on Aarhus Universitet's website.
