[TYPES/announce] postdoc position in Aarhus, Denmark, at Center for Basic Research in Program Verification

[Lars Birkedal]

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 birkedal at cs.au.dk<mailto:Birkedal at 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
birkedal at cs.au.dk<mailto:birkedal at cs.au.dk>
www.cs.au.dk/~birke<http://www.cs.au.dk/~birke>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200518/e205cc91/attachment.html>