<div dir="ltr"><div>I am pleased to announce the availability of 1 or 2 postdoc positions </div><div>for the project "CoqHoTT: Coq for Homotopy Type Theory",</div><div>funded by an ERC Starting Grant.</div><div><br></div><div>Expected start: between October 2017 and March 2018.</div><div><br></div><div>This 5-year project concerns the development of a new generation of</div><div>proof assistants based on the fascinating connection between homotopy</div><div>theory and type theory. </div><div><br></div><div>The different axes of the project are described at</div><div><a href="http://coqhott.gforge.inria.fr/">http://coqhott.gforge.inria.fr/</a></div><div><br></div><div>I am seeking exceptional candidates who are interested (and who</div><div>preferably have a proven track record) in one or more of the following</div><div>topics:</div><div><br></div><div>- Homotopy Type Theory</div><div>- Interactive Theorem Proving in Coq, Agda or Lean</div><div>- Development of (part of) a proof assistant, or its extensions.</div><div><br></div><div>Successful applicants will join the Inria Gallinette Team,</div><div>led by me, at Inria, Nantes. The financial conditions of </div><div>the post-doc are standard Inria conditions. </div><div><br></div><div>Previous postdocs in the project have</div><div>included Pierre-Marie Pédrot, Benedikt Ahrens (ending in september 2017)</div><div>and Eric Finster (still in the project).</div><div><br></div><div>*Application deadline*: Sept 15.  If you are interested in joining the</div><div>CoqHoTT team and want to learn more about the project, please contact</div><div>me directly at <a href="mailto:nicolas.tabareau@inria.fr">nicolas.tabareau@inria.fr</a>.  To apply for a postdoc position,</div><div>please send me a CV, research statement, and list of references.</div><div><br></div><div>For further information, see the project web page at:</div><div><a href="http://coqhott.gforge.inria.fr/">http://coqhott.gforge.inria.fr/</a></div><div><br></div><div>Best regards,</div><div>Nicolas Tabareau</div>
</div>