Email Gateway (Aug 17 2022 at 14:14): Email Gateway (Aug 17 2022 at 14:14):From: Christine Paulin <paulin@lri.fr>
Hello,
INRIA proposes one-year post-doctoral positions for young
Phd graduates. Deadline for application is March 30th see
http://www.inria.fr/travailler/opportunites/postdoc/postdoc.en.html
You may be interested in particular by subjects proposed by the
following groups
Located in Saclay (Orsay) near Paris
Comete (C. Palamidessi)
Tools for the specification and verification of probabilistic security protocols
LogiCal (G. Dowek, B. Werner)
Structuration and development of the standard library of the Coq system
Parsifal (D. Miller)
Reasoning about Logic Specifications
ProVal (C. Paulin)
Trustworthy Decision Procedures
Integration of interactive and automatic proof tools
Certified Compilation of Scade/Lustre
or Located in Sophia-Antipolis
Everest (G. Barthe)
Formal proofs of provable cryptography
Christine Paulin
Last updated: May 03 2024 at 12:27 UTC