[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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, an ERC advanced grant, and
the Danish Research Council.
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!SagtPx3i9FI6aFL9zwfdsGTzbWp_R3dfJvtx4EfikV2SVZueOG_92SvNU0_wbnJYyQ1L2j7ttx6kBBzC_T1_YWLK9IqG9StM$
