[TYPES/announce] Postdoctoral position in univalent foundations and type theory at the IAS
vladimir at ias.edu
Mon Sep 12 10:54:56 EDT 2016
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,
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
More information about the Types-announce