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.).
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
- cover letter with your CV,
- pdf files (or links) of some material you have written, and
- names of 2-3 people willing to write a recommendation letter for you.
All inquiries and application material should be sent to Dale Miller (dale.miller at inria.fr
) or to Kaustuv Chaudhuri (kaustuv.chaudhuri at inria.fr
). We expect the position to start in October 2020, but there is some flexibility with the exact start dates.
We hope to make decisions on this position by at least 10 May 2020.
More information is available at http://www.lix.polytechnique.fr/Labo/Dale.Miller/phd-position-2020.html