From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,LOTS_OF_MONEY,MAILING_LIST_MULTI,MSGID_FROM_MTA_HEADER, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 320 invoked from network); 13 Nov 2020 21:55:08 -0000 Received: from mail-pf1-x43b.google.com (2607:f8b0:4864:20::43b) by inbox.vuxu.org with ESMTPUTF8; 13 Nov 2020 21:55:08 -0000 Received: by mail-pf1-x43b.google.com with SMTP id b11sf2709269pfi.7 for ; Fri, 13 Nov 2020 13:55:08 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1605304506; cv=pass; d=google.com; s=arc-20160816; b=Oyu4LwtejCxu1E5aWWhY3YvCabCy6uhWIJei8djQxLZKJKVbJxQgWkM4w56vPvmYFB ANFGhkuRLUMdoU5IGftv0IS8pEfQffV6IwayY4hs8JvweoZrtOF0avu0WPJVula0A6zB 9X2dN1ONfhLvfNC5x4mSJapP+GHzaK7G7SpmPgYJaslJXIaHLrsiiXq5/HoIsV/wB7tE MF1uzwO93DjQw4yWdllgZKdJhc9Fq/JH1TA7JrNnnJ5rg7NBNYPX1GsGWxwRgX4Un3uK bu7S/tRk+a4BA78UCjoG2ZwZ3UfyxG/eq6NeLtVnh4kqVLEYY4/Xbz5sI1Do+LecQPQ1 +Yfw== ARC-Message-Signature: i=3; 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:mime-version:message-id:date:user-agent :subject:to:from:sender:dkim-signature; bh=pDarBleLuuSeTE3X0me5cHYdWKp5A21gkFS+4ZhBE/A=; b=jYEMLjRrqdjCSU5ECWYEliNk+eZ/YNLqZwqJXS+VpU70YXruGbSJ8xoGaeBdDeiCqu xu0T1ysz2d7FFk8rOpBP4oMNQF9YzZofh7KrpmP6CPx4set5sUkht0aPILSVtMyUBJ0a 2NY+I3j9BEiAsML53TwKKFFcQpAQ96l9mfh43HXozcPNw+kHG9kKUwh4CIYZLXPaMMJF Ok02hXEz6zMSW35jdkkTYwYI0uI+FISLqla3YnFAkfvXdKKRIAiIeBTKxSjM6ssqwQve xVjR774fhNAf8smCc5us56PAU3QshW++9NvS80VJyzP/z/h1FlZP/cnesfjkpWz8YNqw w9aA== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=d+x6xMiw; arc=pass (i=1 spf=pass spfdomain=uwo.ca dkim=pass dkdomain=uwo.ca dmarc=pass fromdomain=uwo.ca); spf=pass (google.com: domain of jdc@uwo.ca designates 40.107.66.99 as permitted sender) smtp.mailfrom=jdc@uwo.ca DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:user-agent:date:message-id:mime-version :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=pDarBleLuuSeTE3X0me5cHYdWKp5A21gkFS+4ZhBE/A=; b=jwO3IEZ2BTVS6+vlnZIt9pP/vZJKx8mlQ9nS5/Gzdo/PeBYrhXdkcBqtbPQzCdQbzg l1F55psAD+6Q1O4ioQ8c0pbpq0a+i1Cp0WASvTx4gPRjXo8pykD1JiZBZM7863D/Qx3x 22WrzigwmKH96lXfys4l6wFxOFLRLQeGIpqOs7kU2wufCmpqOSUfQTfC0mb9HtOzyOFm UoCxxU+BrUeaTRJZwYm+OQyjdnW422rBM8ce9yxwCguoNl9G7hw/+WBCUlGekYARPeCp zpYzQgN8sI5OHOqFdVZl+R58frNUbdh3LQtuE038wBDkR8Tf+AOvV83N3u0yqavtb695 cizg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:to:subject:user-agent:date :message-id:mime-version: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=pDarBleLuuSeTE3X0me5cHYdWKp5A21gkFS+4ZhBE/A=; b=VNS/nrrMUmbHZzHt4yBNG4OMnaV/uU/kC+D+3KoAXzd8tjfa/B9ytkT/b4FDQ2Ufgt rQuwo451e0GTy0XEzbIelYecPCSlzVho8uLHqBc+FaibWFnGBJjN7jA9Y6RKh0yv/BFg ov/BeajYLLMH1+EdqoYD2HCntby27/hw/dMxkRwov0c6tDuApBgkGwZexntmMyLRzo2V RDexejGfkbLH+qYLd/zV2/Dm4svrnqWhRsRNfgk0cSWK8lzROMN6HeRGOefAsIdLKyZT 5QLtMuzBA7XFSefkpksAyhZ7DEsa8lxxaAc7TuTa98syHIH7GfWFYZiUcDuDbbVvFmV8 yrHQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5310b8Hyjk6YRS2uIE/lyp0EErdPjrJ0cx0/msQ08jxhCb+NExM+ O7/PJS85/WPHu9yMUHW+58M= X-Google-Smtp-Source: ABdhPJzN8AHu6O2k1jpJyVTKT0D1n65sEa0mKGG1t8w//p583xsz0a4coZtNXv1fsaAdQbjWDoxNyQ== X-Received: by 2002:a63:4a57:: with SMTP id j23mr3376317pgl.296.1605304506529; Fri, 13 Nov 2020 13:55:06 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6a00:2a8:: with SMTP id q8ls2673163pfs.9.gmail; Fri, 13 Nov 2020 13:55:05 -0800 (PST) X-Received: by 2002:a62:784c:0:b029:18b:6050:9623 with SMTP id t73-20020a62784c0000b029018b60509623mr3752565pfc.13.1605304505599; Fri, 13 Nov 2020 13:55:05 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1605304505; cv=pass; d=google.com; s=arc-20160816; b=dGFD1q6SE3CXeK4tNGy5ckRJTx9OWWoxURi4Jhz1DRihuJMqn8TzfjK/jAG3DaF5Ls 9nxiWSyvxeMGyZtSfE9Admbhkw7hbkwiqhHR052qxT+n6iutufkDHiC9sTM9uBMaqvv4 DcxWFWUOWGrp+MQQHL/mhOk2m+RaLw6w+MEPZAYM0JvLDrFVmDWpe5gwTJXeGIe1gyUT 9LGrMFDp+K/1YBGkTKT/PWqXnxsIdhqmgLnSloj4TnCkxXxiDKXFKNEIrHF+W5bETdxU Spoa5Bi4EM0N+k3JOR/JxBI8DEV5vHlkdm5FR0i67KsTtP10xxo4fF5163TmEg8wXQKA ddUQ== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:message-id:date:user-agent:subject:to:from :dkim-signature; bh=gY70/cihabqJV6tMCJfzh+omCzAvZ991rOiYowamoYY=; b=am6YfyLxi9j/MNzorIG8xSF+N9EgfEMTfJJJ43G8NVPEwqIoGFK451sOaFiDBmAm3J vuRWID65UkrM+Qe33XRMcupvipHmZeCXQ5MndbSe9SncosyIu3EOWDLbD3jTOCwMfCqH LnIS0gJDOc267TJtr63m7GDpi7CZ0LnEAaYFYtF8BEmRV2rtr0cP2WQtde5Ebil2//7h 6Y0R32h15g8sexsmNOhNs3VS3NgcPhQ3PcxRjsqvcqYnD7uzC3qxUm2x9X1K025DoK76 wbU0dp2UJRPvSFOaaFT8huzsvowrN85koKwktewT4WWoBaKGYGMz40FF4XL8dS5jIHT0 szFg== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=d+x6xMiw; arc=pass (i=1 spf=pass spfdomain=uwo.ca dkim=pass dkdomain=uwo.ca dmarc=pass fromdomain=uwo.ca); spf=pass (google.com: domain of jdc@uwo.ca designates 40.107.66.99 as permitted sender) smtp.mailfrom=jdc@uwo.ca Received: from CAN01-QB1-obe.outbound.protection.outlook.com (mail-eopbgr660099.outbound.protection.outlook.com. [40.107.66.99]) by gmr-mx.google.com with ESMTPS id d2si784935pfr.4.2020.11.13.13.55.05 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Fri, 13 Nov 2020 13:55:05 -0800 (PST) Received-SPF: pass (google.com: domain of jdc@uwo.ca designates 40.107.66.99 as permitted sender) client-ip=40.107.66.99; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=M+eJ9zXqt+XxXRPW2Ri9508hGowEu1Egx0ChSE8VXREYqwRN1hhPrBPeDMyznR/wEh16+7ul3Gmrot5CJM2x7I8fasLcDk0ILIfwSm4NWdhFAI85Z+o8521MjbHc9PXIEuzWbAF+/64ihjs/JmVrWdMfXYr49A4tCirVkNojok6C5v0EUKFe1VA2d+OkAxp/8mnS+tjASh4athdxA8aBsADDXdJZISMplmbQPlbngUUE537UCtXgTukNrcYDvaAFNr71Wi1pZygDNvMN2VbXsqzj6iakm/far8SitUgdZ09Du24ZD1BjuVqQI7BS5MrAdM0epNdLSzAuWJUWc9eQVQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=gY70/cihabqJV6tMCJfzh+omCzAvZ991rOiYowamoYY=; b=UCNYNGEePPoCkV4ZfpvGcBxOMmYDopemnUbhFc4h8PevulJ/ICZFYe3/eOR7aemEqj7uj59AnUuyw05NnXlg+sa0LadK2eBOOpwrX2lOCtJvU91JPXmXMKiFME/tRKN+Piplbqsv78M3wUZ8uyjcx/BKI+6/SOQI7rvYPz2KFDMSXBD5YjZes7yL5IlTxPNDIlnFbbDXZXwktmB1qK11MHELyJLxAibiQ2pnwcrmz/HdUxueMzEmJP9KI8YpfzapV5C16SP3PPIIF7er3aF8Eeeu1NNQdrB55mUhz8/YkqK/5tRs5nwTl+OOnOIVjO2USgDKBvBQC4B/PSm5n7NTQQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=uwo.ca; dmarc=pass action=none header.from=uwo.ca; dkim=pass header.d=uwo.ca; arc=none Received: from QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:30::22) by YQXPR01MB2677.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:49::19) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3541.21; Fri, 13 Nov 2020 21:55:02 +0000 Received: from QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::4090:458f:138b:f459]) by QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM ([fe80::4090:458f:138b:f459%6]) with mapi id 15.20.3541.026; Fri, 13 Nov 2020 21:55:02 +0000 From: Dan Christensen To: algtop-l@lists.lehigh.edu, homotopytypetheory@googlegroups.com, types-announce@lists.seas.upenn.edu, categories@mta.ca Subject: [HoTT] postdoctoral positions at the University of Western Ontario User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) Date: Fri, 13 Nov 2020 16:55:01 -0500 Message-ID: <87d00gexca.fsf@uwo.ca> Content-Type: text/plain; charset="UTF-8" X-Originating-IP: [99.244.22.253] X-ClientProxiedBy: YQXPR0101CA0032.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:15::45) To QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:30::22) MIME-Version: 1.0 X-MS-Exchange-MessageSentRepresentingType: 1 Received: from speedy (99.244.22.253) by YQXPR0101CA0032.CANPRD01.PROD.OUTLOOK.COM (2603:10b6:c00:15::45) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3541.21 via Frontend Transport; Fri, 13 Nov 2020 21:55:02 +0000 Received: by speedy (Postfix, from userid 1000) id 80F514C00F2; Fri, 13 Nov 2020 16:55:01 -0500 (EST) X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 70b46780-4ac0-4124-9f70-08d8881ec60f X-MS-TrafficTypeDiagnostic: YQXPR01MB2677: X-Microsoft-Antispam-PRVS: X-MS-Oob-TLC-OOBClassifiers: OLM:9508; X-MS-Exchange-SenderADCheck: 1 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: IB9sNXY1ZUXh+B3cnxOZ8ZMBa9RO4BJ3bazpcfMebCrSwGcMGUEa+NHHMexeMOpnlc+vYUL/m6IBVxXzKN/40RtnF0eNoFdzVLN7wEpgsxOLNtMetPPOIPUmSGawXI5TPHgVUs1kVfTNTOYTjhZXjEJpSLiRDltnv/fqoxCHfRxjhStBef8650pHXj3g3ZiMmHcUGfmkCajaFUACFFgtpPh1sKen63K37L19cRbfKqdjjVcsBcaVICQxyZXV18gGV2bqlDLdVChmRrjJn+vmN8Y5oe/cOvOxoFQfqjLyM9D/sRghEAukRIurG4UBN/4QH8ly5ECY0XELL6fcbIvPE/K6UxPgMDOwAvbVU+GlpjtzFH5y11LdAHhUin2Exl+jlqd6Wz8ZlFz39eBRuGC+BQ== X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(4636009)(366004)(39860400002)(136003)(376002)(346002)(396003)(26005)(36756003)(426003)(2616005)(52116002)(86362001)(8936002)(186003)(966005)(8676002)(5660300002)(6266002)(2906002)(42186006)(316002)(478600001)(786003)(66946007)(66476007)(66556008);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData: P6gJwq89/uPW3/0upWpLMv4CwNG0ZtH81Anwnh8AwcRHPOhz1xG91XEt05am2RDAFMnaPZ2yDubX0YWRJPj8raOsMT3tbTNAf925d86nTHXCCV0t5ZqBkLIRmm9Xn3tMnlH4iXlQoAQsbZ4ocVto/8SCOzEQlWhEIxNGPOpUNL8xtRULqAL74iTw77L58Kuy6lCCIUw+P2x3sqBhk1hgQg6BmE4XodrLiax7kCeGWj1kuyaziw/hB4ak9aB/N0eyXCec4i6U6gwipA2gy7fNQPEHw9lkgbCN/Yn4v0wTs3onFnhzovvOKD2RhgwzUEn1gMsQzp4np/cxNEN9nu8jER9tsHIe3pEP1bg18EeHbmu01onml69qawLCVwVPRnkXly9EJl57xn20l95S8abPR7dLIZAEJlVvanG9CIEDJmhT3CexEoGqcaRyK4v8JNmpG+l48FOnFAQr8xoRjRcYJecaUkQ/vDwg1L0bw42ikWxbcfGHhcSf0VLgLZf11qyZCdfPImSUDfJCp4O5AgHoVoEhSm+aWHod3+/bIzTeG2rTiF5OqCKrZ6nZyhEzbUnpvKu+iUA8C30WhDSxvp/ABUOgmtpeQQh0k6N2Hnv4ZTfUrotJrR4mtVVJhJaiJlcl7YsZ1r9lsOQHVR8zSY+QFA== X-OriginatorOrg: uwo.ca X-MS-Exchange-CrossTenant-Network-Message-Id: 70b46780-4ac0-4124-9f70-08d8881ec60f X-MS-Exchange-CrossTenant-AuthSource: QB1PR01MB2753.CANPRD01.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 Nov 2020 21:55:02.7033 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: ad93a64d-ad0d-4ecd-b2fd-e53ce15965be X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 6Wqq6YN3F5jBdCD7XWoewkdi+QaRcMYI98HZ+SMBt2v1pshkp/ElKsjiKOO6mSXp X-MS-Exchange-Transport-CrossTenantHeadersStamped: YQXPR01MB2677 X-Original-Sender: jdc@uwo.ca X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=d+x6xMiw; arc=pass (i=1 spf=pass spfdomain=uwo.ca dkim=pass dkdomain=uwo.ca dmarc=pass fromdomain=uwo.ca); spf=pass (google.com: domain of jdc@uwo.ca designates 40.107.66.99 as permitted sender) smtp.mailfrom=jdc@uwo.ca 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: , [Please forward as appropriate.] The Math Department at Western will be hiring one or more postdocs to start in summer 2021. The application deadline is December 4, 2020. The full ad is available at https://www.mathjobs.org/jobs/UWO/PDF and I have included the text of it below. The Math Department has large research groups working in topology, (higher) category theory, homotopy type theory and related areas. Applicants in these and other areas represented in the department are particularly encouraged to apply. Our department has an active postdoctoral program and a busy seminar schedule. More information about the department and the School of Mathematical and Statistical Sciences are available at https://www.math.uwo.ca/ and https://uwo.ca/smss/ The positions have a reduced teaching load of just two half-courses. A "half-course" is a 13-week course meeting for 3 or 4 hours each week. Note also that the cost of living in (this) London is quite low. Feel free to contact me with questions, or to use math-pos@uwo.ca Dan ------------- The Department of Mathematics at the University of Western Ontario has several postdoctoral positions available, in any area of Mathematics that is represented within the Department. Information about the Department can be found at https://www.math.uwo.ca. Each position has a two-year term with a flexible start date of July 1, 2021. The salary will be $52,000 CDN per year, plus a tax-free research fund of $1,500 per year. The positions will involve teaching two half-courses per year, in addition to research. Candidates should have completed a Ph.D. in July 2018 or later. The filling of these positions is subject to budgetary considerations. All applications should include a cover letter, a curriculum vitae (including publication list), a research statement, teaching statement, and at least three letters of reference. At least one letter of reference should comment on the teaching abilities of the applicant. E-mail inquiries may be sent to math-pos@uwo.ca. Screening of applications will begin on December 5th, 2020, and will continue until all positions are filled. Western University is committed to employment equity and welcomes applications from all qualified women and men, including visible minorities, Aboriginal persons, persons with disabilities, and LGBTQ persons. -- 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/87d00gexca.fsf%40uwo.ca.