Postdoctoral position at Inria Saclay: B in Dedukti

 

 

 

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.