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,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 31046 invoked from network); 4 Dec 2023 15:28:03 -0000 Received: from mail-qt1-x83a.google.com (2607:f8b0:4864:20::83a) by inbox.vuxu.org with ESMTPUTF8; 4 Dec 2023 15:28:03 -0000 Received: by mail-qt1-x83a.google.com with SMTP id d75a77b69052e-42562b64c66sf1083891cf.3 for ; Mon, 04 Dec 2023 07:28:02 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1701703681; cv=pass; d=google.com; s=arc-20160816; b=q+iR6bIkA3026ChtLwJRj/gQom8qaaueuvbfoTBAEIAjV97aJ/5lfKQ6eOrYjd41oc 1TE6y0DGQy4k17LmyWpbsviax81mJOUSQY9nMxRPypQBmp9gmKiOypGnwb+cHF07NZT7 0IYmNioUW3af84nWZbVo1VcuNqUqTz4tlNrqln4+j8F1PGo45eMP6iTp2jGeuOFhE062 GEwplnDhOL3afLp8W/EkvtBUmTtWKG96xDFlpyLCxCT+u+P+47BaMa6lX7dwEVqmF0Ql ZLCl5L64YvPS0AoEbu7ZhYoqFdXVeeSnJLVoCnPMEJRZOs8TN7JQZHVG1AJfj68C5ahK jsSw== 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:user-agent:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=M9/YOQH6KUEmu4xEQTvr9Nxa7Ae/dSLdtSLRcCymHzU=; fh=F81OSmJ63wErVZZfZ4zVphKbcrC4KULi1+dOG+IPD/I=; b=BA3MEAh9AGmzm5snJmKKrkRv2D6pth6KeoBVGfbIDWuEX1B2v3s7raZVpeDY4ZJ6Ad b/OUzxta1mME1jfuZ8YxmVcAPlDbk6aH5Nu9syVvHjucooX/ZTr66cQRUed/9C7WIxZN v2voys54tB6neCjztkUOtepgHu/dSr3qyxv4Y1HNLLxbvNeZyW4B+ecwuH5aFM+Oc3OX YtH60ihvfMFexy5GVrOwytGi5o9yGcrXGmxtSbNezsVNU9QyeSk1XUsT6qshNvV02LcI 8KAEsY4SX28yuaaL4OAEDhXKvL63YRw6UeNCyONiijmGhjajOGc6od7RfgIObKd62ejQ gx4A== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=dBYowGxj; 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 2a01:111:f403:241d::701 as permitted sender) smtp.mailfrom=jdc@uwo.ca DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1701703681; x=1702308481; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:user-agent:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:from:to:cc:subject:date:message-id:reply-to; bh=M9/YOQH6KUEmu4xEQTvr9Nxa7Ae/dSLdtSLRcCymHzU=; b=X9veBk1l/1BwgN9J1CuvxtXORDHiw9qkQIQ6FXzi4O59WEd2IkP4xOHBJEkuggkRc9 uh6VaeV7Ymu0qrlLL0lsUVvvhm+9jgs7UyeTZMXb77w8Tqp21CmkwqWzh9Mn8o/uGqHW aYZ7VG0vt7G2O8NXVQRFi04pMv4/9xLoWm0sJQzUYAVX61lIZZZ/z3Sr1/ibjJ60yjK1 I38vCciuCChI7o1Zy72/ZWUoMzuadc+wfmu3JWLF9NllQtVt2deE1wr1cGzK6OGNAx9K JsRxvu8kenZ+QWOGsuCaN3IwTjz+r0rvRq7h1ujo8PSBQQp41uTyvKMvjWjjGZFmQcPg 5V3g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1701703681; x=1702308481; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:mime-version :user-agent:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from:x-beenthere :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=M9/YOQH6KUEmu4xEQTvr9Nxa7Ae/dSLdtSLRcCymHzU=; b=BAyPDfvWDLH2Jate+108iWv/ZSLTOfVVF1hWO1k+vCrqEmNcnhLVaVVUcD3ngzjWms z6acCN4Xjm13HZCV2N22y6QZfkgsalWmNR6VUG1nk42x2UwcvIxh1PvO5vY9kF2s3Gjz vv4x0BnR8VE2Q/k7mh1PPwq2m/N/E6deVZyviZeK6xq9LQm16yJlS2erOmdp2Fmzkm9W fWpz/f/iNuv3qdpwAnX4xmewWhLZDbRmb31Pk6fJxOH80+rjKBhu4445nVvHmKXXnhoM xbi4GV8TRq5q2TyouMS5mrcZ99xmN51k6TslY5MrSU/Ukimatjm3l2kwlKk8ojL+47bE /PFA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0Ywo8U2kAoX9eyVfRl6/C8oAh3rsaCwrmiyHp/aA1XNJLVpczBN9 tRgh4VsP+bEPp7Ypq4PPaC8= X-Google-Smtp-Source: AGHT+IFM0z1XdC/30rUeQNfd988CMa8KOGTSwCWU8M3YWd+zNOyVPCrLxJlAR6n7Xz3EGcm8+1CkBg== X-Received: by 2002:a05:622a:1828:b0:423:789c:659b with SMTP id t40-20020a05622a182800b00423789c659bmr2406638qtc.60.1701703681524; Mon, 04 Dec 2023 07:28:01 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:ac8:5d01:0:b0:423:72b2:6135 with SMTP id f1-20020ac85d01000000b0042372b26135ls2700783qtx.1.-pod-prod-08-us; Mon, 04 Dec 2023 07:27:59 -0800 (PST) X-Received: by 2002:a05:6122:99c:b0:4b2:f182:2b19 with SMTP id g28-20020a056122099c00b004b2f1822b19mr224239vkd.29.1701703679708; Mon, 04 Dec 2023 07:27:59 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1701703679; cv=pass; d=google.com; s=arc-20160816; b=lnW4raIm5JQb+p1oOe3STDwFPoX/Ox2EDVh2tnRMks+1d7W20OzL7SEmezosIBrfkv zVPcoopyA5Hgs13E8fdAEcTgADgJ/urcL8B4Vl5RI+y8rHMYbnE1sBgcisFRVPQwM83w shdunf1OmjjwQH5dMGVbqgbJaQ/uzgW+LMEgPsVnh8pJiufQwJbPCWyIybisBlR82Fsn TSZlk1lnR3+iLieLmgyp4mPScwxY6S0ebrQTr/DJcJZjVKiO4AddQ/hGkhODmslFbZwE cXwLj+90sx/DXEoRoJOOhNh/LXWdBaBPrzi+KfKBDWlX6SJdvWkbgG2ECnm3wbwJ61YH GArg== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:user-agent:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:dkim-signature; bh=p0ucRNHWxByuLUoJSR6vRYU9eVv3MOgVlRRXWqcHj94=; fh=F81OSmJ63wErVZZfZ4zVphKbcrC4KULi1+dOG+IPD/I=; b=imYZEeB8Ada8TaD0lsokW8WUu5vAjUsKyNQdhNItAp/MuFvOR0FpxZ191st2R3VVqB 7QRHRJBYlpKbvAc/oKfl9E+1knORitIq6gM7aqZgUKmgxoFhPsHa0xEjTU9QktI/iFUV 1pWcTik3Z8JrSD68/nqxJip3GFMQQMFRqHticM/MeH/B31v55oBH0h6WungsE309odUX FF/m/MNfbxeoadx52IikSzY3Pcq1DMSrvWQ8dhcXGXPwTplfmhcvIxPL9mS23whxGDBM cJfE92j457nWX2IzJ7mria/FjDJCE1R0nOq7HsmhQPeZMIYzMzCrdZFzLEVAYDoRFWZx c0dw== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@uwoca.onmicrosoft.com header.s=selector2-uwoca-onmicrosoft-com header.b=dBYowGxj; 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 2a01:111:f403:241d::701 as permitted sender) smtp.mailfrom=jdc@uwo.ca Received: from CAN01-YQB-obe.outbound.protection.outlook.com (mail-yqbcan01on20701.outbound.protection.outlook.com. [2a01:111:f403:241d::701]) by gmr-mx.google.com with ESMTPS id bq6-20020a056122230600b004abd0f58a5esi472184vkb.2.2023.12.04.07.27.59 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 04 Dec 2023 07:27:59 -0800 (PST) Received-SPF: pass (google.com: domain of jdc@uwo.ca designates 2a01:111:f403:241d::701 as permitted sender) client-ip=2a01:111:f403:241d::701; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Gna4fFPzNrnAxCyUR9eLToVigoCK3DDyw/5Bdd0wWLkk21CiI7OHzZFMA3nzyNermI53zL/dDOM9kqplyT3TMPQd62sTNpAL5I8rlhCRIWqArifbIA/KZqoToe1IlEt21Ff4t0OnRSOI1yd+y8Iybpqe7v3gqhL5nA9Am4wfVSh2lCpIJqbPv4nVNIKu9DNO3OB6KaLmpPi3TxqKFn9bixbyIrqg0cPDhNDqu1ha3dKjYxZYCFDxHjRvbsotXkWbbzHtaBsKRjMD+PLoML59MRYHKWwixKaR45K7wxbGXjcrTwu1CRqc5fMuhbP3KAnj4Biy82vgnnuxDgvKL3UGLw== 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-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=p0ucRNHWxByuLUoJSR6vRYU9eVv3MOgVlRRXWqcHj94=; b=JbXSVs/R/K/tX7VxMXeEBcmGm8NSLJOHXXXWxc3hb9IGRc7waspjYpLURCPQ+ZjbZQcqHkq6z7wnm2HVXtEtZF1I7gRMzsz3mGVzHqaJlR3p8XYCYDafbS/LLrt/PqygSFpdIxCjPnRjmT3w5ksRcxL7LNo7+/w/Bx9DClRtXuIR3UCo8zzY/bZ7rZ89szppmCm41ojbBWuQ7uLdy1SF/YerI6bNep4FlXJVBDKzPQ+d9i/D8FUCueWmINCRwf0hIJ8vZ34EaFa6PIrean6zglweRz3n5cKVs/6FyP06XbJ6YUElV9LPOTY8rPZ3Z+qp/nJbcfEOvWxrw2F+jLMBtw== 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 YT2P288MB0089.CANP288.PROD.OUTLOOK.COM (2603:10b6:b01:f6::13) by YT2P288MB0075.CANP288.PROD.OUTLOOK.COM (2603:10b6:b01:f1::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7046.33; Mon, 4 Dec 2023 15:27:57 +0000 Received: from YT2P288MB0089.CANP288.PROD.OUTLOOK.COM ([fe80::99e8:931a:ecb9:50b5]) by YT2P288MB0089.CANP288.PROD.OUTLOOK.COM ([fe80::99e8:931a:ecb9:50b5%4]) with mapi id 15.20.7046.034; Mon, 4 Dec 2023 15:27:57 +0000 From: Dan Christensen To: "categories@mq.edu.au" , "algtop-l@lists.illinois.edu" , Homotopy Type Theory Subject: [HoTT] postdoc and ongoing teaching positions at Western University Thread-Topic: postdoc and ongoing teaching positions at Western University Thread-Index: AQHaJsZ1ej+KTV0sVE2el4qIdwJH9Q== Date: Mon, 4 Dec 2023 15:27:57 +0000 Message-ID: <87y1eaf0n7.fsf@uwo.ca> Accept-Language: en-CA, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Gnus/5.13 (Gnus v5.13) x-ms-publictraffictype: Email x-ms-traffictypediagnostic: YT2P288MB0089:EE_|YT2P288MB0075:EE_ x-ms-office365-filtering-correlation-id: d1658a94-eb09-4adc-7490-08dbf4dd97dd x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: U+ZL+dGc0Q55SrdT2kTaBCosTW43AFg+kTWufwXc+Z2jA0X2Ai43gg3Dj/CrEMPrf3vRJX5IiGAOaTp06D3WYXO+c0foiEZXKdQXark7R/eL5gk2EQyNeRL4H8Xg7HdyJRUFJVg6VANkQ2J8JFal2SOHhbxSaAtqlWh+F1/bA3zk15HzbIfEKUjYmwlZ8mZ703aZJ4XeVsE2Fpe9Ub+YFG3mRPE9UVHqjQv8M1XfYRqy5HrCKvAFYR/c4fFClVM5+HCBqrwUr7I0c3eJVDG1nqnp+sYCsihj7gj/iRvHknBJS5EN4nVdXinllCiAD3oAzUXScm4nVZ0HC4m4+qSKhImSmBDOGAfTKPDnVwVKiTQ/cSVaWSDiaP6ggGptzR2zdx7vXWsgZhmBifit3DjL7DTOeFdCt7wk6p0EVtLAS7GiRhPo5FFQ6r0wFYgDU1V6O9wpPMknrkIdjtQ+3eSfIMJdCJ0VhmVlwCP886AmtMJQekffdcCBmxEOUsJyIUgzHo7yugHp8RV+Y7s7d/YDTpcLkMEfeScaeQ5z8czAy1ZYiojtVpcE8XAld2B9wGtkunfi+R1Ix/8e6+b42Ie01bqJts8tsziVdMg2BYywJGI= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:YT2P288MB0089.CANP288.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(346002)(376002)(396003)(39860400002)(136003)(366004)(230922051799003)(64100799003)(1800799012)(186009)(451199024)(2616005)(122000001)(8676002)(8936002)(6512007)(6506007)(83380400001)(26005)(966005)(6486002)(71200400001)(478600001)(91956017)(66476007)(76116006)(66446008)(64756008)(66946007)(66556008)(110136005)(316002)(786003)(296002)(2906002)(36756003)(41300700001)(38100700002)(38070700009)(86362001)(5660300002);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?iso-8859-1?Q?FzSi+32FopIVkGT4dOdzh4YbW27sE9EjrpaLN2lqDWIWfn0QUQMbITlIMJ?= =?iso-8859-1?Q?lS5mhzoBZBw5c33FenYNMUKAUQBDuafVpaFZ6L3yHJwuk7vPttEy5YsZw/?= =?iso-8859-1?Q?VlHJlYA5LCJYti49AqhhKXYNHn6OOUrY8VzTgfJXhNdPzy0dBEP48zQNDs?= =?iso-8859-1?Q?AHJZQeoHX7FVBmIDZ2ckhAYPQ006Nd3jYGxvxaeNSKc2WxQOaCWPB7x0e5?= =?iso-8859-1?Q?AGZUnsYfz3Y9w/FoJhmHftsP91n8xTQCRBEPMmPbYj3XubPOWHS/9Xwpv4?= =?iso-8859-1?Q?tgfsMipDnZ6fo0wd6Q+tjIfLTEDAXkAphr4WmBrOoJATEpAyoGglci5hCt?= =?iso-8859-1?Q?miNzEvfxHAgEDJ++rnsnnNvTO7eTjF4tPx4MXz+G+yckraU/v0eO2/8pGs?= =?iso-8859-1?Q?beQEf+p0zQOuRrOWDjIBDypgEc9yHauVDcTg0PbBjHOq5YxlO+7j6lgvmX?= =?iso-8859-1?Q?dFQsy2XZR3wL4A1Zpfl9D1M3O953bKg94RL7+sDkU4/j9t4X0zN0hFcJTF?= =?iso-8859-1?Q?ZyNb7D0/Fw6/rYdtKv0/tGN1EipmLOsy8D+GSjagWrdD9ugxcG4ye/w7uI?= =?iso-8859-1?Q?9TXieQS3k1E65eTX6H+TyPX3i4+CXlgGC/Xix4sxkZNh7TSmtvpVZLrkqk?= =?iso-8859-1?Q?4DlSEMvUp6IHrheFVYoVWCBz7Yw4iYM/fMidI7Nre2L75Jgp67CcUHvZCD?= =?iso-8859-1?Q?a/al8He2rOkomqhV1hwqoMENIPNs4pN8Zu3vaT8ywg+JMYKVHux6KMVGaS?= =?iso-8859-1?Q?/J9SCdONqpcXw7Gk+bZxRtTqMFjuWq3wPCjGkUGQhY1LQlr637XKygem+b?= =?iso-8859-1?Q?GHQJXmqHcbXkzwd6PYiDOGzUXnW3mgcuZ42dpG82K4uRNP8v+YXIyldEGu?= =?iso-8859-1?Q?F9VrLGECkJgTk3xqPXIAr1ntFTZAsx/JvIzbWqgnOam0Mo9rTfvgqdiJgA?= =?iso-8859-1?Q?IwO7AG3cL1oqCyUX03aBoSlhvfHs5j7ePGRgpQGuCDiHmr2RLulcoyeIaN?= =?iso-8859-1?Q?cQS970s2+f/dtxFn1eDop+FjEA7RC/KPxLPWtdWDSpptbpnC8y6kHnmNCr?= =?iso-8859-1?Q?86SHOQ5CGHftAEFJT8YtpmEwAGuDXl3tC9TavgGE4+HLL02DidvTNkN3K2?= =?iso-8859-1?Q?wPhx9+G3C73vFDNKHpXCi/6VsQtOgZj519Vv8uggm3sODzWWblop0DCJmM?= =?iso-8859-1?Q?HAkrmOEsAr7b6GsOGtjkmuooNZYRRfqA9BMTC44G3ZAiKxrq9ba6oSVLVq?= =?iso-8859-1?Q?3Sz2EIruIv3xkEPUQ3tJIvRCjZ7W3hVxbl1ZyFwisnWrXtET50NQj2O9iU?= =?iso-8859-1?Q?4XUJWovv4+qmnnbrI9A1sHWzbDswodn0tQi9PSJQon4jWRdPKN2twZFmBu?= =?iso-8859-1?Q?Qm8a4QSsI1Y9lxWDenuyJbGyj/qnE5L/3DIlonkZqIL2xE8pKHj0t9xkvm?= =?iso-8859-1?Q?PJGxKsQQFCMAkY3/fcRwlCmjr1eC2UEjf4xJq+HoxqaEJayRL783HPZrYe?= =?iso-8859-1?Q?zOQC/RPP8HdklHqmh3ICPe+gM2R0Roam5exjD8z/dHA8Hgaa7GMRK87OIp?= =?iso-8859-1?Q?PwE0vQlyr2MgoEztVjI2CBcCwSx+LQF/8GTRF0bAK1UbCyrfB2Oi0Q2b95?= =?iso-8859-1?Q?9l7NiHJzDg4D8=3D?= Content-Type: text/plain; charset="UTF-8" MIME-Version: 1.0 X-OriginatorOrg: uwo.ca X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: YT2P288MB0089.CANP288.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: d1658a94-eb09-4adc-7490-08dbf4dd97dd X-MS-Exchange-CrossTenant-originalarrivaltime: 04 Dec 2023 15:27:57.5539 (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: 5Bqei79ZMeYPq0gTsLJl9o/2chgNdGyF6pbEdVKn9O0KtVe6KmZaGmPFviShRtyH X-MS-Exchange-Transport-CrossTenantHeadersStamped: YT2P288MB0075 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=dBYowGxj; 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 2a01:111:f403:241d::701 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: , [Note the urgency of the postdoctoral positions mentioned below!] The Department of Mathematics at the University of Western Ontario is hiring, and I'd like to encourage people on this list to apply for positions. Western is a great place to be mathematically (and otherwise), with lots of activity in homotopy theory, category theory, and other closely related areas. The list of all positions is at https://www.mathjobs.org/jobs?joblist-167 but I'll highlight two ads here: We expect to hire one or more postdoctoral researchers, and the review of these begins on *December 5, 2023*. Late applications will still be considered, but please apply as soon as possible to ensure that your application is considered: https://www.mathjobs.org/jobs?joblist-167-23315 We also have a Teaching Scholar position, which is intended to be an ongoing position, with a "probationary period" (analogous to being tenure-track) followed by "continuing status" if promoted to Associate Professor. The deadline is January 15, 2024: https://www.mathjobs.org/jobs?joblist-167-23609 People from all areas of math are eligible for both positions. Feel free to contact me with any questions. Best, Dan -- 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/87y1eaf0n7.fsf%40uwo.ca.