The CoqHoTT Project

Post-doc position available for ERC CoqHoTT

I am pleased to announce the availability of 1 or 2 postdoc positions for the project "CoqHoTT: Coq for Homotopy Type Theory", funded by an ERC Starting Grant.

Expected start: between October 2017 and March 2018.

This 5-year project concerns the development of a new generation of proof assistants based on the fascinating connection between homotopy theory and type theory.

The different axes of the project are described at

I am seeking exceptional candidates who are interested (and who preferably have a proven track record) in one or more of the following topics: Successful applicants will join the Inria Gallinette Team, led by me, at Inria, Nantes. Previous postdocs in the project have included Pierre-Marie P├ędrot, Benedikt Ahrens (ending in september 2017) and Eric Finster (on-going).

*Application deadline*: Sept 15. If you are interested in joining the CoqHoTT team and want to learn more about the project, please contact me directly at

To apply for a postdoc position, please send me a CV, research statement, and list of references.

For further information, see the project web page at: Best regards, Nicolas Tabareau