Old Calls

PhD Position in Programming Languages and Program Verification — Deadline: May 1, 2026

A fully funded PhD position is available in the Programming Languages, Logic, and Software Security (PLS) section of the Department of Computer Science at Aarhus University under my supervision.

Research topics. The PhD project will focus on one or more of the following areas:

  • Type systems
  • Higher-order concurrent separation logic
  • Verification of concurrent and distributed systems
  • Mechanized proofs in the Rocq proof assistant

The precise topic will be determined together with the successful candidate based on mutual interests. The work will involve both foundational theory and mechanized formalization.

Research environment. The PLS section at Aarhus University is one of the strongest groups in programming languages and verification in the world. The section offers a vibrant research environment with regular seminars, visitors, and strong ties to leading groups worldwide. PLS is one of the main research groups contributing to the Iris project.

Candidate profile.

  • A BSc or MSc degree in computer science, mathematics, or a related field
  • Strong background in mathematics and mathematical logic
  • Experience with programming languages theory and/or program verification
  • Familiarity with proof assistants (especially Rocq) is a plus but not strictly required

Position details.

  • Funding: Fully funded position with a competitive salary
  • Starting date: Fall 2026
  • Application deadline: May 1, 2026

Interested candidates are encouraged to contact me before applying. The formal application is submitted through the GSNS application portal.

For the full project description and details, see the official call. See also the PhD programme in Computer Science for general information.

About Aarhus. Aarhus is Denmark's second-largest city — a compact, bike-friendly university town with a thriving cultural scene, a lively waterfront, world-class museums (ARoS, Moesgaard), forests, and beaches within cycling distance of the campus. It consistently ranks among the best places to live in Scandinavia.