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.
-
Award
-
Application Process
-
Clarity of Information
User Review
( votes)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.
Application Deadline: July 12, 2024
Brief Description
- University or Organization: Aarhus University
- Department: Computer Science, Center for Basic Research in Program Verification (CPV)
- Course Level: Postdoctoral
- Award: Fixed-term full-time position
- Access Mode: Online
- Number of Awards: NA
- Nationality: International
- The award can be taken in: Denmark
Eligibility
- Eligible Countries: All nationalities
- Acceptable Course or Subjects: Any subject offered by Aarhus University
- Admissible Criteria: Applicants must meet the following criteria:
- Hold a PhD in Computer Science or related field.
- Strong background in semantics, type theory, and Coq formalization.
- Proficiency in Iris and preferably Aneris.
- Ability to conduct independent research and contribute to collaborative projects.
How to Apply
Interested candidates should apply through Aarhus University’s recruitment system by the deadline of July 12, 2024, 23:59 CEST. Applications must include a curriculum vitae, degree certificate, list of publications, statement of future research plans, information about research activities, teaching portfolio, and details of previous teaching experience if applicable.
Benefits
The position offers competitive remuneration as per the collective labor agreement, commensurate with qualifications and experience. Aarhus University provides support services for international researchers and their families, including relocation assistance and career counseling.
For more information regarding the application process, please visit Aarhus University’s website or contact Professor Lars Birkedal ([email protected]) for inquiries about the position.