Postdoctoral Researcher in Mathematics

Institute for Advanced Study

Location:	Princeton
Salary:	Not specified
Hours:	Full Time
Contract:	Contract / Temporary

Placed on:	16th September 2014
Closes:	1st December 2014

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.

来源：中国硕博英才网