The School of Mathematics at the Institute for Advanced Study in Princeton, New Jersey, is looking to fill one or more postdoc positions for the academic year 2015-16 focusing on formalization of mathematics in proof assistant Coq.

The positions are for one year with a possible extension for an additional year.  The areas of mathematics under consideration include classical homotopy theory of simplicial sets and simplicial sheaves. 

In order to apply for the position, applicants should follow the standard application procedures outlined at: https://www.math.ias.edu/administration/membership

In the “field of work” on the application form, please mention “Univalent Foundations”.

Questions should be addressed to Vladimir Voevodsky at vladimir@ias.edu.