From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-0.8 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 autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-wr1-x439.google.com (mail-wr1-x439.google.com [IPv6:2a00:1450:4864:20::439]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id d3b18893 for ; Tue, 30 Jul 2019 19:20:05 +0000 (UTC) Received: by mail-wr1-x439.google.com with SMTP id b14sf32291607wrn.8 for ; Tue, 30 Jul 2019 12:20:05 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1564514404; cv=pass; d=google.com; s=arc-20160816; b=xPdqFxKsxb9gmIGMkQWv0Cg8EagF69R59dFjsK1k8CNN8tV+ixlR/K/Jw2b1lUQS6p XvQ7sqh1jqovbB7uJthW2IgZC7ELo5Yip9SnYcnYul8XKJqA8xlPnA8D10aVhLoX73fH OZJ6fyuoAonWAuHGhnxRntxu9wXdoAAHPzJCXfyYbJFdarfHvW+XmQCm0ghghIkCF9Uu U1VPJlWQ/2whRR5JBjtIC6nxlYDe42E3VBeKZWLKCSZFuJlE9EEmfeyvtBBUqwiGKl/K Jo+A9CSL5/dEXz+jaKUz727zgZONYBXFJ5qXAXmOPwBLya36/IVUXR6ATI4ABzDXYmU9 XoxQ== 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=oRv/hNaS2HuEK9XerzVfFwVFNEcry2ytYJfSeWqFHgs=; b=atymcgrXj/7lI+Jh75QR7aJhigg8Tu0slm66RS9AaPMast6H762i5fKODCtHjIY6Pd fqEaH7ryytOGsuBvH63RzIck8jfvgppMtpV1UgY0+QIw4Go378TsIN8MYa37VuBJSXL1 6+BnESSxiRZzRCVo/smukLB8ce3dEvOdMSAtYA4BwXOFg1PD/hkhA0DMjVPvBXCToRie zX2x5yicWbGLBG1LKQtDBftAcEHhckCP8ItU/SjTra4Iw8RALLkY4U04T3Gqaw+2HtVx oVM/RmPVM84OApx6ko89EXdUcgHa4EiKNvRskHxlJoHJdR0ziE6wYWs746gQekkfgGvu MpGg== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@leeds365.onmicrosoft.com header.s=selector1-leeds365-onmicrosoft-com header.b=qmJhYar7; arc=pass (i=1 spf=pass spfdomain=leeds.ac.uk dkim=pass dkdomain=leeds.ac.uk dmarc=pass fromdomain=leeds.ac.uk); spf=pass (google.com: domain of n.gambino@leeds.ac.uk designates 129.11.76.154 as permitted sender) smtp.mailfrom=N.Gambino@leeds.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=leeds.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:from:to:subject:thread-topic:thread-index:date:message-id :accept-language:content-language:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=oRv/hNaS2HuEK9XerzVfFwVFNEcry2ytYJfSeWqFHgs=; b=e6cb3iYnFlygbG8M53MjZsnqrZqbn0ZAfmkuXFXtpwVmAqfhFotrYHT2DFI3JCaDqr pANg7/GWq9qx86FLIrXTfFLyUjsrGZ4tgmblmck8B9IFOvJ/8hTUWgUrnLC0Xx/9soX/ Iz6RTBL1IjSbZFhF9JfUIDoig37KyQLBztyUP+uKZ8bTUW/FC/+rzC8AZeMmO2oh3k38 49thUS518LbKpT5qoLGJvhl6SlIwoat7zWroqOH/MNxXyWmP8eoDSZRJw9UMXkcGkvVn GntObMigKIsQgyQSIWNHI1n2jZBodU3iz8i1p5LcQBBikPJA/+I69nddEb3JYIyxCicF 1vtg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:from:to:subject:thread-topic:thread-index :date:message-id:accept-language:content-language:mime-version :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:x-spam-checked-in-group:list-post:list-help :list-archive:list-unsubscribe; bh=oRv/hNaS2HuEK9XerzVfFwVFNEcry2ytYJfSeWqFHgs=; b=UmlCa/GvHPnBJYXlqFhkPTym1irBSX08k12AXgRl7tSyr8w2k7uycAFuiSfr5ZaXTn ObWyyWyLAccUxTQpY3Nr1vLclT+o0e+k0W9rVvi/upXamlNvtbRcds+LfHMnWJDz7Cla oHwW+MBy6m4WYnCv3hu4+DBBu7ucSI07RKbaW0IWUUY09M+U9CbyHe8njvUbY2Y3Jjxl XKwe+FtNgUMjUuYa+lzaxy//pw+Ut0Jj3Ie/TmKVZ2JEgBfGu9XbmhDmvMnSt+AF0YV1 wbBgAUCZQW/+rtvZi86u9eQiMNrF7GCQfPU+zy9wWSotVgUz5Od0RtCWxfgWraMd7Jj7 FBBw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUaGHY9BQNkbT/ac8zAL9TGaQUp3Q6Qp598Hwg8SYHX7lJZ083y c7RtJQxODLErccSQIxz6Rcc= X-Google-Smtp-Source: APXvYqx7MkyIWkFY5rudMehU5WeWO39Ro6Nd++GEmwOiVaJqK9d18aTzkq1TKM742iz6hNT1qqvaKA== X-Received: by 2002:a5d:63c9:: with SMTP id c9mr93498200wrw.15.1564514404793; Tue, 30 Jul 2019 12:20:04 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a7b:cc10:: with SMTP id f16ls22974303wmh.2.gmail; Tue, 30 Jul 2019 12:20:04 -0700 (PDT) X-Received: by 2002:a05:600c:204c:: with SMTP id p12mr105931417wmg.121.1564514404343; Tue, 30 Jul 2019 12:20:04 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1564514404; cv=pass; d=google.com; s=arc-20160816; b=NmR4gr3ZUEag/96mHDomu2NnND4ywzUXXKVSWR1YvpK1QUCHwYnt2VzWsaVFHoFa0z hH/WTzfEs8hCtcHHUp0RtKcI5jAnh5yVrAQth2vF8SIknaEsJ90XUujOKYxSmEJcbslW jwjLo0BE1QfBDm2HriceNgPp8PDIazbo5oRbDsBkmaD1rBpogD02hxrHJT9ELRH2WOGr fMJi7n9EPoQ+oIZrgMkXpbsTbec9Vikm/6+OKgd0jmOIL6P4P1A4gySlo9dI6yXFVkNY xrxoCidYoAM6IBmEKT9+INRlPz5kAabh1Ip4fOzUgdf8HRqL8GFyYhLiKtas9B4B7K0y onWw== 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:dkim-signature; bh=u4xN/CHbC2cbOG9TH4M1nCAMqhhvaX4vP6bViMzGsLY=; b=DV/Wkzuu0peJw+36FI7N/vcSliVL17/DHju79EUJDj0LAjF8NJnrFzQORXqLeIR1TW x3O85bYEY96DXevAhuKSFgaSmhCvSXnrtxXv+ddsWc8Kimb7ETTL0hnT3QCURsCyg4e6 WjOlZme1jvqVqdQgK/OghkvCH27+t7XLp0ynwmCu839nuj0WCf/TanT8Aqvdlt0iyOEl H3FmtuIJ81lrJJFqx+iFlApDY6O9TaWuehlDJNSWkJ77DC1NULhIF7Db593FMl36op6p XmI84Do6PI9e6nHUEFe8wznz8A5+SRv2k70TqhzyIHqfYUc8GEX5cLVhIotVBHiP2Tdn llDA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@leeds365.onmicrosoft.com header.s=selector1-leeds365-onmicrosoft-com header.b=qmJhYar7; arc=pass (i=1 spf=pass spfdomain=leeds.ac.uk dkim=pass dkdomain=leeds.ac.uk dmarc=pass fromdomain=leeds.ac.uk); spf=pass (google.com: domain of n.gambino@leeds.ac.uk designates 129.11.76.154 as permitted sender) smtp.mailfrom=N.Gambino@leeds.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=leeds.ac.uk Received: from mhost02c.leeds.ac.uk (mhost02c.leeds.ac.uk. [129.11.76.154]) by gmr-mx.google.com with ESMTPS id r13si3359210wrn.3.2019.07.30.12.20.04 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 30 Jul 2019 12:20:04 -0700 (PDT) Received-SPF: pass (google.com: domain of n.gambino@leeds.ac.uk designates 129.11.76.154 as permitted sender) client-ip=129.11.76.154; Received: from APOLLO2.ds.leeds.ac.uk (apollo2.leeds.ac.uk [129.11.5.5]) by mhost02c.leeds.ac.uk (8.14.4/8.14.4) with ESMTP id x6UJK3M7031607 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NOT) for ; Tue, 30 Jul 2019 20:20:04 +0100 Received: from APOLLO8.ds.leeds.ac.uk (129.11.6.119) by APOLLO2.ds.leeds.ac.uk (129.11.5.5) with Microsoft SMTP Server (TLS) id 8.3.245.1; Tue, 30 Jul 2019 20:20:03 +0100 Received: from EUR01-HE1-obe.outbound.protection.outlook.com (104.47.0.56) by outlook.leeds.ac.uk (129.11.6.119) with Microsoft SMTP Server (TLS) id 14.3.195.1; Tue, 30 Jul 2019 20:20:03 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=k1zS7r/1qLjmSaLaEPSSAF4Jt+2UYvLeYRFhhKaUrm0NM+wHf0YRABSTEnVmTwRpjvlClBuv3duyF1hXHP/vL/sAqfOh7Ii7uapU7WEVFIz0SyZaxtPcK5JsH5OSI5kEBigwl0iuSz+8n+QY2Oe9vyn9pALki9YL62QTrfGpRCbe8G0W+cYLnLTlQ2JFsO+oCvdKSUQsKmFYMvOZo4eu22C+CHybDt+SWngMLUL2ehtx40kpk9slB1CM39uxNohHOLag0aJDwOLPlo3HBVrDEUWlYGig9G8wywvdRarwrilpWWEYaQqEkd1QDU7TSadnCQ1jew3M/141SXI1bLUBPg== 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-SenderADCheck; bh=u4xN/CHbC2cbOG9TH4M1nCAMqhhvaX4vP6bViMzGsLY=; b=HuCpGuoyr5dNQ7rr/rZAX8N5mHz8+jsDdP5CKy5s4WVR0F1Aor7swgZwFbotQ53Z/bMGiMogv7tRgvlgvS/n7EsKpdhmwPqj9vR7pgEOwA9Mmjz0DxUB/iOprIv3xv5yjTMD4h/ZTJTftdxnhRxFmtFws/8e5/pnO3gmvDZsfZoPu+wTQRmxPamVL/3+aFi9dDpGBKdqIa9knD9AfrSF1UP8WabsIpHfB6MIqasPJtgpI8P0kTAgmI1aMhfJVEOXKaqzkgPoGluQ5GMvPtqPn/+RwqEBgjS9/O0bFrRoAmWMXCxUOftPGhEZgktpyBLRVlB9dySMou3uKNNXu33IGw== ARC-Authentication-Results: i=1; mx.microsoft.com 1;spf=pass smtp.mailfrom=leeds.ac.uk;dmarc=pass action=none header.from=leeds.ac.uk;dkim=pass header.d=leeds.ac.uk;arc=none Received: from DB7PR03MB3641.eurprd03.prod.outlook.com (52.134.98.154) by DB7PR03MB4140.eurprd03.prod.outlook.com (52.135.137.138) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.2115.14; Tue, 30 Jul 2019 19:20:00 +0000 Received: from DB7PR03MB3641.eurprd03.prod.outlook.com ([fe80::1cfd:2e98:4a6f:2f4d]) by DB7PR03MB3641.eurprd03.prod.outlook.com ([fe80::1cfd:2e98:4a6f:2f4d%3]) with mapi id 15.20.2115.005; Tue, 30 Jul 2019 19:20:00 +0000 From: Nicola Gambino To: Homotopy Type Theory Subject: [HoTT] Postdoc position at Leeds Thread-Topic: Postdoc position at Leeds Thread-Index: AQHVRwvI2pmGsAmWyUiHL5aPxN7u+g== Date: Tue, 30 Jul 2019 19:20:00 +0000 Message-ID: Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3445.104.11) x-originating-ip: [95.254.111.9] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 04591f8d-0a3b-45dd-bd3d-08d71522ea8e x-microsoft-antispam: BCL:0;PCL:0;RULEID:(2390118)(7020095)(4652040)(8989299)(4534185)(4627221)(201703031133081)(201702281549075)(8990200)(5600148)(711020)(4605104)(1401327)(2017052603328)(7193020);SRVR:DB7PR03MB4140; x-ms-traffictypediagnostic: DB7PR03MB4140: x-ms-exchange-purlcount: 2 x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:8882; x-forefront-prvs: 0114FF88F6 x-forefront-antispam-report: SFV:NSPM;SFS:(10009020)(136003)(376002)(366004)(39860400002)(346002)(396003)(189003)(199004)(3480700005)(8676002)(5660300002)(8936002)(81156014)(606006)(186003)(786003)(81166006)(68736007)(66946007)(102836004)(86362001)(66476007)(33656002)(6506007)(66556008)(99286004)(66446008)(413944005)(50226002)(6916009)(966005)(91956017)(14454004)(478600001)(76116006)(4744005)(3846002)(476003)(486006)(2616005)(71200400001)(25786009)(66066001)(64756008)(256004)(7736002)(316002)(6116002)(71190400001)(236005)(6436002)(53936002)(26005)(6486002)(2906002)(36756003)(6306002)(54896002)(57306001)(6512007);DIR:OUT;SFP:1101;SCL:1;SRVR:DB7PR03MB4140;H:DB7PR03MB3641.eurprd03.prod.outlook.com;FPR:;SPF:None;LANG:en;PTR:InfoNoRecords;MX:1;A:1; received-spf: None (protection.outlook.com: leeds.ac.uk does not designate permitted sender hosts) x-ms-exchange-senderadcheck: 1 x-microsoft-antispam-message-info: VizJ7GXxENQSpBiZhwFdttxdH1GQSVlZNFrKLi/NzY/zuRyivXIpIAXq0b4GfPSCQnflqHjEIKlcU8zKVldqe1hXUCZhTsPPi6aB8pUoprnPaAC0tcCcMViqrKuzLpmSknKPzlhcEEcdqVWlcAY63ndaJ5yzsVTYwsUrzOxc1q/LjqbHT5f3idd/4bZNutf9KRktk215hQZ/gcevTLyDUV+7pzR9uIp/kawmr976IjdUo33bSUDghJjUtBqBqwUsYf0C1RO2kKdV65zR4B/4OnoGLwMaUF+zJ6I8cZNouRxOckLbcQMbsyBeZdlbxqdvXxmTsmy1u0GchZz8R/myInc2y+ISV07rXnViX4QLgHEzTXf2u874qj3ZLjV92HwyZQsD3djgICig+XFT8SznzxsNAwXGKdOTJ1dpml13QVU= Content-Type: multipart/alternative; boundary="_000_EDF2E4A30E024A459F0A01695C93D884leedsacuk_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-Network-Message-Id: 04591f8d-0a3b-45dd-bd3d-08d71522ea8e X-MS-Exchange-CrossTenant-originalarrivaltime: 30 Jul 2019 19:20:00.3489 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: bdeaeda8-c81d-45ce-863e-5232a535b7cb X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: pmtng@leeds.ac.uk X-MS-Exchange-Transport-CrossTenantHeadersStamped: DB7PR03MB4140 X-OriginatorOrg: leeds.ac.uk X-UOL-RateLimit: userRateLimit[a:n.gambino@leeds.ac.uk,c:0.9530367537764217,l:500.0] X-Original-Sender: n.gambino@leeds.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@leeds365.onmicrosoft.com header.s=selector1-leeds365-onmicrosoft-com header.b=qmJhYar7; arc=pass (i=1 spf=pass spfdomain=leeds.ac.uk dkim=pass dkdomain=leeds.ac.uk dmarc=pass fromdomain=leeds.ac.uk); spf=pass (google.com: domain of n.gambino@leeds.ac.uk designates 129.11.76.154 as permitted sender) smtp.mailfrom=N.Gambino@leeds.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=leeds.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_EDF2E4A30E024A459F0A01695C93D884leedsacuk_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, The School of Mathematics of the University of Leeds is inviting applicatio= ns for a fixed-term Research Fellowship in Pure Mathematics, to work on Hom= otopy Type Theory within the Leeds Logic group. Please see https://jobs.leeds.ac.uk/vacancy.aspx?ref=3DMAPMA1114 for details. Deadline for applications is Tuesday 27 August 2019. This is a fixed-term position until 31st August 2020, with a possibility of= an extension up to 12 months in total (subject to approval of the funding = body). Please feel free to email me if you have any queries. With best regards, Nicola PS I note that the =E2=80=9CCandidate Brief=E2=80=9D linked from the web pa= ge above indicates an incorrect deadline for applications. Please ignore th= at. =3D=3D Dr Nicola Gambino Associate Professor in Pure Mathematics School of Mathematics, University of Leeds http://www1.maths.leeds.ac.uk/~pmtng/ --=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/EDF2E4A3-0E02-4A45-9F0A-01695C93D884%40leeds.ac.uk. --_000_EDF2E4A30E024A459F0A01695C93D884leedsacuk_ Content-Type: text/html; charset="UTF-8" Content-ID: <53CA3DED4B32364188970264A3570DBF@eurprd03.prod.outlook.com> Content-Transfer-Encoding: quoted-printable
Dear all,

The School of Mathematics of the University of Leeds is inviting appl= ications for a fixed-term Research Fellowship in Pure Mathematics, to work = on Homotopy Type Theory within the Leeds Logic group. 

Please see 


for details. Deadline for applications is Tuesday 27 August 2019= .

This is a fixed= -term position until 31st August 2020, with a possibility of an extension u= p to 12 months in total (subject to approval of the funding body).

Please feel fre= e to email me if you have any queries.

With best regards,
Nicola 

PS I note that = the =E2=80=9CCandidate Brief=E2=80=9D linked from the web page above i= ndicates an incorrect deadline for applications. Please ignore that. <= /span>


=3D=3D
Dr Nicola G= ambino
Associate P= rofessor in Pure Mathematics
School of M= athematics, University of Leeds


--
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.com/d/m= sgid/HomotopyTypeTheory/EDF2E4A3-0E02-4A45-9F0A-01695C93D884%40leeds.ac.uk<= /a>.
--_000_EDF2E4A30E024A459F0A01695C93D884leedsacuk_--