Aarhus University is offering Postdoctoral and PhD Positions at the Center for Basic Research in Program Verification (CPV) at Department of Computer Science. The positions are supported by an ERC Advanced Grant and a Villum Investigator Grant, with research focusing on program verification, semantics, type theory, Rocq formalization, and related areas.

Applicants should have a strong academic background in semantics, type theory, and Rocq formalization, with working knowledge of the Iris higher-order concurrent separation logic framework considered an advantage. Postdoc candidates must hold a PhD in a relevant field, while PhD applicants should meet the entry requirements of Aarhus University’s PhD School. The positions are open to talented researchers of all nationalities with a strong interest in program verification and related areas.

Founded in 1928, Aarhus University is one of Denmark’s leading research-intensive universities and consistently ranks among the world’s top institutions. Located in the vibrant city of Aarhus, it offers a wide range of programs across natural sciences, humanities, health, business, and social sciences. The university is known for its strong international outlook, interdisciplinary research, and close collaboration with industry and society.

Application Deadline: 22 September 2025

Brief Description

• University or Organization: Aarhus University

• Department: Department of Computer Science

• Course Level: Postdoctoral and PhD positions

• Award: Fully funded, full-time positions (salary according to Danish regulations)

• Access Mode: Online application

• Number of Awards: Several

• Nationality: Domestic and international

• The award can be taken in: Denmark

Eligibility

• Eligible Countries: All nationalities are welcome to apply.

• Acceptable Course or Subjects: The positions are offered within the Department of Computer Science at Aarhus University, focusing on program verification, semantics, type theory, Rocq formalization, and related fields.

• Admissible Criteria:

  • Applicants must have a strong background in semantics, type theory, and Rocq formalization.

  • Knowledge of the Iris higher-order concurrent separation logic framework is highly desirable.

  • PhD applicants should meet the entry requirements of Aarhus University’s PhD School.

  • Postdoc applicants should hold a PhD degree and demonstrate strong research capacity in relevant fields.

How to Apply

Applications must be submitted online via Aarhus University’s recruitment system. Required documents include:

• Curriculum Vitae (CV)

• Degree certificate

• Complete list of publications

• Statement of future research plans

• Information about research activities

• Teaching portfolio (if any)

Benefits

• Fixed-term full-time postdoctoral positions (1–3 years) with competitive salary.

• PhD positions fully funded through Aarhus University’s PhD programme.

• Access to Aarhus University’s relocation services, career counselling, and Junior Researcher Development Programme.

• Opportunity to work on cutting-edge research topics such as concurrent separation logics, program logics, secure compilation, and type theory.

• International and collaborative research environment with world-class researchers.

Apply Now