Join My Group

My research focuses on programming languages, program verification, type theory, and mechanized proofs. If you are interested in working on these topics, there are several ways to join my group at different levels. See my research page and publications for more details on my work.

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.

BSc and MSc Projects for Students at Aarhus University

If you are interested in the areas described on my research page, including program verification, separation logic, type theory, and mechanized proofs, please contact me to discuss possible topics.

Research Visits and Internships

If you are a PhD student, or an undergrad student, outside Aarhus University and are interested to do an internship or project with me on topics related to my research, please contact me and include a brief description of your background and research interests.

What I Look For

I expect the following:

  • Strong background in mathematics and logic
  • Strong background and interest in programming languages theory, and program verification
  • Experience with proof assistants (Rocq, Agda, Lean) is a plus, but not always required
  • Intellectual curiosity and the ability to work independently