Post Doc positions for the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus
Aarhus Universitet Aarhus
Om AUKort over bygninger på Aarhus UniversitetOrganisationLedelsen på AUAarhus Universitets strategiÅrsrapporterAU i talAU's historieInternationalt samarbejdeCampusudviklingLedige stillingerVejledninger til ansøgereLove og reglerPresseKontakt Institut for Datalogi Post Doc positions for the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University Ansøgningsfrist 1.
sep. 23:59 CEST Forventet start 1. dec. Institut for Datalogi Åbogade 34 8200 Aarhus N Tidsbegrænset fuldtidsstilling 1. dec. 2026 - 1. dec. 2028 ID: 164366 Søg stillingen The Department of Computer Science, Aarhus University invites applications for postdocs.
Supported by a generous ERC Advanced Grant and a Villum Investigator Grant from Villum Fonden we have several postdocs positions in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University.
The tasks of the postdoc consists of doing research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) two-year postdoc positions. The starting date is December 1, 2026, or as soon as possible thereafter.
Place of work The place of work is Department of Computer Science at Aarhus University. We are located at Åbogade 34, 8200 Aarhus. Contact information Interested candidates are welcome to contact Professor Lars Birkedal via [email protected]. For more information about Lars Birkedal’s work, see https://cs.au.dk/~birke/ Deadline All applications must be received no later than 1 September 2026.
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.
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 here. Please find more information about entering and working in Denmark here.
Aarhus University also offers a Junior Researcher Development Programme targeted at career development for postdocs at AU. You can read more about it here. 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 our website, 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.
Spørgsmål til stillingen ? Lars Birkedal Professor, Institut for Datalogi +4523838546 [email protected] Spørgsmål til ansøgning og proces ? Administrationscenter Nat-Tech - Nat-Tech HR +4522228426 [email protected] Søg stillingen Ansøgningsfrist: tirsdag den 1.
sep. 2026 kl. 23:59 CEST 37.000 studerende inklusiv ph.d.-studerende 8.700 ansatte opgjort i årsværk 8,3 mia. kr. omsætning Flere nøgletal om AU Den gode forberedelse Information til dig, der overvejer at søge en stilling eller skal forberede dig til en jobsamtale.
Strategi Organisation AU i tal Personalepolitik Working at AU Centrale informationer til potentielle og kommende internationale medarbejdere AIAS-Fellowships Se deadline og opslag til Aarhus Institute of Advanced Studies (AIAS) programmer AU Job- og projektbank Job- og projekttilbud til studerende, nyuddannede og alumner.
sep. 23:59 CEST Forventet start 1. dec. Institut for Datalogi Åbogade 34 8200 Aarhus N Tidsbegrænset fuldtidsstilling 1. dec. 2026 - 1. dec. 2028 ID: 164366 Søg stillingen The Department of Computer Science, Aarhus University invites applications for postdocs.
Supported by a generous ERC Advanced Grant and a Villum Investigator Grant from Villum Fonden we have several postdocs positions in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University.
The research topics at the Center for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org), e.g., to reason about distributed systems; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics for relaxed memory models; guarded cubical type theory; and Rocq formalizations.
Tasks and Qualifications Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization. The ideal candidate has working knowledge of the Iris higher-order concurrent separation logic framework and in one or more of the topics covered by CPV (see above).The tasks of the postdoc consists of doing research on interactive verification of safety and security properties of challenging software systems. We offer full-time (37 hours/week) two-year postdoc positions. The starting date is December 1, 2026, or as soon as possible thereafter.
Place of work The place of work is Department of Computer Science at Aarhus University. We are located at Åbogade 34, 8200 Aarhus. Contact information Interested candidates are welcome to contact Professor Lars Birkedal via [email protected]. For more information about Lars Birkedal’s work, see https://cs.au.dk/~birke/ Deadline All applications must be received no later than 1 September 2026.
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.
Formalities and salary range Natural Sciences refers to the Ministerial Order on the Appointment of Academic Staff at Danish Universities under the Danish Ministry of Science, Technology and Innovation. 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 here. 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 Memorandum on Job Structure for Academic Staff at Danish Universities.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 here. Please find more information about entering and working in Denmark here.
Aarhus University also offers a Junior Researcher Development Programme targeted at career development for postdocs at AU. You can read more about it here. 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 our website, 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.
Spørgsmål til stillingen ? Lars Birkedal Professor, Institut for Datalogi +4523838546 [email protected] Spørgsmål til ansøgning og proces ? Administrationscenter Nat-Tech - Nat-Tech HR +4522228426 [email protected] Søg stillingen Ansøgningsfrist: tirsdag den 1.
sep. 2026 kl. 23:59 CEST 37.000 studerende inklusiv ph.d.-studerende 8.700 ansatte opgjort i årsværk 8,3 mia. kr. omsætning Flere nøgletal om AU Den gode forberedelse Information til dig, der overvejer at søge en stilling eller skal forberede dig til en jobsamtale.
Strategi Organisation AU i tal Personalepolitik Working at AU Centrale informationer til potentielle og kommende internationale medarbejdere AIAS-Fellowships Se deadline og opslag til Aarhus Institute of Advanced Studies (AIAS) programmer AU Job- og projektbank Job- og projekttilbud til studerende, nyuddannede og alumner.
Revideret 26.06.2026 - AU HR
Aarhus UniversitetAarhus
Institut for Elektro
• og Computerteknologi
• Biomedical Engineering
• Edison - Fakultet: Technical Sciences Post Doctoral Researcher in Generative AI applied to Knowledge Classification in Software Engineering, Department of Electrical and Computer...
GAMUCATEXDanmark
Do you want to be part of developing an innovative and meaningful game? Are you interested in user-centered and user-driven design? Are you eager to apply your qualitative and quantitative research methods to understand the wants, needs, and pain...
Aarhus
is a permanent full time position .
As a professor at the Department of Clinical Medicine, you will be part of what is probably the largest health science research department in Denmark. Our clinical research covers all the medical specialities...
De bedste jobs, du ikke vil gå glip af: