For a better knowledge of the proposed research subject :
A state of the art, bibliography and scientific references are available at the following URL, do not hesitate to log in:
https://theowinterhalter.github.io/
https://yforster.de/
https://golem.ph.utexas.edu/category/2015/02/introduction_to_synthetic_math.html
Collaboration :
The recruited person will be in connection with members of the teams Deducteam and Cambium. In particular they are expected to collaborate with Ewen Broudin-Caradec who is doing a PhD in Deducteam with Théo Winterhalter and Frédéric Blanqui, and Mathis Bouverot-Dupuis who is doing a PhD in Cambium with Yannick Forster and François Pottier.
Responsibilities :
The person recruited is responsible for conducting research on their PhD topic.
