Duration: 18 months
Location: Deducteam - Inria Saclay and LMF (CNRS and ENS Paris-Saclay)
Address: 4 avenue des Sciences, Gif sur Yvette, France
Salary: 2.132,21 euros / month net (2.653 euros / month gross)
Context: The ANR project ICSPA aims at improving confidence in the proofs built in the context of B/Event-B and TLA+ by adding formal proofs to these systems and independently verifying these proofs with the Logical Framework Dedukti.
Job assignments: The post-doctoral researcher will
Applications to gilles.dowek[@]ens-paris-saclay.fr must include a CV, a complete list of publications and a reference letter.