Aarhus University Seal / Aarhus Universitets segl

PhD students for Center for Basic Research in Program Verification

Applications are invited for a PhD fellowship/scholarship at Graduate School of Natural Sciences, Aarhus University, Denmark, within the Computer Science programme. The position is available from November 2022 or later.

PhD students for Center for Basic Research in Program Verification

Research area and project description:
Supported by a generous Villum Investigator Grant from VILLUM FONDEN, we have started a new Center for Basic Research in Program Verification (CPV) in September 2019 at Aarhus University, Denmark.

We are looking for several PhD students to work in the Center for Basic Research in Program Verification. Research topics 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 and security properties; formal modeling of low-level capability machines and secure compilation; guarded cubical type theory; and coq formalizations.

Supervisor will be Professor Lars Birkedal. For more information about Lars Birkedal’s work, see https://cs.au.dk/~birke/.

Please upload a project description (½-4 pages). This document should describe your ideas and research plans for this specific project. If you wish to, you can indicate an URL where further information can be found. Please note that we reserve the right to remove scientific papers, large reports, theses and the like.

Qualifications and specific competences:
Applicants to the PhD position must have a Master’s degree in Computer Science.

Place of employment and place of work:
The place of employment is Aarhus University, and the place of work is Department of Computer Science, Aarhus University, Aabogade 34, 8200 Aarhus N, Denmark. 

Applicants seeking further information for this project are invited to contact:

  • For scientific questions, please contact Professor Lars Birkedal, e-mail: birke@cs.au.dk
  • For other questions, please contact Henriette Gammelgaard Farup, e-mail: henriettefarup@cs.au.dk

How to apply:
For information about application requirements and mandatory attachments, please see the Application guide. Please read the Application guide thoroughly before applying.

When ready to apply, go to https://phd.nat.au.dk/for-applicants/apply-here/ (Note, the online application system opens 1 June 2022)

  1. Choose August 2022 Call with deadline 1 August 2022 at 23:59 CEST.
  2. You will be directed to the call and must choose the programme “Computer Science”.
  3. In the boxed named “Study”: In the dropdown menu, please choose: “PhD students for Center for Basic Research in Program Verification (PsCBRP)”

Please note:

  • The programme committee may request further information or invite the applicant to attend an interview.
  • The project will only be initiated if the graduate school/the faculty grants funding.  

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. All interested candidates are encouraged to apply, regardless of their personal background.

24549 / i43