Post Doc position for The Center for Basic Research in Program Verification
3 months ago
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:
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:
Contact information:
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
Formalities and salary range
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 University Full timeThe 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...
-
Aarhus, Denmark Aarhus Universitet (AU) Full timeExciting 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...
-
Materials Science Research Center Manager
2 weeks ago
Aarhus C, Aarhus Kommune, Denmark Aarhus Universitet Full timeJob DescriptionThe Center for Integrated Materials Research at Aarhus University invites applications for a position as center manager. This is a full-time, fixed-term position for 24 months, starting on 1 November 2024 or as soon as possible.Main ResponsibilitiesAssist the center management with reporting, communication, and organization of meetings.Act as...
-
Postdoc in aerobiology
4 months ago
Aarhus, Denmark Aarhus University Full timeThe 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 University Full timeApplications 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 Universitet (AU) Full timeA three-year position as senior researcher of statistical genetics within The Pioneer Centre for SMARTBiomed to be employed at the National Centre for Register-based Research, Aarhus University, with an application deadline on 1 September 2024, and a possible starting date as early as 1 October or as soon as possible hereafter. We are seeking a talented...
-
Aarhus, Denmark Aarhus University Full timeWe 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 timeThe Department of Biology 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...
-
Aarhus, Denmark Aarhus Universitet (AU) Full timeThe 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 timeApplications 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 timeThe 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 timeApplications 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 timeApplications 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 University Full timeThe 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 timeThe 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 timeThe 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 Aarhus Universitet (AU) Full timeThe 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 Universitet (AU) Full timeThe Department of Public Health at Aarhus University in Aarhus, Denmark, invites qualified individuals to apply for a Postdoctoral Associate position in the field of Epidemiology expected to start on 1 November 2024 or soon thereafter. The position is a fixed-term 24-month full-time position. The Postdoctoral Associate position will be appointed in the...
-
Aarhus, Denmark Aarhus Universitet, Bygning 1510-1514 Full timeThe 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 timeAarhus 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...
