[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected]<mailto:[email protected]>) 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$
