Email Gateway (Aug 19 2022 at 16:29): Email Gateway (Aug 19 2022 at 16:29):From: Tobias Nipkow <nipkow@in.tum.de>
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).
smime.p7s
Last updated: Nov 21 2024 at 12:39 UTC