[Agda] 2016-2017 at the IAS

[Vladimir Voevodsky]

(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.