coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoctoral position in univalent foundations and type theory at the IAS

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Univalent Mathematics <univalent-mathematics+noreply AT googlegroups.com>, Homotopy Type Theory <homotopytypetheory AT googlegroups.com>, Types list list <types-announce AT lists.seas.upenn.edu>, Coq Club <coq-club AT inria.fr>
Cc: "Prof. Vladimir Voevodsky" <vladimir AT ias.edu>
Subject: [Coq-Club] Postdoctoral position in univalent foundations and type theory at the IAS
Date: Mon, 12 Sep 2016 10:54:56 -0400
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vladimir AT ias.edu; spf=Pass smtp.mailfrom=vladimir AT ias.edu; spf=None smtp.helo=postmaster AT pps3.ias.edu
Ironport-phdr: 9a23:+/gwZxJ2AeKp0N8P59mcpTZWNBhigK39O0sv0rFitYgSLfrxwZ3uMQTl6Ol3ixeRBMOAuqsC1bqd4/uoGTRZp83Q6DZaKN0EfiRGoP1epxYnDs+BBB+zB9/RRAt+Iv5/UkR49WqwK0lfFZW2TVTTpnqv8WxaQU2nZkJLL+j4UrTfk96wn7jrvcaCOkMW1HHtOvsydEzw9lSJ8JFOwMNLEeUY8lPxuHxGeuBblytDBGm4uFLC3Pq254Np6C9KuvgspIZqWKT+eLkkH/QDVGx1e0h83sDgtAHCQA2T/TNcFzxOylsbSzTCuSz8X4n4tib8qqJY0TWaMMj/UbE/Qnz28qFqVhbshSEbcjsw7GHaj8VsjalA4xSmvRFnx5/8b4aSO/5zcbnaYMsBA2FGW5AVHwxGB4SgaJMeR9YQJesQk4nwoEEf5U++AgyrGOT32yNZnnLq3aA9yfUJHgbB0wgtEMgJrWzP6t7yMfFWGdyk1KTThTHCdO8e3Tbm9MCcbgE5rOrJVLR2dtfXwkQHEwLekk7WsoHsJHWIzukLtS6W4/c2EaqEjHdvgAVsqHD7zcA1z4LNm4g9y1be9Cw/zpxjdvOiT0suX9qtHJpVtjvSCYx7XMQuWGJ58HIkzrQKuJu6ZgALwY9hyhLCPa/UO7OU6w7uAb7CaQxzg2hoLffm306/

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

Attachment: signature.asc
Description: Message signed with OpenPGP using GPGMail

[Coq-Club] Postdoctoral position in univalent foundations and type theory at the IAS, Vladimir Voevodsky, 09/12/2016