Postdoctoral position in univalent foundations and type theory at the IAS
0 views
Skip to first unread message
Vladimir Voevodsky
Sep 12, 2016, 10:55:03 AM9/12/16
to Univalent Mathematics, Homotopy Type Theory, Types list list, Coq Club, Prof. Vladimir Voevodsky
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
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
Reply all
Reply to author
Forward
0 new messages