[FOM] 2-year postdoc position on security verification at the Technical University of Munich

[Andrei Popescu]

A 2-year postdoc position on security verification is available at the
Technical University of Munich, Chair for Logic and Verification (the Munich
Isabelle group, http://www21.in.tum.de/). The research project focuses on the
following topics:

- Design of a flexible framework for information-flow security specification

- Formalization of the framework in the Isabelle proof assistant

- Integration of interactive formal verification
  with language-based analysis tools to obtain holistic security guarantees

- Application of the above to obtain the end-to-end verification of a
  realistic web-based system: an (EasyChair-like) conference management system

For our current results see http://www4.in.tum.de/~popescua/pdf/CAV2014.pdf
More details can be provided on request.

The candidate must hold a PhD in computer science or mathematics and have a
track record of original research published in good conferences and
journals. Mathematical maturity, as well as experience with verification and
analysis tools (in particular, proof assistants) are both very welcome.

The intended start date is February 2015 but can be negotiated.

Interested candidates should send a CV, list of publications and a brief
statement of research interests to Tobias Nipkow (nipkow at in tum de) and
Andrei Popescu (a.popescu at mdx ac uk).