From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.9 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-yb1-xb3d.google.com (mail-yb1-xb3d.google.com [IPv6:2607:f8b0:4864:20::b3d]) by inbox.vuxu.org (Postfix) with ESMTP id 4691C22325 for ; Mon, 17 Jun 2024 11:06:21 +0200 (CEST) Received: by mail-yb1-xb3d.google.com with SMTP id 3f1490d57ef6-dfef7ac17f8sf4877422276.1 for ; Mon, 17 Jun 2024 02:06:21 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1718615180; cv=pass; d=google.com; s=arc-20160816; b=aLy21P0nDgniQfek7S1vWc5QW4yjTJZe4BYj5GZDOGtW+tG3BMi6S4p9D/DPA0W3/Z lDW6Yq5YGa4lBtTNlCw73mhdsNbVt/aHmj+28y+0fV+US44tzimmQf6jZx0eY65bu3GR 6UsfFcbRFUvqsi25VnF73aefXqGMBKcA0IHwdaLCZ+wZo4GTd0uPbbhzd+0Us68eHy3d 5SOiRTMFnh7+0Pf70A8dlJz1WHSU982nryIzW/Z2FO3Cp+uSI/4ZoVj5VoU2td7BKu/W xCYnuFw5ZzZVIhfNWiTK+KKRWff5gQ9RTLZYfB6Kj8kaAmj3mTQJ8Er4oEhy/pxM0+/v A7lg== 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:content-language :accept-language:message-id:date:thread-index:thread-topic:subject :to:from:sender:dkim-signature; bh=dFL9BgTNyrWUfTFfF24tyUIWoQ8MKJipQN7hX1uYUEA=; fh=b2gtznK3lkWbyqZmDbjgSME2O1eJE8jFQOC4xOGJ/UA=; b=l1uA78WkTB/AGjnRK/4sp53S2i2nZr+FdJOooHmt4GRYbcEAWTIUL2Mdw40sYm7zLv xVShpM5ROna5DC4zZIkxPZ8/5xFBwJJSyTmvYgklN9oQ7cGK8MFEM7gr6BafaZZtqwuQ mt9lpuQFcsBERJgkTBPSB7Wgg+MhAyCGYRPxa3qMS96hePdkZF4eKFMsB4Dgj2SAXO3t rYjBOBN/w3Sz7jT38I/p+/TCM1gDrdoKUEgo7Za4o5ZMjc8NmSXKXT4QPFdxdl544b4K trbq/Rh9c7H8+1KoUNophXvy38mydjfMaTg1X9CTsZwbDpi+NQN57RNFdqfkEwtYo/Vg Br+A==; darn=inbox.vuxu.org 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:f403:261a::700 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=1718615180; x=1719219980; 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: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=dFL9BgTNyrWUfTFfF24tyUIWoQ8MKJipQN7hX1uYUEA=; b=LanTq/1aEByKwPl3TXmR1xqtUTHY10XDD+AfXb4Aouujk7Gd4YV2gSipgSDaLcDsaK pS+qGdWV/CNq9HvfwaNQjJhE5BgRHgDsn+1m9XhV0ZBbtHqrvC3MMpxRyDenvU6PP3Ql ZW7xXb9dVdl5CytMQdkON8boOZ3v0CvUCDVBdpOoIPQkkXL+vs/ShO7wmsQzcOpR83o7 eAKiCswMRPUf5MzUBl1SIN5/e9YwUWmuRAWQL82nfpcnobk/LPDrVeVNg5RvepV2lT6P BwpY8JIz2gKJS6CpPUYJwBVMxL6aZItnEHk1T415fZ7fwntpoMyQYr/qz6npJylRawKa O/pA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1718615180; x=1719219980; 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 :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=dFL9BgTNyrWUfTFfF24tyUIWoQ8MKJipQN7hX1uYUEA=; b=tRcqw2wjKi1kjAtDfZzVp/W0FHu9uXHySSGAxF40hwy9klGke10BbOYp3seJuH1N6V bsHeruxUxvP3B3dzumEB99hPivMV+Z76f8uvy8glf04zhCfLgeEm0rLQlBm1sOdSOyvP 4LrcB8LLAjnPZWOkelfx3Hxff/F79ZApvcgno/dMlMujAQgPiRfM/okMDS6IcUapuRew snbbNYmBu8Do+ld6NJg91ErTa+lW7qLZaGK4bR/52fb5oX77t7ygt1gX5dueTQptv6hK vLslUNRlGCD+iNHaGgSGpklRlTMjuAvF6PFCvT6Sm34IOHjuoGU/U1amxncvOP05IbgT UWWQ== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=3; AJvYcCVf3ecm8FqZoeUflcTrF9FX/3zmeLQd8VLdXTwkpCR/wPHEDg1mj62oQLC5dDwmNSv8emTF00+kwR6x7jhQTNcV5Q== X-Gm-Message-State: AOJu0YwtrkEZQjBU+yBtxa3FpzM3FefJa2icBW0+VylbUvwrocYyQY5r ULEgTjrscplrtOILKtUNR6+PZn6gNO4iz1fHlSu8BYxHhc3IJEqg X-Google-Smtp-Source: AGHT+IHX79/xtvEbuyzkGTT2zgo/8l8OF/FeZW5+M6Hw/tsdvmXNDKDNIvI/YqBtFpfBC85pRZQ5zQ== X-Received: by 2002:a25:83c2:0:b0:dfa:fec6:464c with SMTP id 3f1490d57ef6-dff1392b27dmr5645971276.27.1718615180112; Mon, 17 Jun 2024 02:06:20 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6902:1022:b0:dfe:d0d8:ea2d with SMTP id 3f1490d57ef6-dfefe73785fls4010441276.0.-pod-prod-00-us; Mon, 17 Jun 2024 02:06:17 -0700 (PDT) X-Forwarded-Encrypted: i=3; AJvYcCXoKXnMp2tTpUrtwF0ElK+3iIbRILg6bzBA9ihJNCryYaEFEDQBhy2KELRKkPbiwVCPFeQaSjSryoibqmonbgJG10gpgk1S98KLEiqMXZBVb8GhtQ== X-Received: by 2002:a25:5f42:0:b0:dff:2f30:1f2e with SMTP id 3f1490d57ef6-dff2f30269fmr3123362276.12.1718615177522; Mon, 17 Jun 2024 02:06:17 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1718615177; cv=pass; d=google.com; s=arc-20160816; b=Xc57c+PSU2a+waazprx0Bi5w8w7hGCsvvDcasb+tTO2XQ6UIcqecGuUfJ+B3TiC1U8 ZRv1XNR+2fq7Thsp7nBj+crPOtnImws41FOGJ8QKVcb9hwRLbA3MaZIoz7jCGZE8rABT 2aCC9NZMvd6U/HuE6E6ywk53Z4JaNEj9PBcPRn26Q1wmpNR87HwGsdBulbyBe4tlat0N XBy4a+QmTPbQ6Y925Lyy/ExirZVsVPCJ42wwYjFqB7jmQqmBqtI6PDeDY8zx6g4Tvi3Z 4VXdbWCmzgzdRLNZYRa7tBULHxOCAdTOORaarjiZocFEo3bqKmc9J44A12V53LIlepQr FiKg== 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=mX/M2pc8uaiDLPbTf0SXfBbhgV7qpbGOSQQHKEZaSns=; fh=BJPuVFr0JMPmL6zijiIWMI6JaShEdFsTvDyA9baMF88=; b=dEYe4nf1Ad5ZKuop7hOQVgOY1pbwpJKjBlwK5P17yQvbZqqTImoMcyDYk6iiLQmvag YDYLoshq3O2qlQVw/eU43quBVQtEkOJo5CRDzGZXD0iuj0J1dI5kieWRf7GIIT8ZUZS2 88KHbMZVr6lZ/4PUjg/NXRxJpFa8vXeJ/BlpjzaVN9+gDJPnjDcjjHMTn3jJV7RuwOxm 5I8G55kVEJGjR4jGDfZhAqOvPNcjrco+yvOOg+MzJi095M2J0WxpykO9mW6RyLQxpBiB CpVfecbb5KEpUJlhao6Xmzl7pS7HMllqe8aJrf3txnFL5qVE24kqzy0EQ2hs6xZ3RpEM hq+A==; dara=google.com 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:f403:261a::700 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-LO4-obe.outbound.protection.outlook.com (mail-lo4gbr01on20700.outbound.protection.outlook.com. [2a01:111:f403:261a::700]) by gmr-mx.google.com with ESMTPS id 3f1490d57ef6-dff0460bb4dsi440771276.1.2024.06.17.02.06.17 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 17 Jun 2024 02:06:17 -0700 (PDT) Received-SPF: pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 2a01:111:f403:261a::700 as permitted sender) client-ip=2a01:111:f403:261a::700; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=AIbvLgizo0Gd6EHPdm+hJ8gGXQQvdQ2xOqu03p0s3A9hjPMrvWshackfTuXBQkrEzHH+YNUIWR7EkKwWMviOBqyU+4UASOczwfxu3ZH78dIx8SkIHV90LuC9laZRN1wOHsrwG1zKUPttN9xLsZpR1Vr2u7fvp7UTprnMUWSDHNvyI/dPkkaaDsEQPS2C+beukAqQpMPWtA5vYFymoShow3/mTDkPPu0R7x4axB2iRme0DHlm4aDGcO2HVFHi0hW0gV5FqpJXacCrcQbWJAw6tObvgzJs6fduOdaY2RQTqv4dlSwttXOpJ6NXYIZ9RDq+j8vS3Uaal2f9tfKs00K+Mw== 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=mX/M2pc8uaiDLPbTf0SXfBbhgV7qpbGOSQQHKEZaSns=; b=fKg8DrB2Wia+3XiKQTW2JBHCcmBtZdaZhe7+tbhk5BhbYWvdw0heqKvH0+yKgnz6PEdMArBCnuGCj5Q4g6L1b1sEBznHaS5UlK1gMNXUPTSGn/zV/GI7eYOkcJbFX9tz2gT7VtnUu0RqGgoUnM+toWyJaJTB6Qj1rPTh/acS2hSp/aQzlyLfjQlJeMnjLUItS7UuxNwnHeAACh/6kaHxXEQHU5ple8rS+wR6l105RvqFxoqIopvVB0av8HRAMaO8GJOvNTn2gavOZ9Gn9MTjoXda+8ZJufeUptgTDUHvaT9zWrO30R+bJ68cbrXIoogDGO5mxcsl4nPOsGedKW9/0A== 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 LO0P265MB6053.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:288::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7677.29; Mon, 17 Jun 2024 09:06:14 +0000 Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::f4c7:2d5:81e7:e85f]) by LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::f4c7:2d5:81e7:e85f%5]) with mapi id 15.20.7677.030; Mon, 17 Jun 2024 09:06:14 +0000 From: Nicola Gambino To: "algtop-l@lists.illinois.edu" , "categories@mq.edu.au" , "HomotopyTypeTheory@googlegroups.com" , "MANCHESTERLOGIC@listserv.manchester.ac.uk" Subject: [HoTT] Postdoc position in Higher Category Theory Thread-Topic: Postdoc position in Higher Category Theory Thread-Index: AQHawJWaldK43zzb6E25gcE99Swssw== Date: Mon, 17 Jun 2024 09:06:14 +0000 Message-ID: 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_|LO0P265MB6053:EE_ x-ms-office365-filtering-correlation-id: 838fdf2b-4c77-4d4b-ffe2-08dc8eacbd5c x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0;ARA:13230037|1800799021|366013|376011|38070700015; x-microsoft-antispam-message-info: =?us-ascii?Q?7RiVpbGQWQBFqF9oNW2/eAp7zSV956O3UOxl0Of6FCoKnTVk+2Gy+Hx45vWK?= =?us-ascii?Q?/me7W+3ciFWJvgcBixfTBynmRF6Cw+1fzzjdi8JdZdj5A764LUDxTQt+Q/l9?= =?us-ascii?Q?RQUi/+ipjwV7+s2RzNaDZ/byeyu+gjdSd6mJF5MO3hxtkO8BJ7a+E3a2xAR7?= =?us-ascii?Q?I6CGCIdO1jeUySxFilCD7c6etMFLdKGRfH3wqVA4IdV9CC6KBfVUYplWUHcU?= =?us-ascii?Q?3Oih0gZgn3VtKVfHdedrpUJWQCrrY/ATYK2zOS5oBv8iKQOZkT4rKCa6a9fk?= =?us-ascii?Q?vEpjlN8dsnKXPjJiFug9UgwKYoZ1EUUfsMX6zIGekfS0o/Oy5O2vTwvM6Lc2?= =?us-ascii?Q?1CIhP77/5lcB8Rk5IfLvxC1/Ebo1AO8DZOOtYWy3ene9KN7MUFZbGfJZ+Tnl?= =?us-ascii?Q?QIlNqjDawErpH6HRjcjeD2oAIEZdp/7sOTbKtvtuLE6AtRExF4Hz71ZGzY4J?= =?us-ascii?Q?irxjVn+sSXIgKP3lsC8ETLjeC1JTjPImn2OzATmXDW+X0XR7ee4e2NO06KVn?= =?us-ascii?Q?ojl1BpjOgC+LGpoFHT1fx1d3Cy5D47b/IWj/uGZhlRlyeuHPv4cKWvssapvd?= =?us-ascii?Q?JtlE1tGUt/sgKIIKGPA81/REP5LnuxxHzbjsU45kLJFsXcDek5JyLIzkD7g8?= =?us-ascii?Q?/sFwmamycnoiKUqgFST4ARkATHSIE0r1EK3N/zV6FvHXpRiqxL4JsBem8gXF?= =?us-ascii?Q?LbWLzkyAH+vj8KBaMYdZIwD+D6cn62ACzJJiURa6Bt9ANt+qMyTHCx1BRtLS?= =?us-ascii?Q?YZ+bDkyUYviiuWvbrJtgL/ZO6jPk+9TCEEwF1BH3vwUyUVyQpCGCxunWtCPk?= =?us-ascii?Q?aT+nKA3gWPoaffdbb1QmsyfZR3xniLefUbTFk+hE36brQ4fnKjIxOW2P/HtD?= =?us-ascii?Q?tUoZSMGeT4j0OCbZ7xAakxzDfyS7B81yzDKS9uYz/PkfQ3vJbd9N8nhW3IRb?= =?us-ascii?Q?hwZ1Su+2VR+1FCv2O/x0my3zEbfUpZsGt4aswRtsQpa/Ld/Euy9uRw3piMha?= =?us-ascii?Q?nP5PgTtWISbdPgM686HjUiSCLJj46Z4jbyD2/Ll5FL0ThRKfgnpmEQ1SDg0f?= =?us-ascii?Q?ByeRkHvhMYjgHl5dJnqztyQ0dNa3MQa5ZzbqZpv65xvPUTeXbjHCy7xc9/Xk?= =?us-ascii?Q?7r9F+Vm/z75GVFj5p8aAnwI1/H8DEtqFu/3bacjitPrtW3E9lKsY8euaHfDe?= =?us-ascii?Q?Ojt5wgRQLS74xXFFzX3zteudcqCRhjILKnszZyAOPpOaIrh2nsD5oBdaPuy6?= =?us-ascii?Q?O7Hv06juuGwUMZj8BefAljrMZgS5LQJsWgzrvd8xakRYyimFLlgPC+Gh8AIx?= =?us-ascii?Q?3N4W26cpocnLZRReQP7yc4AV?= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230037)(1800799021)(366013)(376011)(38070700015);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?F5t1j8t4EipH0OjSU7WeTScStEyWHOvops/NyXCJawYt6rTzAaDANbtYWIG9?= =?us-ascii?Q?+2u7O5G6NE0eF3uw7W8QmQ400bNfeb8NxTRNFfW1OIanlcoo/OhtoC727RrB?= =?us-ascii?Q?H8XaAmkuKtg6/aLLkq3fqbHwyKmixjLzDYdLk+EuslVkd3V+2S4n9GGIEG45?= =?us-ascii?Q?4ojrLW4LnnTTTFHnEcCG3heZ1ZLmUrA99zqRhNztorj8t/L8Cc+abAdneXbs?= =?us-ascii?Q?VjsM8SdEQjTbpK+u/My4GPqPQLrdkvmv/JkSZSeMML0Mel+FyvAteEopx7ja?= =?us-ascii?Q?L0rI48x6vgpHZdvykE/jfk3Fyzz4zfVKEc9tq9GvGsU4LUVCI8ximANLySLo?= =?us-ascii?Q?jAxVwX7KwvzOlis1MpvTQf6gYX5W44cSGeh1UQN8CZ3rpOoyCYpN3In1Jcxs?= =?us-ascii?Q?u+PO1067F915lpitloWuCtC23fmFe0ApKk2WVAdSW/lH63w9iP6+gU4HpQUu?= =?us-ascii?Q?loH1LikJRhINSOTgWF9zHdaljFPtz/oF00H0iUdGiYSl4VASmLDN6+zNg2tW?= =?us-ascii?Q?NDYghl9ss9UJ0ZGKvZT4cbnMcrr+YPxEywSf5CYrNUrTM2e7rQDZ6qNAtf3L?= =?us-ascii?Q?Qv0UT6u12pp+sBfcHqanTrL5UbH8bBQIM++qosGWa8Bom8zkZJTsy0rSS3ZK?= =?us-ascii?Q?u/7HgObeXS8uAbU3/rEU9BN+FpjjrbsGXDaIEU6jKN9NGhAggODmFtVP8+CT?= =?us-ascii?Q?KEnqYxSMQEPa4K7BRwCv9pGYqUqy81DxQ4RdVh7Eu4BGPaKe7xe6lFNdojZY?= =?us-ascii?Q?d40OiPDEb24MF2O88fWygCSzA7/bCz5g7v6c7u9lNrATZIzj7nNiTBBpgieM?= =?us-ascii?Q?odkGZFmpFDAAhX12JSuK1GR11LwEBy/lXDTnt2Ql3wzfmmujPILTzo9Spzh8?= =?us-ascii?Q?FpE0GNUZjfZGXHnBf9pQ9bM4x8qJUjClkP2CUgfvJe3Fwi0+iV0fd85wPAZa?= =?us-ascii?Q?pgMXXio6VQD7evxJe/lbRIlry0Qas02YGmrGBt0heEXXxK7o+NR9nfAFMvi+?= =?us-ascii?Q?tPfbbNgjh3EJP7impJ8cPNQK2KOe2CHus7Bk+ETWqYo4ElygYK//RYSaJonn?= =?us-ascii?Q?Jd7eurJSQO7SRNiiWz8zxPZcJF4Y5kVoVh/26TqR68/F011iZo2iDwl18wJQ?= =?us-ascii?Q?khQWxP/3Iv1X7ln4E/XiWIruv3CHYqyaGUKnVeo85+IUiLziwYk/+i9ucjBE?= =?us-ascii?Q?W7ib7dIfli8bcNVlwQ9GO0Jf/00dNu/WDVffSPT9ZgAV49WO5UKtznBAJJtp?= =?us-ascii?Q?74tobO3/NLVnZNKVvRBrY8gF5BaCfnTIS+a3QWA1KsNfC1HTp+YKajtbs0d1?= =?us-ascii?Q?YJ8BDIeBClUB29I1+TjNlcCVFAX/g9XCHaY3tNsvQpdi9+zo+/urRhG1pFXm?= =?us-ascii?Q?BeugRnnH6QfK8bDPoLrVQC2fZNpswbWfZCTjX+wnEga2ptS/+BRgSO8mH3J0?= =?us-ascii?Q?PXak2JItZkeD/spshKewz7doH47V02giGwa4L0XkC1EWXDm4CzFgzIwwW/lH?= =?us-ascii?Q?YABxBKDfB4iXmM5TTjDU+aImCC8K5PsXArkntYU3yAA4/4Q9Pat66OqsTjAA?= =?us-ascii?Q?bBnNnLOGTArjOPyXRR10xlxWIedyxlDX4dYSneJD+4QZ7bma1lFPNmCUlbb2?= =?us-ascii?Q?YjIGCyir3tc7XAlEpdJx23c=3D?= Content-Type: multipart/alternative; boundary="_000_FC87F6F64CAA457DA9242D04EDC30054manchesteracuk_" 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: 838fdf2b-4c77-4d4b-ffe2-08dc8eacbd5c X-MS-Exchange-CrossTenant-originalarrivaltime: 17 Jun 2024 09:06:14.2230 (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: IrcJnOA6sQ1CKktKh4B1lqESa+znq3OsN6RNOgRmBcuU0LL1u+KRY4qyT71qbpKJUNj7nTj43R83KXWsAeYefGMRJAAbFRXLm0uRuoGfHhk= X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB6053 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:f403:261a::700 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: , --_000_FC87F6F64CAA457DA9242D04EDC30054manchesteracuk_ Content-Type: text/plain; charset="UTF-8" Dear all, I am writing to invite applications for 10-month postdoctoral position in Higher Category Theory: https://jobs.leeds.ac.uk/Vacancy.aspx?ref=EPSMA1115 The position is funded by an AFOSR research project whose general goal is to extend the connections between Category Theory and Logic to higher categories. The grant is held at the University of Leeds, but the successful candidate will have the opportunity to be based at the University of Manchester. The deadline for applications is Wednesday 3rd July. Interviews will be held on Tuesday 16th July. Please do not hesitate to contact me for further information. With best regards (and apologies for multiple postings), Nicola == Dr Nicola Gambino Department of Mathematics, University of Manchester https://personalpages.manchester.ac.uk/staff/Nicola.Gambino/ -- 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/FC87F6F6-4CAA-457D-A924-2D04EDC30054%40manchester.ac.uk. --_000_FC87F6F64CAA457DA9242D04EDC30054manchesteracuk_ Content-Type: text/html; charset="UTF-8" Content-ID: <4F5D0B3195434143AB2A3CC8901A343D@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable Dear all,

I am writing to invite applications for 10-month postdoctoral position= in Higher Category Theory:


The position is funded by an AFOSR research project whose general goal= is to extend the connections between Category Theory and Logic to higher c= ategories.
The grant is held at the University of Leeds, but the successful candi= date will have the opportunity to be based at the University of Manchester.=

The deadline for applications is Wednesday 3rd July. 
Interviews will be held on Tuesday 16th July. 

Please do not hesitate to contact me for further information.

With best regards (and apologies for multiple postings),
Nicola

=3D=3D
Dr Nicola Gambino
Department of Mathematics, University of Manchester







--
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/FC87F6F6-4CAA-457D-A924-2D04EDC30054%40manches= ter.ac.uk.
--_000_FC87F6F64CAA457DA9242D04EDC30054manchesteracuk_--