Postdoctoral Researcher in Distributed Systems Verification

23 hours ago


Århus, Århus Kommune, Denmark Aarhus University Full time
Job Description

Aarhus University is seeking a highly skilled postdoctoral researcher to work on the DFF funded project Tools for Modular Verification of Distributed Systems.

Company Overview

The Center for Basic Research in Program Verification (CPV) at Aarhus University is a leading research group in the field of formal verification. Our team is dedicated to developing innovative tools and techniques for verifying complex systems.

Salary

The estimated salary for this position is between 45,000 and 55,000 euros per year, depending on seniority.

Job Responsibilities
  • Conduct research on interactive verification of safety and liveness properties of distributed systems
  • Develop novel extensions of the Aneris program logic
Required Skills and Qualifications

To be successful in this role, you will need:

  • A strong background in semantics, type theory, and Coq formalization
  • Working knowledge of the Iris higher-order concurrent separation logic framework
  • Experience with Aneris, an extension of Iris developed to reason about distributed systems
Benefits

Aarhus University offers a range of benefits to its employees, including:

  • A competitive salary and pension package
  • A comprehensive health insurance scheme
  • Access to our state-of-the-art research facilities
  • Opportunities for career development and professional growth
Others

This is a fixed-term position, starting on October 1, 2024, and running for two years until September 31, 2026. The place of work is the Department of Computer Science at Aarhus University. Questions regarding the position should be directed to Professor Lars Birkedal or Center Manager Henriette G. Farup.



  • Århus, Århus Kommune, Denmark Aarhus University Full time

    About the Position:The Center for Basic Research in Program Verification at Aarhus University is seeking a Postdoctoral Researcher to work on the DFF funded project Tools for Modular Verification of Distributed Systems.This is a fixed-term position that involves doing research on interactive verification of safety and liveness properties of distributed...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Postdoctoral Researcher in Program VerificationAarhus University's Department of Computer Science is seeking a highly qualified postdoctoral researcher to join our team in the field of program verification. The successful candidate will work on developing novel extensions of the Aneris program logic, with a focus on interactive verification of safety and...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Join us at Aarhus University as a Postdoctoral Researcher in Energy Storage Systems. We are seeking a highly qualified individual with a strong background in electrical engineering and power electronics to contribute to our research project on the development of next-generation power converter systems for energy storage applications. The successful candidate...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Company OverviewAarhus University is a leading international university with research and education of the highest quality. The Department of Electrical and Computer Engineering is part of this vibrant academic community.SalaryThe salary for the position will be based on the collective agreement between the Danish Ministry of Taxation and the Danish...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Job DescriptionAarhus University's Department of Agroecology is seeking a highly motivated postdoctoral researcher to join our team in agricultural micrometeorology and greenhouse gas emissions. The successful candidate will contribute to the SmartField project, a research and development platform focused on advanced monitoring, reporting, and verification...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Job DescriptionAarhus University invites applications for a 2-year postdoctoral research position in aerobiology, with a possibility for extension. The main task is to conduct research on air samples using molecular methods.Research ProjectThe position is part of the 7-year project "High Resolution Detection and Modelling of Pollen and Spores", funded by the...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Aerobiology Research Position at Aarhus UniversityThe Department of Environmental Science at Aarhus University invites applications for a postdoctoral research position in aerobiology. The main task is to conduct research on air samples using molecular methods.About the ProjectThis position is part of the 7-year project 'High resolution detection and...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Job DescriptionThe Danish School of Education at Aarhus University invites applications for a postdoctoral research position in the field of education history. The successful candidate will work on a project investigating the history of education in Denmark from 1945 to 1975.Research ContextThe project aims to examine how utopias, ideas, and visions of the...


  • Århus, Århus Kommune, Denmark Aarhus Universitet (AU) Full time

    Join Our Team as a Postdoctoral Researcher in MathematicsAarhus University, a top 100 university, is seeking top early-career researchers for a number of attractive two to three year postdoctoral positions within Mathematics & Statistics. The positions have a competitive salary, starting at DKK 36,500 and DKK 40,600 (euro approx. 4,890 – 5,440) + pension...


  • Århus, Århus Kommune, Denmark Aarhus Universitet (AU) Full time

    The Department of Chemistry at Aarhus University invites applications for two postdoctoral positions in the field of aerosol chemistry and cloud formation. The successful candidates will join a dynamic research environment and contribute to a joint project focused on understanding the role of aerosol surface chemistry in cloud formation.The project aims to...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Are you a skilled researcher with a passion for aerosol modelling and Earth system science? We invite applications for a postdoctoral research position at Aarhus University, where you will join a team of experts in atmospheric modelling.About the PositionThis is a 2-year postdoctoral research position that offers an exciting opportunity to work on a...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Research Position in Qualitative Design ResearchThe Department of Digital Design & Information Studies at Aarhus University invites applications for a postdoctoral research position in qualitative design research. The successful candidate will be part of a research project investigating the design of smart garment-based wearables for shared management of...


  • Århus, Århus Kommune, Denmark Aarhus Universitet (AU) Full time

    Postdoctoral Researcher OpportunityThe Department of Mathematics at Aarhus University is seeking a postdoctoral researcher to join our team. As a postdoctoral researcher, you will have the opportunity to work with a highly collaborative and dynamic team of researchers in the areas of mathematics and statistics.Your primary responsibilities will include...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    About Aarhus UniversityAarhus University is a premier research-intensive university in Denmark, dedicated to advancing knowledge and fostering innovation. Our department of Ecoscience is renowned for its cutting-edge research in aquatic biology and ecology, with a strong focus on marine mammal research.Job DescriptionWe are seeking an exceptional...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Aarhus University's Department of Agroecology is seeking a highly skilled postdoctoral researcher to contribute to the SmartField project. This project aims to develop a research and development platform for advanced monitoring, reporting, and verification of greenhouse gas emissions, particularly nitrous oxide.The selected applicant will join a diverse,...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Job DescriptionThe Department of Biology at Aarhus University invites applications for a 2-year postdoctoral position in the field of vegetation-climate interactions. The successful candidate will be part of the newly established Center for Ecological Dynamics in a Novel Biosphere (ECONOVO), funded by the Danish National Research Foundation.Research FocusThe...


  • Århus, Århus Kommune, Denmark Aarhus Universitet (AU) Full time

    Aarhus University is seeking a highly motivated Postdoctoral Researcher to join its Department of Management. The successful candidate will contribute to the INFOODMATION research project, exploring how media and marketing influence food consumption.Job DescriptionThis is a 2.5-year postdoctoral position offering applicants an exciting opportunity to work on...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Job DescriptionWe are seeking a highly skilled postdoctoral researcher to join our team at Aarhus University. The successful candidate will work on data management and analysis of passive acoustic data of marine mammals and anthropogenic noise sources. This position is part of the EU Horizon project DTO-Bioflow, focusing on harmonizing data streams of...


  • Århus, Århus Kommune, Denmark Aarhus Universitet (AU) Full time

    Job Opportunity: Postdoctoral Researcher in Nutrition and Physiology of Sows and PigletsAarhus University invites highly qualified applicants for a 3-year postdoctoral research position in the Department of Animal and Veterinary Sciences. The successful candidate will contribute to research projects focusing on nutrition and physiology of sows and...


  • Århus, Århus Kommune, Denmark Aarhus University Full time

    Job DescriptionWe are seeking a highly qualified postdoctoral researcher to join our team at Aarhus University's Department of Electrical and Computer Engineering. The successful candidate will be part of an exciting research project focused on the development of next-generation energy storage systems and microgrid applications.Research ProjectThe project...