From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 10.66.148.202 with SMTP id tu10mr15342466pab.8.1473692103951; Mon, 12 Sep 2016 07:55:03 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 10.36.77.8 with SMTP id l8ls3023422itb.14.canary; Mon, 12 Sep 2016 07:55:01 -0700 (PDT) X-Received: by 10.36.57.69 with SMTP id l66mr11491405ita.5.1473692101410; Mon, 12 Sep 2016 07:55:01 -0700 (PDT) Return-Path: Received: from pps3.ias.edu (pps3.ias.edu. [192.16.204.88]) by gmr-mx.google.com with ESMTPS id m82si916352ywm.2.2016.09.12.07.55.01 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Mon, 12 Sep 2016 07:55:01 -0700 (PDT) Received-SPF: pass (google.com: domain of vlad...@ias.edu designates 192.16.204.88 as permitted sender) client-ip=192.16.204.88; Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of vlad...@ias.edu designates 192.16.204.88 as permitted sender) smtp.mailfrom=vlad...@ias.edu; dmarc=pass (p=NONE dis=NONE) header.from=ias.edu Received: from pps.reinject (pps3.ias.edu [127.0.0.1]) by pps3.ias.edu (8.15.0.59/8.15.0.59) with ESMTPS id u8CEt0Nm025481 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 12 Sep 2016 10:55:00 -0400 Received: from pps3.ias.edu (pps3.ias.edu [127.0.0.1]) by pps.reinject (8.15.0.59/8.15.0.59) with SMTP id u8CEt0r2025475; Mon, 12 Sep 2016 10:55:00 -0400 X-Proofpoint-Sentinel: stfsU2FsdGVkX19JuwULJSoBAsjzYmxzQI5H7LR11dUMgL4EhfG7/7cIEbXV JMqIrPu2HFPE16JZrg/xBpWnE4AI9kTm9gtsDgBxlQV2oDpqAFvBL0npXeQCP/WGJYcGIQlN Received: from imap.math.ias.edu (imap.math.ias.edu [172.16.41.5]) by pps3.ias.edu with ESMTP id u8CEt03j025474 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Mon, 12 Sep 2016 10:55:00 -0400 Received: from pool-173-72-20-3.cmdnnj.fios.verizon.net ([173.72.20.3] helo=vladimirs-mbp-2.home) by imap.math.ias.edu with esmtpsa (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.80.1) (envelope-from ) id 1bjSdQ-0003Bn-Ef; Mon, 12 Sep 2016 10:55:00 -0400 From: Vladimir Voevodsky X-Pgp-Agent: GPGMail Content-Type: multipart/signed; boundary="Apple-Mail=_2A72E853-9F40-478C-9C8F-46681648131B"; protocol="application/pgp-signature"; micalg=pgp-sha512 Subject: Postdoctoral position in univalent foundations and type theory at the IAS Date: Mon, 12 Sep 2016 10:54:56 -0400 Message-Id: <5E9D1BA2-1F6D-452F-993C-1628AFC78B33@ias.edu> Cc: "Prof. Vladimir Voevodsky" To: Univalent Mathematics , Homotopy Type Theory , Types list list , Coq Club Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\)) X-Mailer: Apple Mail (2.3124) X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10432:,, definitions=2016-09-12_06:,, signatures=0 X-Proofpoint-Spam-Reason: safe X-IAS-PPS-SPAM: NO X-Proofpoint-Spam-Details: rule=ias_safe policy=ias score=0 spamscore=0 suspectscore=0 malwarescore=0 phishscore=0 adultscore=0 bulkscore=0 classifier=donotscan adjust=0 reason=safe scancount=1 engine=8.0.1-1609020000 definitions=main-1609120230 X-IAS-PPS-PHISH: NO --Apple-Mail=_2A72E853-9F40-478C-9C8F-46681648131B Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii 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 20= 17/18 in the univalent foundations, homotopy type theory and constructive m= athematics. To apply one should use the standard application process of the School of M= athematics (see www.math.ias.edu). One can also apply through Math Jobs. In the application please mention "univalent foundations". With best regards, Vladimir Voevodsky --Apple-Mail=_2A72E853-9F40-478C-9C8F-46681648131B Content-Transfer-Encoding: 7bit Content-Disposition: attachment; filename=signature.asc Content-Type: application/pgp-signature; name=signature.asc Content-Description: Message signed with OpenPGP using GPGMail -----BEGIN PGP SIGNATURE----- Comment: GPGTools - https://gpgtools.org iQEcBAEBCgAGBQJX1sHAAAoJEH5eMY79Hy7t/oUIAIRonJKRl19nvi0QOQoqkxQ8 X3qrHOqB2vLw8zdeA4Jv71rvaud573BANOLNUaHwDOx+qU5xNZubwkw4tpvt98SA BKkUJOSDkjpnAoMoxe4hNSXJ/QpXder4jmhW0id3RK8o0QecQhUfg+U4serK+UnF PaldOJhEdYtIZld59TBOSgRfXHs+YkcReKDiZf+xndRl7LJFoH8byEyoikgGqjMU 75xBAbpmVm7wQgQNFIsrLv9My2QYH74xd78U+T3gqK/dCTSBSs63TEMFKXb51vgW WxNnA496ONZYylL+ClgFl54M6AnimF6LW3CNY2fWVArEQDQMPUwN+dKcihSGF3Q= =DNY1 -----END PGP SIGNATURE----- --Apple-Mail=_2A72E853-9F40-478C-9C8F-46681648131B--