From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-qt1-x838.google.com (mail-qt1-x838.google.com [IPv6:2607:f8b0:4864:20::838]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 943a9c70 for ; Fri, 4 Oct 2019 13:56:19 +0000 (UTC) Received: by mail-qt1-x838.google.com with SMTP id r19sf6491844qtk.15 for ; Fri, 04 Oct 2019 06:56:19 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1570197378; cv=pass; d=google.com; s=arc-20160816; b=j1NvP6t51sTPVvqvp/eMcDN3mlvoNM11hgZ5ASVM3P8dz7jh4NQjMGwDA01x3LjMzN 8pPmXetkvguRc0Ie0qoaZ3j2n+4YiIHmu6jHtu1XpUl53Y+ZwCcYsvdzYMlQXs8YY+0P CotBLywCYoSpCaCZEjgZyqSacvQ2R/hm4Yh09e41UZeEFwuh+BzhsMr9CU2TPU2WGIxx VWnz1i7HDgHbYmeZt3lYwqTyVAT6T4jXki55UMHrYzTlBH9pLy/4FzgwzCP7pd4pYlnp 2mF0CEepZO8LuDD4kiW2wle1+Y2vaSiy1lb5fwZX7WAMBnLggwGNlyyg7ZOVNm4Wpr+5 qVDw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:message-id:to:cc:subject:date:mime-version :from:sender:dkim-signature; bh=Aqqv+YEDPrr0MX//UMwm5bqGwnwL1NU6JfLtGhd3oeM=; b=BGgB0ijTnCPhr5Bsnv7DGTT+GcOs4GZIXhN0Gp9rRMPtlF8V0ToBlpGZx2RNEsvSJY bgdGM2nmG9B02uzywu8y8HpCr1cL6VNOEYoo+EWK2JmlbQuXgbnn5STANyqVlt2BYCQp qM9VX1Tni1MqDsVyXAvhmgxJi7a0YukyJ1WlkLsPPincfX15lVF92YT/6k+jqU2CuLkX 6IKqirn3gjfOQ5Pyi5U+cy5Vq12jE4JphDigON1ce0cw7GL+JH8sIHw2+0S6TQvyVnvt oXDQPhAH2+ftcFxGF+foS6Bl7nfEc4pmsf7naNMvmSX63n/PNRpUG4+MESX1E77lMF1v oPjQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=xaBX3W+V; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::830 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:mime-version:date:subject:cc:to:message-id :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=Aqqv+YEDPrr0MX//UMwm5bqGwnwL1NU6JfLtGhd3oeM=; b=mJjCVmZjc6kp7i86TmMIzmTPAn+pJKtNBFwPdz8ICTriirAsvfLSiwQUJzB8R9RZ1r yUsrJD+TzReABTWSqItjlxfeFyUAZ1i2j2CIA26JtCSGBKYjBRTPUN9TfXDUymtQIOTG anbHFmLqgn95KztH4MPiFA10qaj+BB2N5q0H/JhyuJC1nqwADmywP7G3XdYzKgUBiy0o irHLM71uGvsv3cSV3xuV0Dljhmvn1XP1jX1hZLvLgdxqMx13y+tMo5L0ajhQnMJOcV2K eQQaR/luhFHBQ3CRDmW1CCsvosaQFr6dRn4418FCyKCz65/S7gxyiiRsDN3ahA2eblB3 KgZA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:mime-version:date:subject:cc:to :message-id:x-original-sender:x-original-authentication-results :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-unsubscribe; bh=Aqqv+YEDPrr0MX//UMwm5bqGwnwL1NU6JfLtGhd3oeM=; b=MyKXqrFTCAD+x1lR68sS9lraxgnmziNv3Abpjes4f9DW9yVja4U1I5Cb5T/lnijNQ1 o4N7a0hhITA024kdSygQFJOK+5x73UX4wqQkDDMBMNbngK/fkdPdFv+wGKbiKRIVJSoW kDEeLpF9ILjXlxpYEALlZ1cyA6qxbJyltej4MSaK3w0mZc0mgAdAB1O9qMhvaxAZ1Anb SlyOMnD56/RaDCLhqoJ9F+8/awxxbpMv0HvPTSLoZmLKni9hcPUbMeLv0RuSaLnDlSyl uHHFVdfrxtoPBqJ61NrgvWBvsMtHvp9U1qgPmD7dNQTvefI7f4tGAlgW9cvBiUrq/VSN g8hA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAXh7M0t0Wd6+2+gaZ9PNtpz4BjcG9zSwzZIzJ+pzBVgORrxPhQf KCeNN6jbm46wyGiuGWJm6FI= X-Google-Smtp-Source: APXvYqwdO1FUyXhAONQttIQz5tEGEow+hxBkLvl+2B+FYP0EUVoLeBwmxoe/LmpeDddzInP5ehbBbw== X-Received: by 2002:a37:a8b:: with SMTP id 133mr9788285qkk.365.1570197377725; Fri, 04 Oct 2019 06:56:17 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ae9:ef0f:: with SMTP id d15ls2295672qkg.8.gmail; Fri, 04 Oct 2019 06:56:16 -0700 (PDT) X-Received: by 2002:a37:9b48:: with SMTP id d69mr10538688qke.390.1570197376825; Fri, 04 Oct 2019 06:56:16 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1570197376; cv=none; d=google.com; s=arc-20160816; b=dYanBWs1wd2z4JNYV2Q4p0DJH2SSV+JdaKrRGf5EyXHxM+k2qJnJV2cGKpSjhdFbRn KTlg0Am0X+tynsVabQ8zWe+ZYAXJimqlwWcyaTVwCNAxCqBme3tjLbv73Z7RM57Jurqc RY6ENIk0ptumW7VWZhUEXofMSXtXA4Aqbm25GwrXo5Jjxz/V7sRm/VQOf6J9osWKrc0r QqoytMpZD+r2WwMxND6/VY6ZFbrMS5/Zek0leXUNUwBlZZyMc4upfFLe9dG7hVQBzUEX dDjUtno/znJ6NdeMYyQUf+H8vNoI219Kp23IGs79cS+okLJOAQobvcP0GxcwcnhI00uE be6Q== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=message-id:to:cc:subject:date:mime-version:from:dkim-signature; bh=6Y4u4Cl0BLsA19IoO+CgGbFgzAoNH4Q55tK5iGPdxcw=; b=nhSUulvpL1tc/Bkn7LyBUT3jedcfkDRRMD3m4uOw80jOf7Xqlh7Nd9FJPYUoTg9EDz Hq9+8GHUkLiKKQy90Ng6mcKxMcaPkzdIgm5ZXKppGM8G0cr/IHEGzO4OvO14h4n0iS4b 4tjDZZrUP76iFkV/HH4rvZ9dlakg5BLnJZftBzCmDhGJG167H4pMTIlaZPbhx8i1dGqM fP9d9q7f+e8vgq5Jy6ziIyF9AjWLXnh7cdn0w1+uBqAKEw/Eh/pYhhpBJrFkmQwY1Lc/ 3GGNfmd+n0Mv625RkUubTDuhrhMm4i2eVhccu8BMavLjIkdvs5ame6KhLee+cBjIev7u roeg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=xaBX3W+V; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::830 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-qt1-x830.google.com (mail-qt1-x830.google.com. [2607:f8b0:4864:20::830]) by gmr-mx.google.com with ESMTPS id u44si524611qtb.5.2019.10.04.06.56.16 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 04 Oct 2019 06:56:16 -0700 (PDT) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::830 as permitted sender) client-ip=2607:f8b0:4864:20::830; Received: by mail-qt1-x830.google.com with SMTP id c3so8606936qtv.10 for ; Fri, 04 Oct 2019 06:56:16 -0700 (PDT) X-Received: by 2002:aed:3c52:: with SMTP id u18mr15701236qte.194.1570197376414; Fri, 04 Oct 2019 06:56:16 -0700 (PDT) Received: from steveawodeysair.fios-router.home (pool-72-77-33-107.pitbpa.fios.verizon.net. [72.77.33.107]) by smtp.gmail.com with ESMTPSA id d134sm2830801qkg.133.2019.10.04.06.56.15 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 04 Oct 2019 06:56:15 -0700 (PDT) From: Steve Awodey Content-Type: multipart/alternative; boundary="Apple-Mail=_3A97C90F-8AB8-4989-8994-F2ED96967635" Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Date: Fri, 4 Oct 2019 09:56:14 -0400 Subject: [HoTT] Logic job at CMU Cc: Steve Awodey To: Homotopy Type Theory Message-Id: <038DEE27-9A75-459B-938A-ED14B51CF6BB@cmu.edu> X-Mailer: Apple Mail (2.3445.9.1) X-Original-Sender: awodey@cmu.edu X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b=xaBX3W+V; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2607:f8b0:4864:20::830 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , --Apple-Mail=_3A97C90F-8AB8-4989-8994-F2ED96967635 Content-Type: text/plain; charset="UTF-8" Friends, The Department of Philosophy at Carnegie Mellon University is looking to hire a mathematical logician at the assistant professor level. Note that HoTT is included among the possible areas of specialization. Interfolio: https://apply.interfolio.com/69329 MathJobs: https://www.mathjobs.org/jobs/jobs/14697 PhilJobs: https://philjobs.org/job/show/13806 Please share this information with anyone who may be interested. Best wishes, Steve -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/038DEE27-9A75-459B-938A-ED14B51CF6BB%40cmu.edu. --Apple-Mail=_3A97C90F-8AB8-4989-8994-F2ED96967635 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset="UTF-8"
Friends,

The Department of Philo= sophy at Carnegie Mellon University is looking to hire a mathematical logic= ian at the assistant professor level. 
Note that HoTT is included among the possible areas o= f specialization.

  Interfolio:&n= bsp;https://apply.interfolio.com/69329
  MathJobs: https://www.mathjobs.or= g/jobs/jobs/14697
 = ; PhilJobs: https://philjobs.org/job/show/13806 
=

Please share this information with an= yone who may be interested.

Best wishe= s,

Steve

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid= /HomotopyTypeTheory/038DEE27-9A75-459B-938A-ED14B51CF6BB%40cmu.edu.
--Apple-Mail=_3A97C90F-8AB8-4989-8994-F2ED96967635--