Post Doc position for The Center for Basic Research in Program Verification

6 months ago


Aarhus, Denmark Aarhus University Full time
The Center for Basic Research in Program Verification (CPV) seeks a postdoc to work on the DFF funded project Tools for Modular Verification of Distributed Systems.
 
This is a fixed-term position, starting date is: October 1. 2024, and the position runs for two years, , until September 31. 2026. 


Tasks and Qualifications: 

Applicants are expected to have a strong background in semantics, type theory, and Coq formalization; in particular, working knowledge of the Iris higher-order concurrent separation logic framework is expected. The ideal candidate also has working knowledge of Aneris, an extension of Iris developed to reason about distributed systems.

The tasks of the postdoc consists of doing research on interactive verification of safety and liveness properties of distributed systems; in particular, to develop novel extensions of the Aneris program logic.


Place of work:

The place of work is Department of Computer Sciene at Aarhus University. We are located at Åbogade 34, 8200 Aarhus.


Contact information:

Questions regarding the position should be directed to Professor Lars Birkedal or Center Manager Henriette G. Farup.

Application procedure

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. Once the recruitment process is completed a final letter of rejection is sent to the deselected applicants.


Letter of reference

If you want a referee to upload a letter of reference on your behalf, please state the referee’s contact information when you submit your application. We strongly recommend that you make an agreement with the person in question before you enter the referee’s contact information, and that you ensure that the referee has enough time to write the letter of reference before the application deadline. Unfortunately, it is not possible to ensure that letters of reference received after the application deadline will be taken into consideration.


Formalities and salary range

Natural Sciences refers to the .

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

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 .

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 . Please find more information about entering and working in Denmark .

Aarhus University also offers a Junior Researcher Development Programme targeted at career development for postdocs at AU. You can read more about it .

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


  • Aarhus, Denmark Aarhus Universitet (AU) Full time

    Exciting job at a top research department for quantitative genetics and genomics at Aarhus University. The Center for Quantitative Genetics and Genomics is seeking applicants for a Post Doc position in the field of breeding plans and breeding goal for organic production. Expected start date and duration of employment This is a 2-year position from January...

  • Postdoc in aerobiology

    6 months ago


    Aarhus, Denmark Aarhus University Full time

    The Department of Environmental Science at Aarhus University (AU-ENVS), Roskilde, invites applications for a 2 year position in aerobiology with a possibility for an extension up to additional years. The main task is to carry out research on air samples using molecular methods. The position is to be filled by October 1, 2024 or as soon as possible...


  • Aarhus, Denmark Aarhus Universitet Full time

    Three-year Assistant Professor position in animal breeding plan research The Center for Quantitative Genetics and Genomics (QGG), Aarhus University seeks an assistant professor to work in the area of breeding plan under both conventional and organic production systems in livestock, and insects for food and feed. The position is for three years, begins on 01...


  • Aarhus, Denmark Aarhus University Full time

    Applications are invited for a 2-year post doc position in Daan van Aalten laboratory at the Department of Molecular Biology and Genetics, Aarhus University, Denmark. Expected start date and duration of employment This is a 2-year position starting from 15 November 2024. The position is fixed-termed and ends on 14 November 2026. Job description ...


  • Aarhus, Denmark Aarhus University Full time

    We are searching for creative and innovative minds who want to conduct cutting-edge research and push the boundaries of HCI in one or multiple of the following areas: digital fabrication bio-sensors and health-related interfaces sensing techniques printed electronics wearables smart fibers sustainable fabrication other related topics The...


  • Aarhus, Denmark Aarhus Universitet Full time

    Department of Clinical Medicine - Medical Research Laboratory - Faculty: Health Postdoc in immunometabolism and diabetic complications Deadline 6 Jan 23:59 CET Expected start 1 Mar Department of Clinical Medicine - Medical Research Laboratory Palle Juul-Jensens Boulevard 165 8200 Aarhus N Fixed term full-time position 1 Mar 2025 - 28 Feb 2027 ID: 16971 The...


  • Aarhus, Denmark Aarhus Universitet (AU) Full time

    The Department of Biology at Aarhus University, Denmark, invites applications for a position as Professor in Environmental DNA (eDNA). The position is to be filled by January 1, 2025, or as soon as possible thereafter, subject to negotiation. The Position Environmental DNA (eDNA) is increasingly being used in both fundamental and applied biological research....


  • Aarhus, Denmark Aarhus University Full time

    Applications are invited for a one-year post doc. position at the Department of Electrical and Computer Engineering at Aarhus University. This position is for the project “AI-supported Modular Design and Implementation” supported by Thomas B. Thriges Foundation and the Industriens Foundation with cooperating partners from DTU and industrial...


  • Aarhus, Denmark Aarhus Universitet (AU) Full time

    The Department of Biology at Aarhus University, Denmark, invites applications for a position as Professor in Plant Evolution and Biodiversity. The position is to be filled by January 1, 2025, or as soon as possible thereafter, subject to negotiation. The Position This position aims to enhance the Department’s research profile in plant evolution and...


  • Aarhus, Denmark Aarhus Universitet Full time

    School of Communication and Culture - Digital Design and Information Studies, Dept. of - Faculty: Arts Postdoctoral Position in Interaction Design Research Deadline 22 Jan 23:59 CET Expected start 1 Jun School of Communication and Culture - Digital Design and Information Studies, Dept. of Helsingforsgade 14 8200 Aarhus N Fixed term full-time position 1 Jun...


  • Aarhus, Denmark Aarhus Universitet Full time

    A geophysicist is wanted for the Department of Geoscience Deadline: 10 Jan 2025, 23:59 CET Expected start: 1 Mar 2025 Department of Geoscience, Høegh-Guldbergs Gade 2, 8000 Aarhus C Fixed term full-time position: 1 Mar 2025 - 28 Feb 2027, ID: 16785 At the Department of Geoscience, Hydrogeophysics group, a position as academic employee is available for...


  • Aarhus, Denmark Aarhus Universitet (AU) Full time

    Applications are invited for a 2-year postdoctoral position in the field of exoplanets and their host stars at the Department of Physics and Astronomy, Aarhus University, Denmark. The position will be open for start-dates in early 2025. Expected start date and duration of employment This is a 2-year position with a negotiable start date of 01.03.2025. Job...


  • Aarhus, Denmark Aarhus Universitet (AU) Full time

    The Department of Philosophy and History of Ideas, School of Culture and Society, Faculty of Arts, Aarhus University invites applications for two fixed-term postdoctoral positions in philosophy, each lasting two to three years. The positions are full-time (37 hours/week) and begin on 01.01.2025 or as soon as possible thereafter. Aarhus University is keen for...


  • Aarhus, Denmark Aarhus University Full time

    The Department of Business Development and Technology () at Aarhus BSS, Aarhus University invites applications for postdoctoral positions in Artificial Intelligence and Data Science. The position is fixed-term full-time employment (one year). The starting date is 1. November 2024 (or as agreed upon). Job description The position is an interesting...


  • Aarhus, Denmark Uag Full time

    The Center for Humanities Computing (CHC) at the School of Culture and Society, Aarhus University, is seeking to strengthen and expand its research in the rapidly growing field of Computational Humanities. We invite applications for a temporary, part-time senior researcher position (10% of full-time, equivalent to 3.7 hours per week), with the potential for...


  • Aarhus, Denmark Aarhus University Full time

    The Center for Quantitative Genetics and Genomics (QGG), Aarhus University, seeks a data science postdoc to develop novel methods and related software tools for the analysis of data from poulations with multiple ancestral genetic origins (genetically admixed populations). The position begins on 1 September 2024 or as soon as possible thereafter. The position...


  • Aarhus, Denmark Aarhus Universitet (AU) Full time

    The research groups of Merete Bilde and Tobias Weidner within the Center for Chemistry of Clouds (C3) at Aarhus University seek to hire two postdocs for a joint project. As a postdoc within this project, you will study the role of aerosol surface chemistry for the formation of clouds with implications for climate and ecosystems research. For this unique...


  • Aarhus, Denmark Aarhus University Full time

    Applications are invited for a three-year assistant professor position in legume genetics at the Center for Quantitative Genetics and Genomics, Aarhus University, Denmark. Expected start date The position is available from October 15 2024 or as soon as possible thereafter. Job description We are seeking an assistant professor to develop an...


  • Aarhus, Denmark Aarhus University Full time

    Aarhus BSS Graduate School, Aarhus University invites applicants for a PhD Scholarship in connection with the research project "Estimating the impact of Debt Relief" at the PhD Programme Economics and Business Economics The position is available from 1. september 2024 (or as soon as possible thereafter). The research project This research project aims...


  • Aarhus, Denmark Aarhus University Full time

    Center for Grundtvig Studies and the School of Culture and Society, Aarhus University, invites applications for a full time position of 37 hours weekly as Research Assistant in Digital Textual Heritage. The position is a temporary position, running for two years commencing September 1, 2024. Place of employment: Aarhus University, Center for Grundtvig...