[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://cs.au.dk/*timany__;fg!!IBzWLUs!QKE_4auBoZaw1Yynx89d3vwAbpbFlVNTpSdNTDr1UIgot4Rbywkcbf7Ok_XkvpqYid_rnor_EE2PIjvaj1ZE6FFNlV1oOI_PwA$
.
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://urldefense.com/v3/__https://phd.nat.au.dk/for-applicants/open-calls/may-2026/formal-verification-of-concurrent-and-distributed-systems__;!!IBzWLUs!QKE_4auBoZaw1Yynx89d3vwAbpbFlVNTpSdNTDr1UIgot4Rbywkcbf7Ok_XkvpqYid_rnor_EE2PIjvaj1ZE6FFNlV10N7tV-g$
See
https://urldefense.com/v3/__https://phd.nat.au.dk/programmes/computer-science__;!!IBzWLUs!QKE_4auBoZaw1Yynx89d3vwAbpbFlVNTpSdNTDr1UIgot4Rbywkcbf7Ok_XkvpqYid_rnor_EE2PIjvaj1ZE6FFNlV30tOT9pg$
for more details.
How to Apply
Interested candidates are encouraged to contact Amin Timany ([email protected])
before applying. The formal application is submitted through the GSNS
application portal at Aarhus University:
https://urldefense.com/v3/__https://phd.nat.au.dk/for-applicants/apply-here__;!!IBzWLUs!QKE_4auBoZaw1Yynx89d3vwAbpbFlVNTpSdNTDr1UIgot4Rbywkcbf7Ok_XkvpqYid_rnor_EE2PIjvaj1ZE6FFNlV2eL8MEUQ$
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.
