Hello,

and sorry for multiple postings.

The Institute for Advanced Study in Princeton, NJ is expected to offer two or more 1 to 2 year postdoctoral positions starting in the academic year 2017/18 in the univalent foundations, homotopy type theory and constructive mathematics.

To apply one should use the standard application process of the School of Mathematics (see www.math.ias.edu). One can also apply through Math Jobs.

In the application please mention "univalent foundations".

With best regards,
Vladimir Voevodsky