[TYPES/announce] Postdoc and PhD positions in Aarhus, Denmark

[Lars Birkedal]

Supported by a generous ERC Advanced Grant and a Villum Investigator Grant<https://urldefense.com/v3/__https://cs.au.dk/news-events/news/show-news/artikel/new-villum-investigator-at-the-department/__;!!IBzWLUs!Xh6zwU7teDIulZ6rrnDgIJfBbaaamYT_O3-QuIKcX4vKhllEN9Q2nQTIknKU64Chq8IwgJCFDDUtkpcJZfUK0sdB6LhAtqtc$ > from Villum Fonden we have several postdoc and PhD openings at the Center for Basic Research in Program Verification (CPV) at in the Logic and Semantics group at the Department of Computer Science, Aarhus University.

The research topics at the Center for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org<https://urldefense.com/v3/__http://iris-project.org/__;!!IBzWLUs!Xh6zwU7teDIulZ6rrnDgIJfBbaaamYT_O3-QuIKcX4vKhllEN9Q2nQTIknKU64Chq8IwgJCFDDUtkpcJZfUK0sdB6C9UmOGH$ >), e.g., to reason about distributed systems; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics for relaxed memory models; category-theoretic models of type theory and their application to program semantics.

To apply for a Postdoc position (deadline is Sep 22, 2025), see:
https://urldefense.com/v3/__https://cs.au.dk/about-us/vacancies/job/postdoc-and-phd-positions-to-the-center-for-basic-research-in-program-verification-cpv-at-department-of-computer-science-aarhus-university__;!!IBzWLUs!Xh6zwU7teDIulZ6rrnDgIJfBbaaamYT_O3-QuIKcX4vKhllEN9Q2nQTIknKU64Chq8IwgJCFDDUtkpcJZfUK0sdB6EtR26hp$ 

To apply for a PhD position (next deadline is Nov. 1, 2025), see:
https://urldefense.com/v3/__https://phd.nat.au.dk/for-applicants/open-calls/november-2025/the-center-for-basic-research-in-program-verification__;!!IBzWLUs!Xh6zwU7teDIulZ6rrnDgIJfBbaaamYT_O3-QuIKcX4vKhllEN9Q2nQTIknKU64Chq8IwgJCFDDUtkpcJZfUK0sdB6G0ruwxd$ 

Please contact Lars Birkedal (birkedal at cs.au.dk<mailto:birkedal at cs.au.dk>) if you are interested
In learning more about the possibilities.

Best wishes,
Lars

--
Lars Birkedal
Professor, Villum Investigator
https://urldefense.com/v3/__https://cs.au.dk/*birke/__;fg!!IBzWLUs!Xh6zwU7teDIulZ6rrnDgIJfBbaaamYT_O3-QuIKcX4vKhllEN9Q2nQTIknKU64Chq8IwgJCFDDUtkpcJZfUK0sdB6DrWbF50$ 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250901/68c86469/attachment.htm>