[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are looking for Postdocs to work in the Center for Basic Research in Program
Verification
in Aarhus, Denmark. Research topics include: extensions of higher-order
concurrent
separation logics (such as our Iris logic, see iris-project.org), e.g., to
reason about
distributed systems; probabilistic program logics; logical relations for
relational reasoning
about safety and security properties; formal modeling of low-level capability
machines,
and secure compilation; guarded cubical type theory; and Coq formalizations.
The Post Doc positions are for two years (with a possibility of extension).
Application deadline is June 1, 2020.
See
https://www.au.dk/om/stillinger/job/center-for-basic-research-in-program-verification-cpv-is-looking-for-postdocs/
for more information.
Please contact me at birke...@cs.au.dk<mailto:birke...@cs.au.dk> if you have
any questions.
Best wishes,
Lars Birkedal
-- --
Lars Birkedal
Villum Investigator
Professor, Head of Logic and Semantics Group
Dept. of Computer Science
Aarhus University
Aabogade 34
8200 Aarhus N
Denmark
birke...@cs.au.dk<mailto:birke...@cs.au.dk>
www.cs.au.dk/~birke<http://www.cs.au.dk/~birke>
