Aarhus University is inviting candidates for a Postdoctoral Position at the Center for Basic Research in Program Verification for the academic session 2024/2025.
The postdoctoral position aims to advance research in the interactive verification of safety and liveness properties of distributed systems. Specifically, the role involves developing novel extensions of the Aneris program logic, with a strong emphasis on semantics, type theory, and Coq formalization.Aarhus University is renowned for its commitment to excellence in research, education, and innovation located in Denmark’s second-largest city. Established in 1928, it has grown into a leading academic institution globally recognized for its strong research programs across various disciplines, including the natural sciences, social sciences, and humanities. The university prides itself on fostering a dynamic learning environment that encourages critical thinking, creativity, and collaboration among students and faculty.
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.