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).
Description: S/MIME Cryptographic Signature