Date: 11 March 2020

Subject: Ph.D. position in formal proof and trust at Inria Saclay

The W3Proof project at Inria Saclay proposes to build the foundations for a distributed Web-like platform for developing, sharing, and certifying formal proofs, independent of any particular proof assistant.

We are looking for a Ph.D. candidate to work on this project. Candidates should know the basics of proof theory, lambda-calculus, and distributed systems technology (including cryptographic constructions for signing and tracking of provenance, content-based naming, etc.).

This Ph.D. student position is offered by Inria and the work will be done within the Partout team at the LIX laboratory of Ecole Polytechnique.

If you are interested in this Ph.D. position, submit a

All inquiries and application material should be sent to Dale Miller (dale.miller at or to Kaustuv Chaudhuri (kaustuv.chaudhuri at We expect the position to start October 2020, but there is some flexibility with the exact start dates.

As of June 2020, this position is still available.

More information is available at the following links.