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=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_DKIMWL_WL_MED autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-wr1-x438.google.com (mail-wr1-x438.google.com [IPv6:2a00:1450:4864:20::438]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id bd5c88a3 for ; Sat, 1 Jun 2019 12:54:39 +0000 (UTC) Received: by mail-wr1-x438.google.com with SMTP id a2sf5433893wrt.6 for ; Sat, 01 Jun 2019 05:54:39 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1559393679; cv=pass; d=google.com; s=arc-20160816; b=uYAwpV+BYoIFbtdy6DkkN90p6/mNvTJXU10FDYkfd8awcYdqK8yx6gMSoDNsFXCYsU d2FsMw5FyVOYtNmrqDC5LELjim74vS5E50N/+QgDRY2QGhZ4mMTjbf0VPxMshuiwcOwk QbmWiIhZK4Vm9x/eNaLts312yMg5Lj2CQg5BoHKJ1WIdk+VGoO4UKXzYTed/dFrJDxr2 sVeFZp6Ib3pZry2RSkiYPaKTTz2O8w+BEtkb560sFrngTCeSgZC9aYb11nIG5IkM7H4i kQKsq9nLmEuYMzN+B6licEvZytPO3c7fVgJbLvdOiKH9odto7gon++U4ymVeHDAs1XyZ ufvg== 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:subject:date:mime-version :reply-to:content-transfer-encoding:from:sender:dkim-signature; bh=aNHWZdFVm4c99OtSH1dl5c7ri2Y6H+Z4188ZUWjuwQA=; b=xsHQzXF+1/h5jsviUZhzMDaw/O/xKQvUSziAsN25rrrwMUDmCvN/Hfys9jJuAX1cvI QrY1X1JGSJgpS0TTTj+XjHzmGkJXHc17VO9CHHZPTzWZrbinVtHWAQlCcjefoQyyBhjf vaAZ0tTpoE6qjm1utf/zFlFhjEkG04qRZTr0wVJl3jN8G/tHs6pKGWbb3tAfRE3uzCvF f7QUb3KsVL3iXPX60bMZk2k5tKAEDzah1AuO0Le3wvPeWRpN2S5x+4NjrG+SPbOojTpW yWwdto+8iTUDASRH4x9EegHF6we7hKl1oZ8CvvWTqxGxKU6yeJ/gyYpKuHs+pDnv3z3F vOtQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b="EiJ/fI6F"; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2a00:1450:4864:20::232 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:content-transfer-encoding:reply-to:mime-version:date :subject:to:message-id:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=aNHWZdFVm4c99OtSH1dl5c7ri2Y6H+Z4188ZUWjuwQA=; b=lFakWry9kMlg0+zjM0wc2XAoWjCv+Ibgz47xtZH5Y5qiUGiiZ2VbKWWP0vYIqrX8Y5 R1VUas8CXI/fb+02sU7vUPk7Agd0cbtaqbi7uYDmD62m5A69ZucUaXlrH/vmqFDKgrua 1QAAikusMyfBd4f8KXrad1djOoe2vRt1LEEXBRH1Dh+eNsUT4Cmjm/2plnXI9AMFn8I9 ZgJMNw++TOPOz0oG3KZWURr8Zhx1P8JZgB6W4BAveyyaJyAknq9JYXu1cNUkP90PFhnq injCQQDHVDyTO696I9JddPVaFwY0AsQObPQqPFYfY3jHsZPskVMV4Ed7ZmtWV3TjLa9Y 5+/g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:content-transfer-encoding:reply-to :mime-version:date:subject: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=aNHWZdFVm4c99OtSH1dl5c7ri2Y6H+Z4188ZUWjuwQA=; b=ZvCeqSjLRao0F1onl2Ru+9YblzHQQlED3Ak6PEcMESDGQmSCYyGInFLQY6lr2l3QED LWjxeWdjYPSndlvmDQe2YWMoONHe5ulgiVVVCBj87mz335DiFQEOdPL3p0YXq/erPojQ Mc+b5vs3XCpVUzFWs9qYfTWW0z2vfPkyLziuDd2FrYxa5iii/VP0Jo2ecixFbfeFFqEF PkwKXVFhHA0fQ2cjKhiP1ACp6E6W1vU/n9nVH03D1btmPV+PDZOBsyNcBlsmHTtwQ4KV vkXaD7qk69rsozyVnqWuz1SanNw4TmM4RlFTDu6zmfjus1cUeS7j77k7cZxlVf1XuWka vx+A== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAX1XSfitVZWnwyea5PYsJUpmfCem2m4G4HoPVJaVxJR+mbNAAvh 6lMNWz7A6yZ841G1460z1iU= X-Google-Smtp-Source: APXvYqztuxtD0BEPBLqN3gUL5vhNGhvK14atQV9IqnJleTvY8XqWWa217vn2eGhnUrPi1HBAEnSInw== X-Received: by 2002:a7b:cd84:: with SMTP id y4mr9033016wmj.41.1559393678866; Sat, 01 Jun 2019 05:54:38 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:adf:fb4f:: with SMTP id c15ls625620wrs.11.gmail; Sat, 01 Jun 2019 05:54:38 -0700 (PDT) X-Received: by 2002:adf:fa88:: with SMTP id h8mr10621552wrr.32.1559393678216; Sat, 01 Jun 2019 05:54:38 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1559393678; cv=none; d=google.com; s=arc-20160816; b=rE61MUgGKAl/y5uLP2Z30u07EA0fqGGB/Dw6MAB4tJyRnrJSRHRheFDgDc5oWlQxEI T0MfshSqXHVeq34eQegWAJ3zIxUs8xGlJxdnCa+MfyxepvsVU7XiQIx0PxlGqbTSSzZX nrndbScBnqwYE8PTX7PGWsoWu6Rz+ZOsXyYAtN7kZgV8Ivyrc4e76dK/rFSzyQPGeQfE 8n4Uhp185VWGt/dJTWIqKRBCGx9tzbhKi/6iElhNZZvIY0GkVOPoEiA1RiAWuOQcj2YH +JvSPe1hAy9kAY5OK7AXNyKMVm8s19/aae5ocJmw5nUP0t5EBnBs6SMGp99drb8re7aj 80vA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=message-id:to:subject:date:mime-version:reply-to :content-transfer-encoding:from:dkim-signature; bh=/EWZ9SpD6DwXuolyikwGKxVoF8DWW+mGDiseKYxQi60=; b=guZSp9m0amwWuL/hTV6YvG/3D2GPL1VAhNFpBi+0DSBGPDbFAKD5VRETxT7JI4ANk6 WdxTo7fHySKwCuRKWLshxYtFDVYPBAAqcqT5dzswZw+J2yJWva0ynkU5gpLETWuSu4Es BaudmDui5fK1Nq0ZTCUpJb7QIKFXVZw6G72rWRhSPegSi8lGRsVwG4C/sJrJkJ+tAnx1 lEpy7vbTOdNE3MM6sUhGcyuTugyKpaHJmieucRqgwcauHQ/fe10/hrxjGRIwaIWxhqvw Q5hQdsAb0idtGL1b0X8ZynX6YaarVZu1DqNjRxP4drwHbUjynVC+eVWQKLU2hRl8qNas 6Owg== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass header.i=@cmu-edu.20150623.gappssmtp.com header.s=20150623 header.b="EiJ/fI6F"; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2a00:1450:4864:20::232 as permitted sender) smtp.mailfrom=awodey@andrew.cmu.edu; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=cmu.edu Received: from mail-lj1-x232.google.com (mail-lj1-x232.google.com. [2a00:1450:4864:20::232]) by gmr-mx.google.com with ESMTPS id z127si422636wmc.1.2019.06.01.05.54.38 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 01 Jun 2019 05:54:38 -0700 (PDT) Received-SPF: pass (google.com: domain of awodey@andrew.cmu.edu designates 2a00:1450:4864:20::232 as permitted sender) client-ip=2a00:1450:4864:20::232; Received: by mail-lj1-x232.google.com with SMTP id r76so12122085lja.12 for ; Sat, 01 Jun 2019 05:54:38 -0700 (PDT) X-Received: by 2002:a2e:9e4d:: with SMTP id g13mr2288397ljk.80.1559393677485; Sat, 01 Jun 2019 05:54:37 -0700 (PDT) Received: from [192.168.0.39] (cm-84.208.99.126.getinternet.no. [84.208.99.126]) by smtp.gmail.com with ESMTPSA id x23sm1839752ljb.29.2019.06.01.05.54.36 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 01 Jun 2019 05:54:36 -0700 (PDT) From: Steve Awodey Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Reply-To: Steve Awodey Mime-Version: 1.0 (Mac OS X Mail 11.5 \(3445.9.1\)) Date: Sat, 1 Jun 2019 14:54:34 +0200 Subject: [HoTT] Postdoc at CMU To: Homotopy Type Theory , categories net , CMU HoTT Message-Id: <3CCE3734-DDD9-4E93-82B8-D5EB69667635@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="EiJ/fI6F"; spf=pass (google.com: domain of awodey@andrew.cmu.edu designates 2a00:1450:4864:20::232 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: , Post-Doctoral Researcher in: Homotopy Type Theory / Category Theory / Type Theory / Homotopy Theory Carnegie Mellon University / Philosophy Department=20 The research group in Homotopy Type Theory at Carnegie Mellon University se= eks a=20 Post-Doctoral Researcher for one academic year, with a possibility of renew= al. =20 Position to begin September 2019, or possibly later, and continue for 9 mon= ths. =20 Candidates should have a PhD and research experience in a relevant area=20 and a desire to collaborate with the existing research group,=20 which consists of several faculty members, postdocs, and graduate students.= =20 The position is contingent on the expected approval of funding. Questions about the position may be directed to Steve Awodey, awodey@cmu.ed= u. Candidates should submit a CV and a brief research statement to CMUPhilosop= hy@andrew.cmu.edu. ***************************************************************************= *************** More Information: Please visit =E2=80=9CWhy Carnegie Mellon=E2=80=9D to learn more about beco= ming part of an institution inspiring innovations that change the world. A listing of employee benefits is available at: http://www.cmu.edu/jobs/ben= efits-at-a-glance/index.html Department URL: https://www.cmu.edu/dietrich/philosophy/ Primary Location: United States-Pennsylvania-Pittsburgh=20 Time Type: Full Time=20 Minimum Education Level: Doctorate or equivalent=20 Salary: According to Experience ***************************************************************************= *************** Carnegie Mellon University does not discriminate in admission, employment, = or administration of its programs or activities on the basis of race, color= , national origin, sex, handicap or disability, age, sexual orientation, ge= nder identity, religion, creed, ancestry, belief, veteran status, or geneti= c information. Furthermore, Carnegie Mellon University does not discrimina= te and is required not to discriminate in violation of federal, state, or l= ocal laws or executive orders. --=20 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 e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/3CCE3734-DDD9-4E93-82B8-D5EB69667635%40cmu.edu. For more options, visit https://groups.google.com/d/optout.