[TYPES/announce] Postdoctoral position in univalent foundations and type theory at the IAS

Mon Sep 12 10:54:56 EDT 2016

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 496 bytes
Desc: Message signed with OpenPGP using GPGMail
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160912/745dc931/attachment.asc>