[ 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>