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 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 18839 invoked from network); 3 Oct 2022 16:17:41 -0000 Received: from mail-qk1-x738.google.com (2607:f8b0:4864:20::738) by inbox.vuxu.org with ESMTPUTF8; 3 Oct 2022 16:17:41 -0000 Received: by mail-qk1-x738.google.com with SMTP id bi3-20020a05620a318300b006cf2d389cdasf9376506qkb.8 for ; Mon, 03 Oct 2022 09:17:41 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1664813860; cv=pass; d=google.com; s=arc-20160816; b=ze7K1gf6kKlorXeWSu2GDzrOR3+28zUpn3h3+9DpkAlfPyWffRQCJxkjsr6/0qOeV/ lFbDoPc5c9LnRg49+veF2kQ0iKu/MVeW9P6VYQUikvQyR5P0BxM5Kr+JN+eiQoPWzhBM q0/HlkXV3JgptDXJc1S/ao5eFBDU14ym89DW3q6nOKLiTtb8bDx3vZLa2YunX18DBMeF IZdATzux+atnJLGvOr7bwGgDZk3BvDw3sYmfUHbeRFOI4a0xn6GFKngBz4Xxe0D/4XIx wyQhi1UMzFJ4Cd1OpHVs9Y8xvqQ6BJxdlfCDtz+nx0ul1Mm7o9JThQCZmuFcsBUylwd4 0GZQ== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:mime-version:content-id :content-language:accept-language:message-id:date:thread-index :thread-topic:subject:to:from:sender:dkim-signature; bh=7hU85rU+Ftm897lFtgHO5Mo9931avwlAlmpzaEu93qM=; b=YEsMM4CP0K0AK8JXT4yaWeunaDSNdFdoP49OSrI9rTVqg3d967gDc0qcXZExb79c7W QfrdpLdOH41voDic8bvvUbaZ2YvlY7kfLCIUNUXGZIBYJSgoG/1MLwPpJXcdhcJm65ZX cCGx5mkkWn7zxhVrCN6t/WBpHYwbsdAF6xzM9Y7E6DxsDeSDyHjtGpNcQ2UZkKdzgzmy GdtNt6b0Ud7AG9MgHSoDJp6u+5FJHMA+lvqaPc7MEfPJm3DZzu7zppMXefSLCobo8SuC 9BfmXX97xuj5UAoQR+fKrWl28bNIo9G/MZihwPHkODMte55Yn9n6msGRuOWtXVsyaGem Fj8A== ARC-Authentication-Results: i=3; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=cs.ox.ac.uk dkim=pass dkdomain=cs.ox.ac.uk dmarc=pass fromdomain=cs.ox.ac.uk); spf=pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.165 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:from:to:cc:subject:date; bh=7hU85rU+Ftm897lFtgHO5Mo9931avwlAlmpzaEu93qM=; b=a+UwRGj1GzC49BkDhIQERi0XD1SrTCxkmU6oIXOoqCU/A4Y98dCFlevrJjXOc7eOoe QyGC/iyMhBQHe7acSTitVJUL4Otjjz5dtxuRMvYcrM8Oty1PgBTn3kGZyXtUKB2M35jI Y/Ksn2yMAWH5tgJDBnNdVzEh1Fx9WAu6uh18h9HGtVyU5wNo0XE6/bjym6xT3Em2uaeh /FQj2iM1effsyMdbK4NoBWtTUoUV9vmXJ9nhUI/oepLx2qghybbUvuo22x3f3n0ZTuLp tAiHPHB7R6h2Sp9tPM3sNRQvzdO+uzufl0qLHG8CT4n3FZ3HjHHP0g8yp/vKd+XaVew4 0IIw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:x-gm-message-state:sender:from:to:cc:subject:date; bh=7hU85rU+Ftm897lFtgHO5Mo9931avwlAlmpzaEu93qM=; b=nfs/r6ovSh0Ou7EN+K/VBfiF8oG6bsUxqTDWT5ok4lzDY9VIOm67FuMRL9g8w+htfN tN6KGRo3Kz9g//j3NPyGHlTXEX0OwNauvnOnWBTwctST/2RkjKW7mt0sVIepxeNNNr71 E+RxVN4C37OFWM9y4/k97ffKnw5IdOVoA0yucsAfr9Hw6n7r2akNFpSXlByTNrNDVJWr P/vJXCEGhgkMAYK6icNQM7pOXNcnIYN6fpjGDrkMs6IjcXcEERsatfsgxpHreBceBikK pyGnw1BRJ4gTX7S3QhZ/TTBUmTPzzPPd8jhRTEz408vQWQTRoln7P/17e2QnKtqNysih yb2g== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACrzQf2rMmX484FgWFU6OTswVcNU7OV7DgvpYy1SQ1ecmCWQWJDPClvd lS3kKRXnSswmR1WY/Rn1CGw= X-Google-Smtp-Source: AMsMyM6AP/oNiQ4ZTF0NhVMrJnhPPTvSu3aZTBFqpqu7YLV7acmo3RmvuopNDrEnTxo12w9qmjYDVQ== X-Received: by 2002:a05:620a:673:b0:6ce:530b:ea38 with SMTP id a19-20020a05620a067300b006ce530bea38mr13871180qkh.535.1664813860577; Mon, 03 Oct 2022 09:17:40 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a0c:b41b:0:b0:4b0:c73d:f8b8 with SMTP id u27-20020a0cb41b000000b004b0c73df8b8ls4118662qve.10.-pod-prod-gmail; Mon, 03 Oct 2022 09:17:39 -0700 (PDT) X-Received: by 2002:a0c:8dc9:0:b0:473:14fe:7c4e with SMTP id u9-20020a0c8dc9000000b0047314fe7c4emr16530497qvb.44.1664813859537; Mon, 03 Oct 2022 09:17:39 -0700 (PDT) Received: by 2002:a05:620a:1a82:b0:6b9:2fad:614b with SMTP id af79cd13be357-6cfcf76e4cams85a; Sun, 2 Oct 2022 13:37:56 -0700 (PDT) X-Received: by 2002:a05:6512:110c:b0:4a2:4588:6e18 with SMTP id l12-20020a056512110c00b004a245886e18mr53486lfg.421.1664743076007; Sun, 02 Oct 2022 13:37:56 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1664743076; cv=pass; d=google.com; s=arc-20160816; b=d5jIhhPauzGrp+Y68lIq7LraBXm6b459+13fFSUhD0CORcc18P/DitFf4X4zQ1Wrug yqQ6wYBbNRDgBMSYCKz5398Hl4aMPuIkQGe02rN31Wy1Nahi9Yw/cs8cUTWZpuzlI+Fj pDWh5iVJRaDdKQmrPt924pU90/Y/6eoaDInZ1XR/MeoUUfTI04UbbowBTCSiKwCrnarS SYmP2Js8DbcenxMsexgPXmIj5hepCWydYpJAzIbfCrHtlJGnYJ4gUTu//PQ13dIgAVs0 0Y3sSI0BtS/wMFxN83mB+U6Ugt/wEBHmXWLOTH1fZE4X8zobYRIeTrsGTwYYQ+CiBCjA ruhw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-id:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from; bh=/ouE7wt+Xdnj3GLP+6J0tqWfh1bAaUbxDT+Ks2Fk9yU=; b=g8FfIf3lTEMSKXaQo/RKaZyo54EAstPQB8PCv9Xd7GK7F6jF/QUKDW+v4o8yIOWmrQ ayObbbC/7RBBN7HaaRkdAIhGB+/bX0u9BGdwwvMRWHZ55mdhkNuIyCZmQ+bkepVekpFV g/rQ6+rKm1JeKSay/2UN93MkbTujpukRTtf7w6fMT8It3lB8qs0VyomOUYgRI7sjrIk+ POISBO3bYOGJz/TQqinqC7PfkKxSYJ7YTMnFlFPD2bqCPS9ESXCkrbqeGVww0cEJEAuW UF+Ry6uNJPnw+xd7u0eaFx0i5RY1+Wxfd5+4NXxG/XGFbHvJBsGstySItbcOoosucIXw IPIA== ARC-Authentication-Results: i=2; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=cs.ox.ac.uk dkim=pass dkdomain=cs.ox.ac.uk dmarc=pass fromdomain=cs.ox.ac.uk); spf=pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.165 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk Received: from relay17.mail.ox.ac.uk (relay17.mail.ox.ac.uk. [129.67.1.165]) by gmr-mx.google.com with ESMTPS id p8-20020a2eb988000000b0026bfbc4be3csi204576ljp.7.2022.10.02.13.37.55 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sun, 02 Oct 2022 13:37:55 -0700 (PDT) Received-SPF: pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.165 as permitted sender) client-ip=129.67.1.165; Received: from hub05.nexus.ox.ac.uk ([163.1.154.231] helo=Hub05.ad.oak.ox.ac.uk) by relay17.mail.ox.ac.uk with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.92) (envelope-from ) id 1of5il-0000Ft-3x for homotopytypetheory@googlegroups.com; Sun, 02 Oct 2022 21:37:55 +0100 Received: from GBR01-LO2-obe.outbound.protection.outlook.com (104.47.21.51) by smtp.nexus.ox.ac.uk (163.1.154.231) with Microsoft SMTP Server (TLS) id 14.3.498.0; Sun, 2 Oct 2022 21:37:55 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=SygaPzvU0ujNGt+kK5JVIP/DIvKiIRpKfkF2XIDG7lQxTV9N/Uj3ryuoQI1YOx0auoQfwRrKHToSedZSfCc5ANh+vU9L2ErcSRaURpyvpbMzdg3hoOrZHJ/SPLQ0FEEeb6+dIu2PWd9F1rX/B4ykXbHuc8VIL/RyE11YIvYtG/MNqtdyYmwwXW/n0j25Q8jmBeRt9ITxX+vtrl3C/ldULI2idsO8d8AYYbOFfMJLPhGWj3vAjt9dPqFDicsd1GSCbskfnghXtsyndK1YezPsfT46nulmv8KBI21KYMb5w3JOeRDVscmlCKPqHaVAE1ASX1mB89MzWwkb0EGNwMq04g== 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=/ouE7wt+Xdnj3GLP+6J0tqWfh1bAaUbxDT+Ks2Fk9yU=; b=dtd3xHZ1NKvNyPtbnKCOjD/j5ILVTQF2T9NEhIpkalFjScnDOhrBwh2xahaqAnFf1UNMqnlxx5+7U/3ALk26nH5+C6vhIstolWu73BbQIWrCHaqDb4pVrttn0TEYTmes0VU2o7a7bWJrWjaYcjJ65N2H+MCJ/IQnuBqnvEEQYQB02QYLPxEXr0Gzj2yx1dkqjpcKNEO/tXEZuJ8huV/n4xLECes2qWTLfwEGKTcCdpIKRC9OsFdDuV30kO7Puyq9wnpXHQYeiN6c0ckW6X2HimgSuM7YhpJ+1pdbpOnPrCkYHObwieC26mhXP35NrJfDb5EpI/rllqmldf1D9kliiA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cs.ox.ac.uk; dmarc=pass action=none header.from=cs.ox.ac.uk; dkim=pass header.d=cs.ox.ac.uk; arc=none Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:1ed::10) by LO4P265MB6107.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:27a::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5676.28; Sun, 2 Oct 2022 20:37:49 +0000 Received: from LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::7795:f497:aa1a:947]) by LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM ([fe80::7795:f497:aa1a:947%6]) with mapi id 15.20.5676.023; Sun, 2 Oct 2022 20:37:49 +0000 From: Sam Staton To: "homotopytypetheory@googlegroups.com" Subject: [HoTT] Faculty positions in Oxford Thread-Topic: Faculty positions in Oxford Thread-Index: AQHY1p7VdKVBlrTDTE6u9hM66XBXkg== Date: Sun, 2 Oct 2022 20:37:48 +0000 Message-ID: Accept-Language: en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3696.120.41.1.1) x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LO2P265MB4182:EE_|LO4P265MB6107:EE_ x-ms-office365-filtering-correlation-id: cc7f7ae1-d678-4043-f8ca-08daa4b5f86c x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: X2WoI/vAP8RqqR9FP83nJiU+17/IrSKS+QmdOlEufRbzqzj8J9F3hq1TDE5pK16bF3hvZ+zkQzgb0LxgRb7ifMS8xkXlcZ58teVBHmO/3HMCMz0iHUJUHhgEc+l241LbxmiarKvPBP7Qelh83ZAn/OFZ0UjRSwBp9DrvgA1q1evqOzHzd6hZxemddYfefhIMpEkOeobahhpB0VjetJ1TgpRIE5uAtjyqk94+VeNfwbRv1bLGt6Vz51ibda81n8A7grCe8o8tkHDu294ngoT/+n+0JdlWsvsaNw3q509/g5s/yul+uwK9+6oFGGELIg4Eg4rzm+HrSoRqqWa6tuM06YzbH8aDbcNWiWqwx9BuznIqk+WY1ii6bA4n1SAjSXtNsvcyEQtv48VDB3p82GboneI270tZ1qTzVK6SkW6dXYsGFVu3XlYXCVNedTAq4dhqpQqWUA7x/a1nf1gxa+7S1ozXUydxiQ0MwSGA52ivy8zAypP4RStrPohIU2RKKyB8XNTlrQOHZTE9E9X955e19z1uxhXE62SbuK5DB9p3sQCUFeclvfpT/2gJPcDU9dHgzT3fnuoEVbUFO3grO/PEAX4ja4hfIPEpYUlYNexl8/EZKCADE81Bsz+wvHDgklAXWUebpYLrgPD+bDjqwLM+si9ug1wUPcCHiKCrBYMjsMVAItiRUZpNiQ4ifg4W1x8ddy5yI9j2QmIn6Cc6n+oQkcWaTKSaicWhN6E4QhwF4yE5h2zFaWSxo9MVu8dSm11rEy6TcQf7haCV44W4R38FBIFPhJWrNOyahZRCqQuJQVjxudlTPiZ79DJjvzOVdESaXGRB48uCD3YLLC37YXpLzQ== x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230022)(366004)(396003)(346002)(39860400002)(376002)(136003)(451199015)(41320700001)(86362001)(33656002)(38100700002)(38070700005)(122000001)(76116006)(316002)(786003)(6916009)(8676002)(71200400001)(66946007)(2906002)(44832011)(4744005)(5660300002)(66476007)(66556008)(64756008)(41300700001)(8936002)(66446008)(6486002)(83380400001)(186003)(3480700007)(966005)(478600001)(2616005)(6506007)(6512007)(45980500001);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?s1T00YPwy7ub4nMGo/mHzgPpDBtzxyfTByc0bwiODUd14lwxYHxXc5e+y6bf?= =?us-ascii?Q?cAqXrMTu7O5yWVOCeGmqCR/YO0XMf/3P2mRaiAiHQjm/gR6VVqdZgdcGzuQ0?= =?us-ascii?Q?yMGWVzz2u579HjZobxjfnJQbbL0TW1MNKq7SFa3hnVhrxNWWVqw9Ft6M+tOT?= =?us-ascii?Q?x5NuJRCrEc8VThCM6D7BpMnMhFIskN0d+jVOuwypUV3D7/Ln6v5ovj9H4cDo?= =?us-ascii?Q?ZApnFUAWl00Tb5pLJopFTMs7cGXc9LaZ6nY5BrlRzkkTZ5SJ9glQT6EcH1+C?= =?us-ascii?Q?2N2/KaSlczRlzQftkYN5GusgXL96PbzjDcv+rA7Z8rbCA8pTMg8NjMWyPhpY?= =?us-ascii?Q?gnfWBSDWQJrlXmMiabZLfDiosELVQbJp/gC+LyGKnVIxnHiYJWpIrWmo+DcY?= =?us-ascii?Q?nKc3uOjsbRSUoaCEGkS32p7g5Bd63iO8QQ4fn1n6KcI9aewRk0GYdM5bSgq+?= =?us-ascii?Q?p1Qw+PipwCBlhaCvaIQXmhYH5p4aLPMiUy5UFHA8j3YOK5l9wqPeXbNx/Iho?= =?us-ascii?Q?wnI1n6c/dW3bgNjermkkznfao/PLJVL0gLRJ+pKhq1BmZsvMJZqQ0KZtOYE0?= =?us-ascii?Q?nC0ZoeuGunXAw8MFiXzRrDH7sKh/4YCod5jt04IDmTpbf8I77YUnbPrwsA3J?= =?us-ascii?Q?PBE3NRlqxZ2yenTIKEkKT/9JYc49x8ZGFvZeFk2qSI5iTMS+FCZNG1077t0b?= =?us-ascii?Q?Gog1QQChOTuIvSjkyxS3vQTCzX6fFUuyS1o1JkOn0H5SEFu1zQUPtPW7DmBR?= =?us-ascii?Q?goHmyINDNl1n6uBhyeMUc4hsPh20ey7Tkz9ddkqyDIUS3GukdDsA9hu29udA?= =?us-ascii?Q?RB6dFCKE7VDBG7gklReWIpybsuAo36jD7SlERhBndH6W+CgRYc8a0tvvuDw6?= =?us-ascii?Q?ESa3eZ0Bo8g/GSZFCqhsp0wxlkzgU5j1Babdnt7IxvSBs0yYrG87E7PxUy2k?= =?us-ascii?Q?co6pc6qi4LEla+ESa5Is5UFKtDEeElrIdRRzC2dWVyygm3wr6SMLJf2GyyYJ?= =?us-ascii?Q?IphzdA3n47EEAcSTtoixySeZqnV9MqXp9mMRukCN13l+QiyOhTu5uTc0+r2p?= =?us-ascii?Q?NtYa3g3Kivo7tBDvywKQkJA3Tuqy1tpmvXgAPWZ5+uqs9Z0j7UMObjKfZvaS?= =?us-ascii?Q?cZvHpTlSAM6rEX71accfzJ7SJjJRuxgAs5GocSW0aKlX8mYYdZgZkWd02G3n?= =?us-ascii?Q?B9IEffneL6U7dFyZZCFMorXSEHACN42NZCz6Yy0SZxzZsNIggMDfkE6sHX+W?= =?us-ascii?Q?w4yHzFj00NaEdqIZVA5b2D5SlFUgj18rjpd5g8fUI7UMauTgDf8Cl5PQaPK3?= =?us-ascii?Q?Ijqe8dzGBEVums040rA7v5aBcD/rnAjycI0N1FK8+9tkfg9mw6jiWk85RVCN?= =?us-ascii?Q?wAOjPwQVDOhbKsZCQYmJWaT+E7Ad/CuTF0owLXym2C3DeugNwXzdQPWCHQxx?= =?us-ascii?Q?QsM68XREtOGQQuWpmWkJCcsO9E+ZiE+Ef3fq81rPL/KhgI5fQNW9A7qMtg/u?= =?us-ascii?Q?xjoKhJz7j+0C84Hrqld0DY4WqGbDHBf/eLD1LEpe3ejA+Oid3tzLmeIu9/KI?= =?us-ascii?Q?12KzflwjVTBrFSWchSSiS/2ld+L+8BUxQm+nbLiEb8WIihPpt/qkBzT9mFnX?= =?us-ascii?Q?qrQYalob2JiPVBt/vsAByQHPvvCDlW89Zs+nhJogxLQFl4ltJ/JETYrBcsxj?= =?us-ascii?Q?Y/+CbA=3D=3D?= Content-Type: text/plain; charset="UTF-8" Content-ID: MIME-Version: 1.0 X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LO2P265MB4182.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: cc7f7ae1-d678-4043-f8ca-08daa4b5f86c X-MS-Exchange-CrossTenant-originalarrivaltime: 02 Oct 2022 20:37:48.9647 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: cc95de1b-97f5-4f93-b4ba-fe68b852cf91 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: 0SwkfnL/Br1z/cwgfx002fqZKup5yzMCnqmKX0PZbx6YZ+N4V4/rkheHufvzuRTavgsSOS6pKHdT1gSlcuJ+Eg== X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO4P265MB6107 X-OriginatorOrg: cs.ox.ac.uk X-Original-Sender: sam.staton@cs.ox.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=cs.ox.ac.uk dkim=pass dkdomain=cs.ox.ac.uk dmarc=pass fromdomain=cs.ox.ac.uk); spf=pass (google.com: domain of sam.staton@cs.ox.ac.uk designates 129.67.1.165 as permitted sender) smtp.mailfrom=sam.staton@cs.ox.ac.uk 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: , List-Unsubscribe: , The Computer Science Department at the University of Oxford is hiring four new faculty. The positions are open to all areas of computer science. The closing date is 12 noon on 14 December 2022. For more information, see https://www.cs.ox.ac.uk/aboutus/vacancies/vacancy-faculty-hiring.html Thanks, Sam. -- 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/D9E93155-F2D5-4FAC-AE76-FD9A00F01D36%40cs.ox.ac.uk.