[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear All,
We are looking for Postdocs and PhD students at the
Center for Basic Research in Program Verification,
in the Logic and Semantics Group at Aarhus University.
Current research topics include Iris-based program logics for
reasoning about distributed systems, probabilistic programs,
extensions of WebAssembly, relaxed and persistent memory systems,
capability systems; and category-theoretic models of
modal type theories and their application to program semantics.
Funding comes from the Villum Foundation and an ERC advanced grant
Please contact Lars Birkedal ([email protected]) if you are interested
In learning more about the possibilities.
The official call for the postdoc positions can be found at
https://urldefense.com/v3/__https://www.au.dk/om/stillinger/job/post-doc-positions-for-the-center-for-basic-research-in-program-verification-cpv-at-department-of-computer-science-aarhus-university__;!!IBzWLUs!Q6oJyT1DlgcYgL_ZzvGAg2X4JcIDJZjGzhJPnh_K64nSRbYuNuYaka-w8Eni3SfgNDy5LgVhaoCZt_UCeCGgGLHgb4idli9l$
Application deadline is September 1, 2026.
Information about how to apply for PhD positions can be found at
https://urldefense.com/v3/__https://phd.nat.au.dk/for-applicants__;!!IBzWLUs!Q6oJyT1DlgcYgL_ZzvGAg2X4JcIDJZjGzhJPnh_K64nSRbYuNuYaka-w8Eni3SfgNDy5LgVhaoCZt_UCeCGgGLHgb3_fqOGP$
and
https://urldefense.com/v3/__https://phd.nat.au.dk/for-applicants/open-calls/august-2026/the-center-for-basic-research-in-program-verification__;!!IBzWLUs!Q6oJyT1DlgcYgL_ZzvGAg2X4JcIDJZjGzhJPnh_K64nSRbYuNuYaka-w8Eni3SfgNDy5LgVhaoCZt_UCeCGgGLHgb-tjn-pJ$
There are four deadlines per year, next one is August 1, 2026.
Best wishes,
Lars
--
Lars Birkedal
Professor, Villum Investigator
https://urldefense.com/v3/__https://cs.au.dk/*birke/__;fg!!IBzWLUs!Q6oJyT1DlgcYgL_ZzvGAg2X4JcIDJZjGzhJPnh_K64nSRbYuNuYaka-w8Eni3SfgNDy5LgVhaoCZt_UCeCGgGLHgbym4JOBK$
