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,HTML_MESSAGE,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 6136 invoked from network); 19 Sep 2023 06:31:44 -0000 Received: from mail-wr1-x439.google.com (2a00:1450:4864:20::439) by inbox.vuxu.org with ESMTPUTF8; 19 Sep 2023 06:31:44 -0000 Received: by mail-wr1-x439.google.com with SMTP id ffacd0b85a97d-30e4943ca7fsf3592130f8f.3 for ; Mon, 18 Sep 2023 23:31:44 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1695105103; cv=pass; d=google.com; s=arc-20160816; b=fTYLI0x5ANPvrHrg/6Yb6m1gswF8Y8SGsMzliG0UXHAVvA9pN0r7YDq46LK/KnRXDx tf6aNfrorrcs+J7xEbprRY5AwZi59FM8gexNC6T/NjgORZqV+GtV0H630wX1VccEmu6M EdZz1X5nKPVHkGCfFfkAUDGJ3a6y9Z+1Yx9YYd0WdOLTMlY6cdRrP/HmMKiIAZ1o73w5 UOoEfPuX8wgLo2SUfAP6y+q+yX1GhLahc3ZRvAchCi8ruv/p0Yal6khQTUN1elU2rWBy IPc9NhlMrobVt8dxcyjIhU6W+3HL94esuOZGCD52nCr1jVl6pqXPRcFft3jsXIdZaeLh oY2A== 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-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=EzKJFsm55vSkkDUiIAZA4MQHoqc42sFSeR8RBjEu768=; fh=Ke0fIQsBZzLptOAmWUgPbquJiNG7Yls3VIkeQQL1nAc=; b=FTh07DD7lvE2YnWUy1C75L2i7IMO5cOiP6gkI+GoZOg5JStjlXdsmuCAQpMyctMh12 JWGFXIct2RCY0WZGFtwBva4bp3AA6+tlhEui3i1C/2FQSgIxSlaB7RR7QqvwnvSRNUDc QBChGOCBAvZI6V/6dTO92/+/cZhwraskuBUdcyNCqDhFB6zFlopceoVmJINuJLyvzK+y 8c6t+Z10PgT0q29xIS2zC+dYd0aP4NJCVO0n3n1rldwaisvSe6Ek29Ol306Qwvo2kGOW FeS6ZzikAjT7tqQUwUANY98ogLT0irfMlkeXCZjlCLiXWd79RAX7nT/3Kt+zLz6oozbv w2Mw== ARC-Authentication-Results: i=3; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f400:fe15::61e as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1695105103; x=1695709903; darn=inbox.vuxu.org; 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-language:accept-language :message-id:date:thread-index:thread-topic:subject:to:from:sender :from:to:cc:subject:date:message-id:reply-to; bh=EzKJFsm55vSkkDUiIAZA4MQHoqc42sFSeR8RBjEu768=; b=krrg7SSF4sSukYgpRXU8iKMLF3QjDxxASYQjYBaB3skpzGz2/aVptIBySvdln3yWGa BykGR1r27M+9wet58DI96ANL8MtRrpDOnua4zrKwB4qpSBzdRtWRsnfwt/0n9yu9XKsB tQ9KzksMXZGQfm5EqKtkhcIHvJR9sfHPPYxlLOrL4URbcRXYrgKH/HSDBkZg6EwTSdln 4YdD7QG6GYcm213lMgqUyvQ1xnwDOr5UiCyLJmJ6KNBtIJQ6LBpVYkcInmG3aeSS5gm2 GamsF31hrnA4P4gVr2IZEdnkVBiCLV565Gxb1RvtlcxltzQDwXal0ma+FzMtaPyrFJ5r VopA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1695105103; x=1695709903; h=list-unsubscribe:list-subscribe: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 :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=EzKJFsm55vSkkDUiIAZA4MQHoqc42sFSeR8RBjEu768=; b=Not4tQzTlC2K8VdGuFtDmD4PwsqsX9jxJMOlFUebHIi+js/UGtBpCndtNul2MncJd9 NTJxoL1+kOX+gKM4j857MwVMERoyOI8YR1QL7lmikWfRhp+jax7+xELeG74fYw+3ljAY 1lTMZXYKx/zFYRv2z9DquVtwrXW50Y3YdDJ48NE4ypQJH+OQP+/cSaZOzFMb87giQp9s 9n8ipPOnT4wbph+0GbKH0DcS/XjdugpGUSYXfyDUg8K9PXIO2tmoGJV/3DXrxVOCMt8c OzH1Hlm5QGdVwRiN2fgDv8yejZ9MdWkdLlaL2eC0v2AbzLk1W2llgMxgZGj4/Z4uXm1v GVFA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOJu0YyrSIEYL48SbBRzGz8YCqltl6w1p1dniG0C/O1ONKx+J+lniyCs BdUxqI16rt/d6gwtxyX0DuY= X-Google-Smtp-Source: AGHT+IEw5J8EWFNRZc0KAGKjGgk2m9THkf3CkEwPR+JHxUxtSLqdV/JtcHOIbgJHJyC44BmzW54Lvg== X-Received: by 2002:adf:ec4f:0:b0:317:5b5f:2328 with SMTP id w15-20020adfec4f000000b003175b5f2328mr8884018wrn.24.1695105102532; Mon, 18 Sep 2023 23:31:42 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a5d:484a:0:b0:31f:f2ce:9acf with SMTP id n10-20020a5d484a000000b0031ff2ce9acfls1136527wrs.0.-pod-prod-06-eu; Mon, 18 Sep 2023 23:31:39 -0700 (PDT) X-Received: by 2002:adf:db51:0:b0:31f:9349:6693 with SMTP id f17-20020adfdb51000000b0031f93496693mr8489048wrj.0.1695105099610; Mon, 18 Sep 2023 23:31:39 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1695105099; cv=pass; d=google.com; s=arc-20160816; b=c7BKKr9/8bqgEZsqEQH0OUJIukXO/4lVknMIX5gX2h6L8J0YQKJ9WXiGuWm3EO696T aep2NChKjVEOoL5vUx1ha4R32nOEHo2a1CHiM92H2fO0ZemxVowILwEWOnRH5+0Ae65l cLhhfEn5HW2U/rTWq+++CrTAv6LwL4xYQvUzXMxrq/lePPH7tOc0xiMrjOS9cTSKsqAq PSshSWXzevvA6r7YWqNTRZfAWLDT7tDlsEMgus+oBj7IpqWY5bDnpZk0nC8SrBT7Lbnl v9zT4Vr0WfAoclyaBG6uDYEhi4phhOIv4WO5+A+QeGmroQyPaqizMe+cgsodvw8POzFb n41A== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-language:accept-language:message-id:date :thread-index:thread-topic:subject:to:from; bh=UnOsxauQoW0IwctdPmtPa1YelbgU6QqX9epbSdJ18sE=; fh=Ke0fIQsBZzLptOAmWUgPbquJiNG7Yls3VIkeQQL1nAc=; b=PVMKDHFaXqZj4IinJM2zpD2s4QuZjMj/YFtCyWBUPaQfTiRSKpm+uW6AA05PzIr3mG Ek1iZZvByTUtxLAON97o/iXRTARe/bkgtyxU9sSmOoSOD6tWESbx9OwGcn5TuEv96o0h jk0eaoaDUQPMiQ/z/c8oLfGE543x7OfkgNscEAww4/4mWFAfDJCi8xGVWamChaTwsgsO IUaU4KIsZKEUbSr/CIoP4wEjQLfJAqtiSDAlzZRygsWcRILs1a7KwxSDciinWTYQKVgd EY4ZsddrIGrJd27r8IBKPBlJAjNhA9bv3iJ69TdifTV2Epy63cqyXsVstLZZlvT8loxy QZ1A== ARC-Authentication-Results: i=2; gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f400:fe15::61e as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.ac.uk Received: from GBR01-LO2-obe.outbound.protection.outlook.com (mail-lo2gbr01on061e.outbound.protection.outlook.com. [2a01:111:f400:fe15::61e]) by gmr-mx.google.com with ESMTPS id e12-20020adfa44c000000b0031acfc2c473si1432230wra.3.2023.09.18.23.31.39 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 18 Sep 2023 23:31:39 -0700 (PDT) Received-SPF: pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f400:fe15::61e as permitted sender) client-ip=2a01:111:f400:fe15::61e; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=JegqocNwNwctNz2z3aRy21FbT+o+i5iGpjWxnjmtxNZvuv//p8fnevC9VgSOtvqJYDD9g0IbL5YBbPJroUiGbx4ng4wPEuy5yE/22KUWr9vqiOowfmf26jB7Cri9vTDMiCBzKxwudWI02z1CFfe3ghKBLGAz4ejB8VrJ7pwwDrYFHDvWFQ5wZgHQz3qlKnhwhFfONBEQPS1l1Xg5X58WxLwXETFlIWEGXe0dKpVWse87gObf1Zt9rsY499arcBh/fDjB5RhkttaCAiYoOMQ7y5V5sE0+5Ws+2/2TGtrMllolwCf9Is9RCqawY+mOq6XOVqo/G/1FmQCaBDKHV+4RmA== 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=UnOsxauQoW0IwctdPmtPa1YelbgU6QqX9epbSdJ18sE=; b=C3f49/mDeeWNnFP9rfMP8+qHsYu4W7WLpzfPCOCfB8wmeynCqZQhfUOqRhU9caUeeoWSIXFzfoSZUV8XsmSvp4G3IRMsM/z/yssyLMPorbrxye9eVMN5ulHHZmR/m9RdCo7K17K+BYtB5Cwr31CrZDPxJbeXwDALPvGseJqpuGpyswcSAUjd8ogCUeUFqK6Z0HWB7MHusAVNOdek4w2czLttQsxb8l3OjP9v6ydCJFX6WGznMfTGeQMH03VBJolcXLIOoK4PQ5dXbJ3BDf4+cXDfM0o2KwASBLe6h8nx9bnhX3kFkFph41fbqU7o6SfZLyFTmF/4kP+5s29njhppxA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=manchester.ac.uk; dmarc=pass action=none header.from=manchester.ac.uk; dkim=pass header.d=manchester.ac.uk; arc=none Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:22f::7) by LO6P265MB6543.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2d3::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6792.28; Tue, 19 Sep 2023 06:31:37 +0000 Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::13a3:41f4:f24c:f5b7]) by LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::13a3:41f4:f24c:f5b7%5]) with mapi id 15.20.6792.026; Tue, 19 Sep 2023 06:31:37 +0000 From: Nicola Gambino To: "constructivenews@googlegroups.com" , "HomotopyTypeTheory@googlegroups.com" Subject: [HoTT] Lectureship in Pure Mathematics - University of Manchester Thread-Topic: Lectureship in Pure Mathematics - University of Manchester Thread-Index: AQHZ6sLxUezHFbal8k+7It0RVS7g/w== Date: Tue, 19 Sep 2023 06:31:37 +0000 Message-ID: <285385C6-E9A4-4971-961B-4F3872596488@manchester.ac.uk> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-publictraffictype: Email x-ms-traffictypediagnostic: LO2P265MB5040:EE_|LO6P265MB6543:EE_ x-ms-office365-filtering-correlation-id: 64459249-9bd3-4571-d20e-08dbb8da13d4 x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: 0dCjwROjrrC+lk461eFALr9GfXaqtYBLMvc4ADSlOO9+toQb8NYZhBiPk9iHCb94djqZH2n7OIydD30A1Xopb5gy+TdQMpBMYihWoClyxJxjebIKJcpeoY+2ge9z/gB6ycv3aMDpv50PeLkdjA8ICkoid/QWExk0I4pHYfFm8+8uN8bD7LTejTDfhqKVqCcIDEnpq4P6bLVpuG2b1UfRXiUaEhDpIjEG78cY3TQQiC6XCT6Fh349KGyEj9K+pkXkc9SK4bCx4iPrWzW+SGKp8sHWVsHui4Hhjg1yi81imXf8DMVvZCAg2xqTgJOElwE5yhZgvTxsZO5PGFDpfTWjY4yzNPO4Fc7CuDV+EPW4MbwqBYsv4+tlcC+qtXejywhmrK2R7NpAebaJT3Q30sVmzZNAVLSyje3Dza9RteQdbe0+0NdFzimSiBAj2xheh7UlrywYZidu4jZToa0wcRep7Ydo85HgQSEmjkqysZg8kpQXknCAe/kp9NuyfXcmj+ySflByM9wLzh2QKgnOytdby9YMDDbf1UGylKUAOeYIMkZ0Wx71abcCgKiMgOszO/c3YwTeBYtG5Kuf+6j2QPUlT1TyzhBg4FrWcdKnDkgFvAAtruu6w/P1DZMxXzZshZVyUpyatUMu0Mabb/duhXJk7w== x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(366004)(396003)(346002)(136003)(39860400002)(376002)(451199024)(1800799009)(186009)(966005)(86362001)(36756003)(33656002)(122000001)(166002)(83380400001)(6486002)(6506007)(2616005)(6512007)(64756008)(66446008)(786003)(316002)(66476007)(478600001)(66556008)(71200400001)(110136005)(76116006)(66946007)(91956017)(4744005)(450100002)(5660300002)(2906002)(38070700005)(38100700002)(41300700001)(8936002)(8676002)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?iVhqvH5TuD95kaLmMAFc1+KKxzWOqOCcFVnmrQ0snemwduIAWPqGMJlOKkOu?= =?us-ascii?Q?IsyYmoXHTSl902MOy37fd0wjC9PCUhCdlesD5rIUyhjJVGEqBVXRA3Wd6BZK?= =?us-ascii?Q?04EGkaBBR9zvbpH+Zp+xB60bjndS4h6Ashe4AfDs4tvD4EvPRkyhEw+9rfaB?= =?us-ascii?Q?m3o5CgSMhER0XvhmudUriPjhApyPuFmnSufCos9XLsxtSY3S7k53D7nxDWqx?= =?us-ascii?Q?pb/8eahK23BAA/iOVBcWvU2eSxhzpzOYCeLyx+xwcuFCkgIP4KJV9/DVOV68?= =?us-ascii?Q?KTWtzlwizVsKikMqzbNr8gUm1zAtDyupmqaAVDODA1BehGBfYCppjIT3jIYK?= =?us-ascii?Q?EBmP7+IgeusZCzUB0CQj4xAjQtZ9Rbxvpivgey2FBDdxMUPKU2B8QjQtnNix?= =?us-ascii?Q?r3Ye1CIf+CWBzpLAqsqC1vZjYF1MTL5E2hwwpilYQq6xJkICWUUPgaLtvv2/?= =?us-ascii?Q?2ImtfFLAPIf42KH8TICX0q8rbfPqcv1ZNFaGXJoJ74eua48NoXWdGbllMKXO?= =?us-ascii?Q?9sOh6fMsOrqx00aC7OFCExk3mNVQzRMT4Q2d5uTfBhjBTUnFCD/YAeUMPlpG?= =?us-ascii?Q?Dpz8itFJdxcsAUzw+Tbn7AdjiguXjeVIZs1rEBeSD7ob6Yx7l42YjAlgxB3k?= =?us-ascii?Q?uPqdrDaT5jR3MTMje9V/PTNa0RHDjlf5Z+G0zssC9RNOQjFRDdMrzxGDwS5L?= =?us-ascii?Q?HWzBwqEq75NO16X4PVCizHlPsefS5FzRpV/t+rSp3pY1Q4LsKviNG9pdmXPh?= =?us-ascii?Q?olXyKlyDRcrWKEAOFMeCwuXwhcjxo3ocTqGheMFi7FQ2djgQ1i1LtCr3L00y?= =?us-ascii?Q?f0FqM3iF9Hi9gbhx+NgzqTxMnjW+mFbEgb3fKcXpe86Ct842BXiLfUWaQB0X?= =?us-ascii?Q?VIOzjIkJA5EKjc5cvG5YN419x3wphR7tntHRLahSL6DjUFaEwcXv7tJ/B3An?= =?us-ascii?Q?9Q2w1AIljsbDizaISjBoCyYvNc7TWpkX5kOePmYmQtLAGM6O2KztgOY+sIMM?= =?us-ascii?Q?st0bbiZjeQT5H24GCp08MAnPLRiHKZuycc6cBKKu5ycCL+aPh2jc3eMOzBmQ?= =?us-ascii?Q?SFemVsyoKxCG+by+TTCMZUiRhYuyXyGOo6NO4oAU1gBrXSvoWCkuOZ1wByby?= =?us-ascii?Q?gcJFhNFj0z0uZq7EjiQmjDDXcS5DpyiNcsQ/khWkOHvRCX/c5FL3Ai8nV6g7?= =?us-ascii?Q?z3/kyRfnKpTZxfkOl6e/NfVbzFuZSFpMvJH6ZA4Cbd9vsRpGkNEIMNyMssUD?= =?us-ascii?Q?HL/eWPOLKTyOoFTmjHE00ffVqaXSEoYbqbGBRj1pT6YagcHq7NbKpvssF4+u?= =?us-ascii?Q?AUOpu4A2m6+ynOLelreJD7QiNn8OClDAeUA6cSI9Uyy7U0f8Q+pqpgWIhNce?= =?us-ascii?Q?9ikuOYSamacXdXh6sHCblB7fairtPv+TKYPM2et/n0kELGXoVHVoy51xQUf2?= =?us-ascii?Q?yArvDU9uIysfGQRTQRgKijXgtITZNdbOxAhsrBt4v9TNXBF2cKorTe/s78f0?= =?us-ascii?Q?sx/epfsws8B/dTYBFXNGaCKjpa16UvtJG32XjoGBjZFX96mfpb7wGC+nDp0w?= =?us-ascii?Q?jNCilHkgNFjh2wwpX7FEyRX85CyJ7FljOK2IjuLYs9d4x/25CqrC/+cdBqps?= =?us-ascii?Q?AN6+HaSZPnTNNk3GUHNvwKjABHszKKbGIrGEUHeR+VuyEvWrlfTFRdhmUXV+?= =?us-ascii?Q?6wjeqFuQvxjEcpWtd67wLS4uRY4=3D?= Content-Type: multipart/alternative; boundary="_000_285385C6E9A44971961B4F3872596488manchesteracuk_" MIME-Version: 1.0 X-OriginatorOrg: manchester.ac.uk X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-Network-Message-Id: 64459249-9bd3-4571-d20e-08dbb8da13d4 X-MS-Exchange-CrossTenant-originalarrivaltime: 19 Sep 2023 06:31:37.7909 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: c152cb07-614e-4abb-818a-f035cfa91a77 X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: qY/pAyrmIt1gIrwuPDF03LFADPATWegcrmz1n+8tXX4IP/7ssM2wCHam1Uzp3ts/LXSpt1Qt5YsnaK19WMWGTcbemBwX7Lb/VxjJp17stXE= X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO6P265MB6543 X-Original-Sender: nicola.gambino@manchester.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; arc=pass (i=1 spf=pass spfdomain=manchester.ac.uk dkim=pass dkdomain=manchester.ac.uk dmarc=pass fromdomain=manchester.ac.uk); spf=pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f400:fe15::61e as permitted sender) smtp.mailfrom=Nicola.Gambino@manchester.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=manchester.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: , --_000_285385C6E9A44971961B4F3872596488manchesteracuk_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear colleagues and friends, I am writing to let you know that the Department of Mathematics of the Univ= ersity of Manchester is advertising a Lectureship in Pure Mathematics. Logi= c is explicitly mentioned as one of the areas for the position. A lecturesh= ip in the UK academic system is a permanent position, involving research, t= eaching and administration. I think it is comparable to an Assistant Profes= sorship in the USA. Further details can be found at the web page https://www.jobs.manchester.ac.uk/Job/JobDetail?JobId=3D26613 The deadline for applications is 2nd November 2023. Please do not hesitate = to contact me if you have any questions. With best wishes, Nicola --=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/285385C6-E9A4-4971-961B-4F3872596488%40manchester.ac.uk. --_000_285385C6E9A44971961B4F3872596488manchesteracuk_ Content-Type: text/html; charset="UTF-8" Content-ID: <87FFD0C3CE1BB040B790265EA3FD2085@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable
Dear colleagues and friends,

I am writing to let you know that the Department of Mathematics of the= University of Manchester is advertising a Lectureship in Pure Mathematics.= Logic is explicitly mentioned as one of the areas for the position. A lect= ureship in the UK academic system is a permanent position, involving research, teaching and administration. = I think it is comparable to an Assistant Professorship in the USA. 

Further details can be found at the web page


The deadline for applications is 2nd November 2023. Please do not hesi= tate to contact me if you have any questions.

With best wishes,
Nicola

--
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.co= m/d/msgid/HomotopyTypeTheory/285385C6-E9A4-4971-961B-4F3872596488%40manches= ter.ac.uk.
--_000_285385C6E9A44971961B4F3872596488manchesteracuk_--