[TYPES/announce] 2016-2017 at the IAS

Vladimir Voevodsky vladimir at ias.edu
Wed Oct 14 11:25:13 EDT 2015


(sending again, with an important addition,  since the first time did not work)

Hello,

I would like to remind to everybody that just as the last year, this year year the School of Mathematics at the Institute for Advanced Study in Princeton is looking for applications for memberships from people working in the Univalent Foundations as well as other areas of Type Theory, Constructive Mathematics and formalization of mathematics.

The applications can be submitted through the MathJobs.

This year we will be specifically looking for one mid- or late career person to help me (V.V) with the mentoring of the young members of the group. The salary for this position will be substantially higher than the standard membership salary. 

Vladimir.


More information about the Types-announce mailing list