Post-doc position available for ERC CoqHoTT
I am pleased to announce the availability of a postdoc position for
the project "CoqHoTT: Coq for Homotopy Type Theory",
funded by an ERC Starting Grant.
Expected start: September 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
Homotopy Type Theory
interactive theorem proving in Coq, Agda or Lean
development of part of a proof assistant, extension (using plugin or
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, Eric Finster
(on-going), Danil Annenkov (on-going) and Pierre Vial (on-going).
*Application deadline*: June 15. If you are interested in joining the
CoqHoTT team and want to learn more about the project, please contact
me directly at firstname.lastname@example.org
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: