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 17322 invoked from network); 16 Dec 2020 16:50:52 -0000 Received: from mail-lf1-x13e.google.com (2a00:1450:4864:20::13e) by inbox.vuxu.org with ESMTPUTF8; 16 Dec 2020 16:50:52 -0000 Received: by mail-lf1-x13e.google.com with SMTP id i7sf13893150lfi.4 for ; Wed, 16 Dec 2020 08:50:52 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1608137449; cv=pass; d=google.com; s=arc-20160816; b=nWy+3v48QE0qNinyyZBBwPnZP3ju5NdhP53BVUL4uc5VIMXeaEkOKGmBx7gBvZmHVX m7uiUfioksZmS1YQHydM1a0r8ckIRemv7iRk7M/goh7hfFXUcp3ospBJiOAZ1PHEwxjD MUcUbBEigE2dYeZyApf+BV70hoMAJ+QAFWhEsEfQ2erqirXSJTX2OhE8N0HPMrTgTjTh BSE6W15KFQxEHZ96TQmJEBiHLsk6hG8Y+SMyjXJbJ+m/VAHajKUn5gj7IG/nOQqOjFWZ 4KFcSYgKjI2irDY/7cLxldTjVFxH75IQbFKRjbYv3HChMIjrmhy+fvPg065YyWAPZB4o tVnQ== 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=fgcJcG03DzK1GVrGoCGdk9oaCkg4UpnC5RM3XMy+Xw4=; b=XjB4g99+Vpa2bAo1YgcMV/5bv+Cg/YP+YB0b43UNuuMCqhGmNrHg06D/jm2SifKwlq J2fO6ArjeItl/3r4KQitDIhdp3hUSawU3JKTE9BRyU5I+rPKtr9PgJYLXEURhC2FzpzD JTgaqJgauUx76HBrDFkhQZaixdwXQX/KIyvFpw1WZkddb0EwGiZWlwZ5ucKbTitbNgm3 5n0ZrP7VKbQs0zHSkc3yds9Zw/Iglq/YL67+bCMHNljlleDImfxsE+fVUMPeFaLTAk/8 ViCLw9gpfZlC3MXWF29pYtxMVy4T9fZjFUVbS8+DWihPSC7dQsuDMeQk/QWsscVOmGGv gk9w== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@leeds365.onmicrosoft.com header.s=selector2-leeds365-onmicrosoft-com header.b=TDqwtFIW; 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.77.151 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=fgcJcG03DzK1GVrGoCGdk9oaCkg4UpnC5RM3XMy+Xw4=; b=norP53zE7i3qF1fY0uebhGd5ZgA4UBqvBaC0+F6bdMXEbfhMT9dCvx8uugO0/+yqPk FHglySen17pLFy2B4N1dYGs2KOFPkoQUTIN/71nVqe6dENXrax5Uc75+A/m4/3SS5TrV y8LmRILyL49eT09NM0HFuI/8NmXk8vivcXKhnUGRM7Wtlwq7qu9DFc3a70pyJU6vfTNr kvX2hiuzF7qkvNCPLDLKycQiL5u8P88YUtqEX234j/5U1EUuMo/RyyZwRZRp7z0foaBs INj/E8tz+TRJYz0jnbpc+cVbhrzw0sSlp1QFYCb6iJHPE/hFdV1wpePtQwVtl342YXP9 PT6Q== 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=fgcJcG03DzK1GVrGoCGdk9oaCkg4UpnC5RM3XMy+Xw4=; b=C7z4jyyS91GbKgqKSDDYpPVqQtGz4prO+NbNuIIoD9I3v9J4ExJAcI86OfJyAGftb4 bQOP55Lkg7O7K8G9Dm1MSoMjl56JJT5mFYZKSWlu+zM6Heq/iRPFTmpocTKU5AXfMOi6 9P3aewQxSoR8BES8KKK2Af7T2kag3Vddmkf5LBNUzX3A6aY4aj7t6XmO1fp4fBPZRRON w6uvkA4UmEyUMgvqyg4Y9ktHhX1hX/HJbESkrnx0bnGpCD/Qx+EQ0MC5geQlPohDoprx 8hsNQv2XEFYdnARPkeaj+hfW8LKFh+Hzb17mP+ikOkiavM/2alxsFy9g72DpfkiOFWlw 3t5Q== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM533xf6NuD5OC1rbLm7RHpstzCdLRAFAAON/oFwNwAVQ/mBS3SkEn ACRWk1FdG0R55gR4p62x3gs= X-Google-Smtp-Source: ABdhPJwuxbH49hqjO7m1BJ5krn3vZjE78c6Tq2lak6JD/xDgByB2O+U1GkyJeALMnX6u1rwbvHPEJA== X-Received: by 2002:a19:8213:: with SMTP id e19mr12389343lfd.600.1608137449511; Wed, 16 Dec 2020 08:50:49 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a19:6145:: with SMTP id m5ls4162974lfk.2.gmail; Wed, 16 Dec 2020 08:50:48 -0800 (PST) X-Received: by 2002:a19:197:: with SMTP id 145mr12862999lfb.483.1608137448227; Wed, 16 Dec 2020 08:50:48 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1608137448; cv=pass; d=google.com; s=arc-20160816; b=RIrNHY6kxyWP9zKncKAkvoxT/EGkEFVSgVfIKhpW2CE7HQh6rqyd+zitRc+er20XhR T5UM4OPgi/ODSvYDJarm1SfPtaZUWcRvAVN2vll9aSoF85CQCqDdySEXneAxfUGBxPVF 4sPjogZnPQfViPjB/zXmhtbiWVRiJi9bekyMGWZrXStkWMLi0VqasdFxJ3ojaIYMfOhd ENNKOepXcwqdYQiGHhqwAc8u5IGzzXdXQ4kff+UbEyqROO1bYOFiI5VZlJl+KakCuH0+ ccfY01L7LTz5ZByjR+pvPSID4MrgmbNlrZ2tzvpPyjpy+33SGwS3JoHnykZCEBC6Bdck TY0w== 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=fdJNs2g8opeSgwayRhFHdYqsnltx9sCre59QyJquUS0=; b=PRt9lBqyPKbz4Dkq66F+z3Srjyot7kfvMRDHdRciYy0nuIbl1dc9JruP8nP92svLgT Far70/NVnCWPwwmgCAbcxEt7wENA4JzKbPbeoMuuhW/Br+W9saY19BOAg8r4S10WdMTt XhuBMKH67ulRRbQYO82rrORWd2VRye/J55a06qiXkkMuSXu7t/fdzCYzP2sROJRb7r4q R/bbRaq52ZgTn/goDSUFWusR0OCAefI1k4RrJKh+m/eOMuEbG6rMXHwl6CPaoa1Y3Gdh UGIKaZ0BLVpl3m4GVbBdEfotkPLcgXJZSUFnQHuneoHuopLrqYFb3RyDHuLQ2ZkBMJOl Q5ZQ== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@leeds365.onmicrosoft.com header.s=selector2-leeds365-onmicrosoft-com header.b=TDqwtFIW; 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.77.151 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 mhost02h.leeds.ac.uk (mhost02h.leeds.ac.uk. [129.11.77.151]) by gmr-mx.google.com with ESMTPS id m1si166372lfh.3.2020.12.16.08.50.48 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 16 Dec 2020 08:50:48 -0800 (PST) Received-SPF: pass (google.com: domain of n.gambino@leeds.ac.uk designates 129.11.77.151 as permitted sender) client-ip=129.11.77.151; Received: from APOLLO1.ds.leeds.ac.uk (apollo1.leeds.ac.uk [129.11.5.4]) by mhost02h.leeds.ac.uk (8.14.4/8.14.4) with ESMTP id 0BGGol4d006803 (version=TLSv1/SSLv3 cipher=AES256-SHA bits=256 verify=NOT) for ; Wed, 16 Dec 2020 16:50:47 GMT Received: from APOLLO7.ds.leeds.ac.uk (129.11.6.152) by APOLLO1.ds.leeds.ac.uk (129.11.5.4) with Microsoft SMTP Server (TLS) id 8.3.245.1; Wed, 16 Dec 2020 16:50:47 +0000 Received: from EUR03-VE1-obe.outbound.protection.outlook.com (104.47.9.52) by outlook.leeds.ac.uk (129.11.6.152) with Microsoft SMTP Server (TLS) id 14.3.195.1; Wed, 16 Dec 2020 16:50:47 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=mFJ3Baqc66T/ZsRtJpkbLDZQK4ByoZUSNT5wleufNE2YQuONJ9E7kJzX89QwE4oFkOm1PNtREdwhfnPNgOTBSJiHZfk1IWLRhbzyksFKQTIdw+/JuOYEIi4idwwFBPN0u7S5aQz/Nwg8PTlVp9FFQftu4P68Vn8oQIe+VQVm3llgj5fZMTKi/U75dkgK2Q0TO3uqqLtOZuOYJAE6p3kCymtlTsO0C/PNx6DqdCLqAG6Vy7gciKO6iZ7vye7uKUphWPesJBkwlkVwlxzzfwe63QcmVMz7SPngkVHp2/lBDd/oiguc7dKNx46MNrBWkoOTawi7rPs/o94vm1CbXRPG5A== 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=fdJNs2g8opeSgwayRhFHdYqsnltx9sCre59QyJquUS0=; b=U+QNEsdTTlcASJSCPAnKVEStK7LEWePwBfe7M9KaXng8JQESIOn809yUn+Dl5EBRaGHwxid59RSw0rVS66ofm7kOssEU6aROgD9ESVrMnd7DFNX+6odz+xeXjWFFlpMutcxN/HUrB3IADkWs5Ifh9bLBdyjWa5ca4xvHr0TTA9et2bawXS+2aYLMurBpA/cafBlRyl3slO+qSJY5MXk9sChXVP4xAeIvRpKqGFinZcR2viTtuw0iUxc29v9w2SR7JJpIsrxAvynDNsqt6IPsEinKqEXnd7fBVvvRBTmKjRN14PeEur/hHFaZyvh0NcFRWXUVUEPJ5NR+wnpQbJxUaw== 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 VI1PR03MB6334.eurprd03.prod.outlook.com (2603:10a6:800:138::20) by VE1PR03MB5184.eurprd03.prod.outlook.com (2603:10a6:802:a1::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3654.17; Wed, 16 Dec 2020 16:50:45 +0000 Received: from VI1PR03MB6334.eurprd03.prod.outlook.com ([fe80::69ae:53b7:5655:2858]) by VI1PR03MB6334.eurprd03.prod.outlook.com ([fe80::69ae:53b7:5655:2858%9]) with mapi id 15.20.3654.025; Wed, 16 Dec 2020 16:50:45 +0000 From: Nicola Gambino To: "homotopytypetheory@googlegroups.com" Subject: [HoTT] Second Postdoctoral Research Fellowship at Leeds Thread-Topic: Second Postdoctoral Research Fellowship at Leeds Thread-Index: AQHW08uZhZToplluVkyVArWXL8t7qg== Date: Wed, 16 Dec 2020 16:50:45 +0000 Message-ID: <0F1A9D33-D435-48C8-B04E-0F17FE2063B4@leeds.ac.uk> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3608.80.23.2.2) x-originating-ip: [95.150.8.233] x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 73f0afbd-d739-4a4b-1357-08d8a1e2bbd2 x-ms-traffictypediagnostic: VE1PR03MB5184: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-ms-exchange-senderadcheck: 1 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: JebarHyV49smI4bdL+Vm+xgOEFX7fDWaV0fAK1wnDeEkF7FvLANXc5g+NSIcLRyixTyHbrcjabKx/nf7EuoqhyNZlj4iqKxtCszkshpvh4gwTkMRgFJz1aqrWtLwGMRQpqmZHUhs/Fib5Zghjq49hXZps0QJ7HFG61AENuBXtdrwu3z+DEQG9pwSUfx1mN63u5T6FmOa5RSGRNb5Sd0RUwycFXbKl8H3OCru0AoNhFwLPS/EsCCZNNFbnFD+LxQ0S+qHWzfIqbewcB2H7tBtkwAjb6iCNEncquR0xXC73haofToRrj/OQytRHOw1tHAn/bUEK+2/l9Wy5rxYZZ+znzxAgMJ0kmZeYo3mNaaiCCAKlDEeU7HR5Ts4bzW2Sa5TWjKgRcOGPDQvvYxRRo5dBVc+ZGUulPSvWxtuheJj+wnUEFVLs9ONEVrkISULsWe/O44itnBzymDCd3hoCoYvdQ== x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:VI1PR03MB6334.eurprd03.prod.outlook.com;PTR:;CAT:NONE;SFS:(396003)(136003)(366004)(346002)(376002)(39860400002)(64756008)(6512007)(66476007)(4744005)(2906002)(6506007)(66446008)(26005)(33656002)(478600001)(316002)(6916009)(8936002)(83380400001)(786003)(6486002)(91956017)(186003)(166002)(86362001)(966005)(2616005)(66556008)(76116006)(8676002)(66946007)(5660300002)(71200400001)(36756003)(45980500001);DIR:OUT;SFP:1101; x-ms-exchange-antispam-messagedata: =?utf-8?B?cFNnM1hSeS9JNnRlUTYvSkVVSVQ1MUllcHlSeDV0dWtnUzMyUFIwK3BjNzRo?= =?utf-8?B?K1FTa2ttaGlCd2JkVDQyNEJvWXZYQ3BUMTl1Y0ZuQlhlUmhuN00zcS9DM2FU?= =?utf-8?B?U0hHejI0aGRpNURlNXgwR3BmMGhVY1Q1cHRBNDdJUGhBVURHcDMwcTdUQnVr?= =?utf-8?B?dkVyYTdhVU5sRHZ3QVRYNjl6MDlmS1hDeU1YRktGZW5ZK3pEWmUxbjF5cDdJ?= =?utf-8?B?QnN2Njd0d3hkQlBuQWxaT1Rhd1pyZ0MvMWQ0akw2V2I3SzI4eHc1azVMZCtE?= =?utf-8?B?ODF6aFUvblh3d3FJM2xJRjhIY09aTzR3bXdjazFucXVhdUhteUhzQTgyTHRw?= =?utf-8?B?bElsUUluU2lBOGpyNWNaQUtnR0NxZnJxbXl2THBaMFpNS3RFckZtTlZqZnAz?= =?utf-8?B?ZFVyRDJhdmNEdDd4ZGpRMW1EbVZJL3E1Y3ZrYmlPVnFCaWQzdENNV2pqeFda?= =?utf-8?B?U1Uxb0xIRGpvY3RLMjRlaE9HZmN1STBVcUMvWG5jYXNHUkVsZEFFSzR0ejNW?= =?utf-8?B?eXNVZkwvVXExamdEa2RJbGNKM2JObzRvaWtPeVpzam1QT3JIWTU1UUxnWk1y?= =?utf-8?B?ZFdzQ0J6aXo4REIzcmlLNG1CN2x5ZjBFOVR0a1AyTmdlbWZYL0pVVmlxeEVD?= =?utf-8?B?N0JHQW0vcHF4RWIvOWRGY1RUZEVXSmhUWUdFN0dkUjQxVWxhc0dLN3BzcUF5?= =?utf-8?B?dUpjdzRwZDkxRi85TXFINW8yMDgzSUk2UTdnNnA5MjQ3VlpjRld4N09jc1da?= =?utf-8?B?d0RkMU5YaEdIQ3pqanhqdFQ5M0ZHQXBZMit3MjRnY2hNK2dTOTVxZEFpaHVv?= =?utf-8?B?S3ZKbzVCbnZGendtbC9Ubk9zWG9aQjdEOXF3OG5mQmxscFFRaktmL0p5UFo5?= =?utf-8?B?VHBHYzdZaGszNnZxbDZvd01FalloTVgrRVpNcHlnKzVCb25yQk8ycGZxeW81?= =?utf-8?B?R2dGeHVQTEtWbS9SNXdySC95YTVKRVpLdmRPdDVlVTF3aVp2cUIzUnRqVERS?= =?utf-8?B?eEtROVU0eVd5SVBXN250Mk53enNqSjhGNTJPbXFUWFFQQjhIem1BOEtISXU5?= =?utf-8?B?bmdWcDhwb1laakphZURhQTFJTmRORnpRVnIraUFTcllkS0hJY2JlMFFvMzM4?= =?utf-8?B?TlJwcmVzUUJoZjllSk92QVRPRVEwYjJiSWp5dVVveUZyVEkyQXlra28wZGFT?= =?utf-8?B?QVZ1SEowMVErV0lvSnhmQS9jNXZ1dmtYUEYxOFhUT3BjSk1kTHRSZFJJc3dG?= =?utf-8?B?SW41dlcyMllaMEVCbGlwbTJnd1lzaEVQRFJqMTJrcVdHaC9QRzJVaWVxamk5?= =?utf-8?Q?Y5cDptDjAQ3IUYv2gdz30WpI2MOClI5pMH?= x-ms-exchange-transport-forked: True Content-Type: multipart/alternative; boundary="_000_0F1A9D33D43548C8B04E0F17FE2063B4leedsacuk_" MIME-Version: 1.0 X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: VI1PR03MB6334.eurprd03.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 73f0afbd-d739-4a4b-1357-08d8a1e2bbd2 X-MS-Exchange-CrossTenant-originalarrivaltime: 16 Dec 2020 16:50:45.7966 (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: 2IIa7ztMLN4BZjkxTHqkroMz+dLeBp053/yUQhhcl4KW4aZkEA0qx8mx896IZm8JcPz1+WVH2jftHZTelNbI+g== X-MS-Exchange-Transport-CrossTenantHeadersStamped: VE1PR03MB5184 X-OriginatorOrg: leeds.ac.uk X-UOL-RateLimit: userRateLimit[a:n.gambino@leeds.ac.uk,c:3.1242012188554513,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=selector2-leeds365-onmicrosoft-com header.b=TDqwtFIW; 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.77.151 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_0F1A9D33D43548C8B04E0F17FE2063B4leedsacuk_ Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Dear all, The University of Leeds is advertising another 3-year Postdoctoral Research= Fellowship, to work with me on the project =E2=80=9CSyntax and semantics o= f 2-dimensional type theories=E2=80=9D, funded by the US Air Force Office f= or Scientific Research: https://jobs.leeds.ac.uk/EPSMA1028 Deadline for applications is January 8th, 2021. This is the same date as fo= r the position that was advertised a couple of weeks ago, which is advertis= ed at https://jobs.leeds.ac.uk/EPSMA1027 Please see the Candidate Brief documents in the pages linked above for deta= ils. Two applications are needed if you wish to be considered for both posi= tions. With best regards, Nicola =3D=3D Dr Nicola Gambino Associate Professor in Pure Mathematics and Director of Research and Innova= tion School of Mathematics, University of Leeds Web: 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/0F1A9D33-D435-48C8-B04E-0F17FE2063B4%40leeds.ac.uk. --_000_0F1A9D33D43548C8B04E0F17FE2063B4leedsacuk_ Content-Type: text/html; charset="UTF-8" Content-ID: Content-Transfer-Encoding: quoted-printable
Dear all,

The University of Leeds is advertising another 3-year Postd= octoral Research Fellowship, to work with me on the project =E2=80=9CSyntax=  and semantics of 2-dimensional type theories=E2=80=9D, funded by the = US Air Force Office for Scientific Research: 

https://jobs.leed= s.ac.uk/EPSMA1028

Deadline for applications is January 8th, 2021. This is the same date as fo= r the position that was advertised a couple of weeks ago, which is advertis= ed at

h= ttps://jobs.leeds.ac.uk/EPSMA1027

Please see the Candidate Brief documents in the pages linke= d above for details. Two applications are needed if you wish to be con= sidered for both positions. 

With best regards,
Nicola

=3D=3D
Dr Nicola Gambino
Associate Professor in Pure Mathematics and Director of Research and Innova= tion
School of Mathematics, University of Leeds
Web: http= ://www1.maths.leeds.ac.uk/~pmtng/

--
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/0F1A9D33-D435-48C8-B04E-0F17FE2063B4%40leeds.ac.uk<= /a>.
--_000_0F1A9D33D43548C8B04E0F17FE2063B4leedsacuk_--