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, Denmark. The position is under the supervision of Amin Timany.
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, and visitors, and strong ties to leading groups worldwide. PLS is one of the main research groups contributing to the Iris project. For more details see https://cs.au.dk/~timany.
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: Next round of applications are due on May 1, 2026
Project description and details: https://phd.nat.au.dk/for-applicants/open-calls/may-2026/formal-verification-of-concurrent-and-distributed-systems
See https://phd.nat.au.dk/programmes/computer-science for more details.
How to Apply
Interested candidates are encouraged to contact Amin Timany (timany@cs.au.dk) before applying. The formal application is submitted through the GSNS application portal at Aarhus University: https://phd.nat.au.dk/for-applicants/apply-here
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, and the world.