Logic List Mailing Archive

Postdoctoral position (2y) in security verification, Munich (Germany)

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).