PostDoc Position on Algorithmic Verification of Concurrent Systems at Computer Science, Aarhus Un...

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.

• 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.
  
  

• 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.
  
  

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

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.

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, 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). 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 University’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. We view equality and diversity as assets, and we welcome all applicants.

Research activities will be evaluated in relation to actual research time. Thus, we encourage applicants to specify periods of leave without research activities, in order to be able to subtract these periods from the span of the scientific career during the evaluation of scientific productivity.

Aarhus University 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 University 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 University, we strive to support our scientific staff in their career development. We focus on competency development and career clarification and want to make your opportunities transparent. On our website, you can find information on all types of scientific positions, as well as the entry criteria we use when assessing candidates. You can also read more about how we can assist you in your career planning and development.

The application must be submitted via Aarhus University’s recruitment system, which can be accessed under the job advertisement on Aarhus University's website.