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.
Established in 1928, Aarhus Universitet (Aarhus University) is a non-profit public higher education institution located in the urban setting of the small city of Aarhus (population range of 250,000-499,999 inhabitants), Central Denmark Region. Officially accredited and/or recognized by the Uddannelses- og Forskningsministeriet (Ministry of Higher Education and Science, Denmark), Aarhus Universitet (AU) is a very large (uniRank enrollment range: 35,000-39,999 students) coeducational higher education institution. Aarhus Universitet (AU) offers courses and programs leading to officially recognized higher education degrees in several areas of study. See the uniRank degree levels and areas of study matrix below for further details. This 91 years old higher-education institution has a selective admission policy based on students' past academic record and grades. International applicants are eligible to apply for enrollment.