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 4263 invoked from network); 5 Jan 2023 09:07:08 -0000 Received: from mail-lf1-x13e.google.com (2a00:1450:4864:20::13e) by inbox.vuxu.org with ESMTPUTF8; 5 Jan 2023 09:07:08 -0000 Received: by mail-lf1-x13e.google.com with SMTP id i13-20020ac2522d000000b004cb23bf5c6csf5420939lfl.20 for ; Thu, 05 Jan 2023 01:07:08 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1672909627; cv=pass; d=google.com; s=arc-20160816; b=lukm6ht5rRJIYaFE/HidWkTQryI80AYqMZ+4hV3E9pSLVkdLePWhuE3kqgr5Vlbwp8 MtbNiYjhgrzD25oKJGuisc9kIBL0bH7pZDvWKcw/VeqQ3Ca2YRJPGP+y5ndHKwwJvsiE DdMiMcRFGt4stN9pESqLf8gVO0oSxngx9m5cFO4geW7ya3oFTQh+wbnCSKyJEswLm+09 fnlnv2xjULxXZj68r+nTk7lnyLTLigEEWU9b4IM1LR/ehPy1fD9Csw6fGCkCcUp4Drtj mJQCSaPQ34NL6gCvhHv8T/dT6YJZ2jdMVW8lulHPoY7NqT3VitYI+IcoufKaBD7PrNTn Wcgw== 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=bnilUQwxSF1FV824OkN2F5iH+My20CxSMkk4liHJO9o=; b=UDZuPA2BHoxoQ8J0HFKy9Cjc3UDVXYQGFljNk5MZod9ifFMsob9AAumN59rCCNEWVl SNxTX3yS+XbvRiao4QfSqyHnH/mFk4hsfKRHy01M/MTxhsGmEPawdl4v+ystn8gcui7h AmbkSC3j4jV62N8oKc79y9fXf+TvnKnzmwASf77O7yzWoXiZwiGxq3vv+0mbvz1E1dKq 8nVr53iAZNQh7ljYlYUh1yOHK3Ezx0aGbA9C78WIuEPKSdBUrEbeWGnMzgi63gBFmPqa 2lAOQts+dv4duA5mH2ibGOCD/mXu8ViJAAe3Aj7jwvTeTh3VlZ4MOFrnpKezxVGq/ErC flTg== 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 40.107.10.53 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=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-language:accept-language :message-id:date:thread-index:thread-topic:subject:to:from:sender :from:to:cc:subject:date:message-id:reply-to; bh=bnilUQwxSF1FV824OkN2F5iH+My20CxSMkk4liHJO9o=; b=qzbfyeMWF01bsxHwYwMvevt8y35io7shrpkeLnvDZtaJg06MkuoAXIikQgweRGGuRR Mx63O9e6z7NJO9F830Lti1yWtwjLETAIh9Z62+Y/2MrISRyd9DlUON3D56bRtEnISvuR lTXvimPuDcOTqmZE9UU3r8Ch14DGt50nlg/9WBf4WuMsmENDY7UHjmMSxLi/nbOyOt4F pQzo3kDc5EeEpjhcKWJ3FXVsKt/01jgaEJC2H4+Ar+eQvR6EvfrZmJbV1gZhfBPiYy/0 ecSZHGNjv0lxKIEW6zsIri42LxSdRuX+rFJ7xTppBYzx0KrwUJZwf48o4ORIUwskdpZJ kdag== 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 :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-gm-message-state:sender:from:to:cc :subject:date:message-id:reply-to; bh=bnilUQwxSF1FV824OkN2F5iH+My20CxSMkk4liHJO9o=; b=hOVntLqGU6Fzi9FFMrC87Hlc644lj7SnRGYbAWPkV/G+B/IvquSchma56GaAJ8xs0T l64K/JJs9hdT4gzU+hxEyTmq4q8bUyrVGFiRaqd1KDVhrcUfoxmvbF5WlkSbeLz5xia6 vQEEjGMSl4cvfnnQ4knF9eFAlMoJdn838QHR9i+sgUYjvGwPIB4L/6PI4FpdHiZxVfNK 4vh39k0OtMcH/4cqLqNvm9esxPF6rj6h6sEAGtk2ayt0KIp6uBB66/gWt+eOCF4td0ST Qef7yltLz1Ln3uuAK4QPTOnv4RyhQtSbB5MPfyASXJzpK/aWE8As5v6GT87POP/aa9Xn Mx4Q== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AFqh2kp8ifxt9oKbMliZMlX6jcXFXWeVub3zTP1spjVYpgM4E+FgGF2M bhH+bPjjSnCnzi/PjdXifRQ= X-Google-Smtp-Source: AMrXdXuDQCgEYAK7pXpOjO12yxLD8Iyf5+T12SbUFEH4fWylGV5EtPf8kdArIwz45ZC8MZJxUXwzAw== X-Received: by 2002:a05:6512:3d89:b0:4b6:eb6f:624e with SMTP id k9-20020a0565123d8900b004b6eb6f624emr3359516lfv.576.1672909627233; Thu, 05 Jan 2023 01:07:07 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a2e:8784:0:b0:27f:e5b1:aff6 with SMTP id n4-20020a2e8784000000b0027fe5b1aff6ls1694861lji.6.-pod-prod-gmail; Thu, 05 Jan 2023 01:07:04 -0800 (PST) X-Received: by 2002:a05:651c:1992:b0:27f:ae36:83ad with SMTP id bx18-20020a05651c199200b0027fae3683admr16519562ljb.5.1672909624364; Thu, 05 Jan 2023 01:07:04 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1672909624; cv=pass; d=google.com; s=arc-20160816; b=0MGDTt9l2OHq7tJrslrdlLwp52OSjkIWLprsmBI91tyHBchaAWxuemEyiWn6efwnu0 twL8R8cFu5Rz+jzujKoRZ39AwHghLEX+CyVY0dU0SgnoOJtUI0CIb7BLrOsXv7RvAbpW B56KK19xI3hGI4j/9jpj6nhZcqUXHt5QGVURdgPREAzD8rMeKZRe9EuN1NzAjHhAGyOx SLCn16DOIxDASPJq8fDexHhkojfC8PJhfAyBpd1SMhSVz+MLUwnlvadzYo+HTUtLk05q JxkpOw/G3cZHwWxW8nk1MuGFFbwzVMpeD/nsaDdYVlw6aPIViYs4PO66xdH8kpyYcXGh 856g== 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=RfKzathqNHdb7Nws4+qWjFp7IEnLQcHjoOESbkIGoGo=; b=vtWdh9fe+lSggoRSNdANqkMMkQiDpclvI5i6nbcoGJ3M4kueOMXDgeCEz+1GaqcmF7 r3/Mqr3eH4srFLLUTKfqxobzDN7UJfTveoaCiKXg9vgRNGWLC/Do0OOdIVWH3hKi1uKo HNKl+ulA8PYBlqtHvead8S8CAT0OA8W5bgHtrBzomn6MPSvYQd+m+bY+C7r4TJdDKM9E dNx8XQtcB12UWR86BpXi63juVZTzRkiAMNHfVT6NUncKpCxokpxlArpFZvgElegpawQO cbrWh7OGa/QqglQe5NnIKqZZl/yTgLGEWwKYjb+oTNM5OUUMSbSaDWu2lhRgIU+gV9WQ dbag== 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 40.107.10.53 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-lo2gbr01on2053.outbound.protection.outlook.com. [40.107.10.53]) by gmr-mx.google.com with ESMTPS id h15-20020a05651c124f00b0027fc7331b1dsi823346ljh.8.2023.01.05.01.07.04 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 05 Jan 2023 01:07:04 -0800 (PST) Received-SPF: pass (google.com: domain of nicola.gambino@manchester.ac.uk designates 40.107.10.53 as permitted sender) client-ip=40.107.10.53; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=EQx4Jxi6F/Me8ClXlXxfnIN5iR/fW7pw4tDCa/5cEg5W1vJIxTuXAgK5oE0LL9WVcsqbkOqLYxTt56K4rT8b9fJjBFYFUMxIgijd24r7TJhJfncQzD65A9Ho/HvC+Q8QRq4y/ZqiYz6n7UrIC4qGI+N6Tf07+RCMFQoWWcPJBDmExyjohkRjfd9nyqM8LoJTzq5WcoxCtdCJQGpzZfKGxRnGSuWnx8Y7sahDKgU/ujTHRaZytpECotQc/l/V2OBkemScZwEYx4upQQcTnAneTqfyEN/jxBIzkdX+k5ck/8taIiytqfRt1CmbZCw30htPSNpfhwB9cFJT5QTaPSuH7A== 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=RfKzathqNHdb7Nws4+qWjFp7IEnLQcHjoOESbkIGoGo=; b=O2g8aONfJja/lh/rLwMgFClFfwkP0spIdYQPkkXkr8JEzbhGxc0idqPL8uZ7XqdIoi6FbkbSo/8fK0k+o+M6o6lBnnICg+5ptSqfFKHt9/KfYi0vAYWIQ1g9EkR9CwicQZ+276YW7ROBEsRF9G4KHCB0didhpeK+6mFPYJ98wPa1PXKe/SbEg5gO2iUvjjRIQq9nRkhTMdOJLUpeMbSqvgQT2GnJcjXkvBwfUvyiolDr9VB2yskceJh/UZeWhsNBnCjUCvC81e4uQycjkNzldgxWW0Bm1Kjc6cNGPRG31MG2uL9o4ot0/v8B/HjmOUKIeL6a1uVnyMRYq7dL2fuP/Q== 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 LO6P265MB6046.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2a5::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5944.19; Thu, 5 Jan 2023 09:07:02 +0000 Received: from LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::31d5:6a1d:fb4d:2e89]) by LO2P265MB5040.GBRP265.PROD.OUTLOOK.COM ([fe80::31d5:6a1d:fb4d:2e89%5]) with mapi id 15.20.5944.019; Thu, 5 Jan 2023 09:07:02 +0000 From: Nicola Gambino To: "HomotopyTypeTheory@googlegroups.com" Subject: [HoTT] Postdoc at the University of Manchester Thread-Topic: Postdoc at the University of Manchester Thread-Index: AQHZIOUTxGSak1r2D06zpQL2NbqCfQ== Date: Thu, 5 Jan 2023 09:07:02 +0000 Message-ID: <5854D71A-747E-4238-9DE4-D8AFF90A68D6@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_|LO6P265MB6046:EE_ x-ms-office365-filtering-correlation-id: 276f3813-da90-4d59-e31c-08daeefc35ab x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: EEBftjeRerPViXyEl6EgfxGEGXgpR2cYk3E+s+MnnM0FY9QXFYQgwXLC0qNiZWWFDdrylsYv7cqjmHJwJ46yiXQcknr5/1xkjj6UQg2jzJ7xzVxf10+TmpZ+hb4dgbEngFbHFNuLRCK4gWFp4UJ6Y0pFXXyroRkUqJkfMFjUW3gcLEpN4ZOpfjLZxbMB1cFVgOf1qkGXEvEuuEQYVPPApKis+UPbh4PUX/EwIErtOZk7aSS1hh098n2dAn096Utl7zOrWdBHC/Xzn2SonyybhUGHOM1J/E3zRehRfklo2eYprSbrqXtab8ubwhpQ2wkEESkY/D+51p91BhJQFjMyridfvlxwx09CQaqiajfdq05bNGlGiCwtSJ7wqHy/yl0k85/DaXclaxLUBMfJBPULvUisrkV6tkEfHrWVi8nS5e/grXCBVZuEM2Pva4NrYOyD9ChMIFgQxISzPDjUfugd+1duJ1S3C6my0kxCSAGESZZ0neW77O/CHuttWrMhTQrZKNUm9RpcmBnFNIT/BmOQnnJNFYhvQljDEoFNpLfYi9X/ecWr3IWjhLxIqpaqHRwS3ewecUX19ufFv9OgiV+yDBUGdvFIgX7PtmCIv9HMQex7CFtzx7ANbcUyFB9i6D0U5X7AnZ1aqDq86UIVDevOgO0gOd7gIrfO7TjVgZlYeG5Wr1aP0evMEPhUF9gtruJxBTnvCX+gwf8+bQp2nW9doNRxmsYpe8YXL3wzyCR/qY1AxenqCRsUJE5Vlz68HPCM 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:(13230022)(4636009)(366004)(346002)(39860400002)(136003)(376002)(396003)(451199015)(83380400001)(6512007)(33656002)(6506007)(86362001)(38070700005)(36756003)(122000001)(2616005)(166002)(38100700002)(186003)(316002)(41300700001)(478600001)(8676002)(2906002)(5660300002)(8936002)(4744005)(71200400001)(6486002)(966005)(76116006)(66476007)(786003)(66556008)(66946007)(64756008)(66446008)(6916009)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?us-ascii?Q?+jirXtYogBuy22Lymac5lE9Xem1VScaF5ZDsu9nvA/WlC3EEAM3aAEATIJKC?= =?us-ascii?Q?RaEggmw/JxcITQ1jgxAoZ4cGp3mVZsHz1pJ1r8UFW/NIH91UbLj/vY03VDyE?= =?us-ascii?Q?G9bR52rUySklhPXqDW+0JKBzW9M/fufg6BXP4Hr4MHq7z3uul1M6m6VrtxtS?= =?us-ascii?Q?hPrc7sB5MAwyk+YfF1O/VSgqOeVp2xYFTgfTTlF8ukki+lczq53X76O5rnLg?= =?us-ascii?Q?30R6nfGDSGszLKOSu4QugdS+qWRNX+ojNDx6aV8KsdNlhGPUGONgNu5ahur/?= =?us-ascii?Q?iWE66hYRDtBcFtTHiWWh4+qPdUTH1mMz2N6tF2Ehnbn8QGQ7ts46lTcAVApo?= =?us-ascii?Q?pWt6aU8iC0BCWsdvw0g5lUbSj521stCswM5DxZCrtzasEdF9NQqcfnQ5eOcE?= =?us-ascii?Q?P4FccikBfHU65J05LeitaC6O/qSEZWWxIhRWnLo2soioO6twdn7ldgQVcfU+?= =?us-ascii?Q?k2g3MfySPXLrNAa1whpoq8Rsb9nwBf4Ax5/Ir3r30luj14B+t65KEIhuGTxY?= =?us-ascii?Q?zjlya7uIqqzwvlfxRM4K8j/1BiHDmFcIcH005cV4k3ftWyAKFOkp04AvoM2P?= =?us-ascii?Q?L+2raztZHcGOxRg3M0yOnOHAO/yoz0ch+MjiHGWyDIE14firvhYTsIONkIC5?= =?us-ascii?Q?i7r0tA8dwCLzSRKU/XJw0H7/tQuHeZnM7koST9Hz3Y1bozqA6d2zEhyRTxr7?= =?us-ascii?Q?iAVvQAd7obf4FLPR+AEKOGO5sK5e7KAZzbKi0MRhQ7X/2ahcimVAft7iVNws?= =?us-ascii?Q?W9dtqdUX8SiH8L8YFDZkGORW627acbNzEWH5PAFpujI6x1//2ySK7tdXbhNE?= =?us-ascii?Q?8V1PVJftuEOsZ4lCIaj2hW2Z8eMr+Pw8a8KxXekmGuK4pJwIr+Vv2Wh2Drw3?= =?us-ascii?Q?EvPMWwzd8bGH5KXddACvdHMRbsuYEtl31ZLTdE9AhveB54ISK+CFIvuyvg5/?= =?us-ascii?Q?3dFNCZBjKHs2iJdad2zQmyjVN824ne5OO1fHZ529Xbm9O0676zc87JQGojAo?= =?us-ascii?Q?mC+aPjL2HTMjuUTftLCgOOaM5der23I4IKnaxn9aM60inNSFVdZZdrwb4iVo?= =?us-ascii?Q?rnjc8CvC2M7hRGZWjkGy4szv0Cck1+V5CTaXVk0K5LvTbl2UxsP14+51P/hD?= =?us-ascii?Q?LET4Cf0SyA+aJFWtwVwQJry/F23YGQ37FO01C+pP3Bk5k0Mr2vScwIHUAwXK?= =?us-ascii?Q?LLNtTTmetshOvPi1eUtoV0EuWD3uQrgP7xdxas4URcrnfWHHZuhP6Zz7y67s?= =?us-ascii?Q?DTH4LLW2y1HFmX9mkfa6O0vdLwx5Z4Zn6vz0FbTe5K/CQIOvpR3c/IM6XEOS?= =?us-ascii?Q?oVKLcXsNp60i/4gYm/WQC5d4K+fAS1+oSFjEYdSnn84vDT1gbLJ2jwvqkg0Z?= =?us-ascii?Q?VhBG1sihkllyw7EwvzFh24fV4dm7G322MQ2jeLK5iA9q9/8E1oFrp36+6x7c?= =?us-ascii?Q?pZDSkJX57i9l62CBNmwsK3BGss/BvXQDLidT0kB7HN104VwU7WhirD2nk26p?= =?us-ascii?Q?Hiuj1mJRE1yETib1J5E8oHeahIyVU++3o61uzP1Q6WJqr+d4mGL8LwSgFUdr?= =?us-ascii?Q?l6YO96LyKOGS6+WGqv1hPy7PPtqlTzhAs/D4uO4Voi4EsTPEEkTpeAnZA7I1?= =?us-ascii?Q?mikYAVMcI8mL3XpWyUGZdOOFXvxDXkT20GKzPPcAcX3tloMERfL+jkRT4WbT?= =?us-ascii?Q?7V/IjuXTtz/k4hK9aWxloi4/eSM=3D?= Content-Type: multipart/alternative; boundary="_000_5854D71A747E42389DE4D8AFF90A68D6manchesteracuk_" 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: 276f3813-da90-4d59-e31c-08daeefc35ab X-MS-Exchange-CrossTenant-originalarrivaltime: 05 Jan 2023 09:07:02.5348 (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: rjCisbQlWx3XzYIqvaVhLEpuUvn/QPQc26zFF5PwTQxyB0ueuminmJg6EMbiRhSxZvDsonhKh9Kgcbw8aWMSNl6VkKOUwoY/r2kQUIsQW/0= X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO6P265MB6046 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 40.107.10.53 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_5854D71A747E42389DE4D8AFF90A68D6manchesteracuk_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, The Department of Mathematics of the University of Manchester is advertisin= g a postdoctoral research fellowship to work on the EPSRC-funded project "M= onoidal bicategories, linear logic and operads" with me (University of Manc= hester) and Marcelo Fiore (University of Cambridge). The deadline for applications is 23rd January 2023. For further information= , please see the web page: https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=3D24337 With best regards, Nicola Dr Nicola Gambino Reader in Pure Mathematics Department of Mathematics, University of Manchester --=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/5854D71A-747E-4238-9DE4-D8AFF90A68D6%40manchester.ac.uk. --_000_5854D71A747E42389DE4D8AFF90A68D6manchesteracuk_ Content-Type: text/html; charset="UTF-8" Content-ID: <1D555ED7FFBF6C40A689EC09D3A0412F@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable
Dear all,

The Department of Mathematics of the University of Manchester is adv= ertising a postdoctoral research fellowship to work on the EPSRC-funded project "Monoidal bicategories, linear logic= and operads" with me (University of Manchester) and Marcelo Fiore (Un= iversity of Cambridge).

The deadline for applications is 23rd January 2023. For further information= , please see the web page:

https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=3D24337=

With best regards,
Nicola


Dr Nicola Gambino
Reader in Pure Mathematics
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/5854D71A-747E-4238-9DE4-D8AFF90A68D6%40manches= ter.ac.uk.
--_000_5854D71A747E42389DE4D8AFF90A68D6manchesteracuk_--