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,LOTS_OF_MONEY,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 25979 invoked from network); 2 Dec 2021 09:39:31 -0000 Received: from mail-ed1-x53f.google.com (2a00:1450:4864:20::53f) by inbox.vuxu.org with ESMTPUTF8; 2 Dec 2021 09:39:31 -0000 Received: by mail-ed1-x53f.google.com with SMTP id a3-20020a05640213c300b003e7d12bb925sf23103759edx.9 for ; Thu, 02 Dec 2021 01:39:31 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; h=sender:from:to:subject:thread-topic:thread-index:date:message-id :references:in-reply-to:accept-language:content-language:user-agent :content-id:content-transfer-encoding:mime-version:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-unsubscribe; bh=rxR7J/XAKwzsT5wzUozU4Bc2HEfRm4ADo80w7mPh3p8=; b=N7Sbhj/omRB7gLMZACRwPkJtvyUkOTNs3dNUNkrmhCsKC+fgPk2kb6QF5xDNs7vntH Tm5OY0s/D0jdacnAaQPtcBVe5O/dgt7+VRzvxXFnYDHJP8g2ApqjCmEPVa61d2i/pu/m 1Z/PNdxJdFh5uL4Xm48G0dk2vKEBdhwW3j/Unm9k5a8PhBRoJgTpi9WsTwZFUluowq3g j6q16pnmW5itu3znHiSS2/edKs21RiZBwYiHd3YOa07oHIAV+lw5WkAcc8NexDch/k+I WAgUttoJaaf4FabbJMwYFYXXp03Io7C82tlniqi8q+do5ZQNUkHshHpd5UkM+XhZnQ40 YVRg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:from:to:subject:thread-topic:thread-index :date:message-id:references:in-reply-to:accept-language :content-language:user-agent:content-id:content-transfer-encoding :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=rxR7J/XAKwzsT5wzUozU4Bc2HEfRm4ADo80w7mPh3p8=; b=bkfDD2ktg0I8IFoKxho+n8ZtKRiqy1HIjJGwuJ1pWPC1exUhIarKphir+3lAbpgEkQ /zrLwaTO+WndDWT1w7iO0nt4rWBKVchhIRtCP+Y11fwudiF7unNAIHJxJDsv0SGDqEm6 ngvNehopPTCq97McV7nxFoG9MhrUxjNeTaBa8g+nmQcEH7Xp3oOGOhXsA6d2BSKQn6YF 3hKGoOrzWsKgGGddWLPzjXKQJ7WLpK1AnDQGH+WfGG5PZGAovFHLiZL/jnW3lrjQmyot SQlTthsnD4G6KPMEGGf8oxQ+g1Yc7YSLyAPgAFSFDbb/wPjk/PsTbI8uVKrbGou33kOz UPTg== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5332PzkJhzFvPk2M8PWkZR5wo5RkOyHjqAEErJL3AeFmc3XLfNBT x7enOIm4mKOAhoNYRkWWVB8= X-Google-Smtp-Source: ABdhPJwnSpOFMnzEm34P0QCVUJBYT8HhV/AaPungB4vFkJ60uCYyD0983xf86hV8VfglI2Dc5ba3Rw== X-Received: by 2002:aa7:c353:: with SMTP id j19mr16522395edr.227.1638437969673; Thu, 02 Dec 2021 01:39:29 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a17:906:c143:: with SMTP id dp3ls2297610ejc.0.gmail; Thu, 02 Dec 2021 01:39:28 -0800 (PST) X-Received: by 2002:a17:906:f74a:: with SMTP id jp10mr13599927ejb.358.1638437968753; Thu, 02 Dec 2021 01:39:28 -0800 (PST) Received: from uidappmx05.nottingham.ac.uk (uidappmx05.nottingham.ac.uk. [128.243.43.128]) by gmr-mx.google.com with ESMTPS id e10si247905edz.5.2021.12.02.01.39.28 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 02 Dec 2021 01:39:28 -0800 (PST) Received-SPF: pass (google.com: domain of thorsten.altenkirch@nottingham.ac.uk designates 128.243.43.128 as permitted sender) client-ip=128.243.43.128; Received: from uidappmx05.nottingham.ac.uk (localhost.localdomain [127.0.0.1]) by localhost (Email Security Appliance) with SMTP id 49E7D6CE374_1A89450B for ; Thu, 2 Dec 2021 09:39:28 +0000 (GMT) Received: from smtp4.nottingham.ac.uk (smtp4.nottingham.ac.uk [128.243.220.65]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by uidappmx05.nottingham.ac.uk (Sophos Email Appliance) with ESMTPS id C80B86CE271_1A8944FF for ; Thu, 2 Dec 2021 09:39:27 +0000 (GMT) Received: from uiwexedg02.ad.nottingham.ac.uk ([10.159.172.14]) by smtp4.nottingham.ac.uk with esmtp (Exim 4.94.2) (envelope-from ) id 1msiYp-0004eW-Nv for homotopytypetheory@googlegroups.com; Thu, 02 Dec 2021 09:39:27 +0000 Received: from UiWexCHM02.ad.nottingham.ac.uk (10.159.186.13) by exchangeSMTP.nottingham.ac.uk (10.159.172.14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_RSA_WITH_AES_128_CBC_SHA256) id 15.1.2375.17; Thu, 2 Dec 2021 09:39:27 +0000 Received: from UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) by UiWexCHM02.ad.nottingham.ac.uk (10.159.186.13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2375.17; Thu, 2 Dec 2021 09:39:27 +0000 Received: from UiWexEDG01.ad.nottingham.ac.uk (10.159.172.13) by UiWexCHM01.ad.nottingham.ac.uk (10.159.186.12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_CBC_SHA256) id 15.1.2375.17 via Frontend Transport; Thu, 2 Dec 2021 09:39:27 +0000 Received: from EUR04-VI1-obe.outbound.protection.outlook.com (128.243.226.54) by exchangeSMTP.nottingham.ac.uk (10.159.172.13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_RSA_WITH_AES_128_CBC_SHA256) id 15.1.2375.17; Thu, 2 Dec 2021 09:39:27 +0000 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=jwy11HjEkG5ph+x3cG/qixxpONHEStwYIZBo+bhLLihX/+nEEO5qWpvEipu3GM2EX61/bMQFCRn1qWEJmVZzudh0yYPpbEzJxhzcj7evAnpMscdMveE6ADDRiemhlhsRV4CG2egPCHWBWxJGL9NXXO4rmHp+qbuyTFDfxqffcPUta54YArvFtWzhWmgTCiPDDBwSQh0CBAauW7u9uYMNY5XZbHo3ItRUMzCTXQzmi46DPL5opBPcluPQlzaZBf2IxLktgkT4cXaFphgua01jpYxqZjKV73zbEBgbGHnIsltMYq/nW/4/EzFEaGSqyFRT5KM9qxi/0RzhK+vNLwDOUg== 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=yZnBSQz7OgQtuSaXxQSjEWY5H9PQXWa+v++ttdMfb2w=; b=T6RByZPY1RYQBnm5gbURNfHYeREGGSC55BTnTHP5dNOqH+PKShXOHlRig5/t7NOqol1NpXQT+TCz3k2qMfOPexY3fGhqo1nzncGFtokF/bBb8fIyACBEvrjIXkDBmsg3WoXUMqwc3UO5pdACOwM/go8O6p5EXXR7emoouN/k7tRhSpZ0TcHDVSwzPmn5vgDXIwU9Em3OIKhZCNtKWCW7EahQrgeUfYMB96+1r4du/jFpxVfdR00V/pMgHCzFcLQrh1856aaeOYcIO7Fd5DEfxeOA8NB9eWQxmUHAZU0kyZvfSxnErx/HyCbi5b72FLqMGrsMIoPnmD91Qte69OJ4Sw== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=exmail.nottingham.ac.uk; dmarc=pass action=none header.from=exmail.nottingham.ac.uk; dkim=pass header.d=exmail.nottingham.ac.uk; arc=none Received: from PAXPR06MB7869.eurprd06.prod.outlook.com (2603:10a6:102:1a0::20) by PR3PR06MB6732.eurprd06.prod.outlook.com (2603:10a6:102:62::15) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4734.23; Thu, 2 Dec 2021 09:39:26 +0000 Received: from PAXPR06MB7869.eurprd06.prod.outlook.com ([fe80::6deb:ec08:e4cb:1c6b]) by PAXPR06MB7869.eurprd06.prod.outlook.com ([fe80::6deb:ec08:e4cb:1c6b%7]) with mapi id 15.20.4734.024; Thu, 2 Dec 2021 09:39:26 +0000 From: Thorsten Altenkirch To: "homotopytypetheory@googlegroups.com" Subject: [HoTT] FW: 10 PhD studentships in Nottingham Thread-Topic: 10 PhD studentships in Nottingham Thread-Index: AQHX51kyKdpfS7sCY0WvQvJn5652pawe8kmA Date: Thu, 2 Dec 2021 09:39:26 +0000 Message-ID: References: <1E5CC6E0-9CD8-451D-AA81-C6401EED18C1@nottingham.ac.uk> In-Reply-To: <1E5CC6E0-9CD8-451D-AA81-C6401EED18C1@nottingham.ac.uk> Accept-Language: en-GB, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: user-agent: Microsoft-MacOutlook/16.55.21111400 x-ms-publictraffictype: Email x-ms-office365-filtering-correlation-id: 5ede7aaf-aff0-4129-80f7-08d9b577a192 x-ms-traffictypediagnostic: PR3PR06MB6732: x-microsoft-antispam-prvs: x-ms-oob-tlc-oobclassifiers: OLM:9508; x-ms-exchange-senderadcheck: 1 x-ms-exchange-antispam-relay: 0 x-microsoft-antispam: BCL:0; x-microsoft-antispam-message-info: VZb4iCKpxmH+iAMlA+1U2d1eWhU1cjh2UCr4cVSzRohFiAHhYKWSDyu0vPdv5o2/hCvvuoPZtt5i3AujofMQ/Q8kXrNTOrhFHwvLEflM2XsPzoTT5OmX+rj0WRfJvjJy7CWD3+ovldZ9t9eF0kxWmpvjOkA9nWcJGP2FqwiNKsOZgOhLbfULrrN3V+dN4egvMPPyvJdrhNRC7Eig9+uhcDz2F3Y7u0i9+HLBg0BUddUIJfpdaq6pvbR281AvT2vBC4EjBgAezeql7bpWulNOEtijXHOH5Kwfe0oLx/xkIhQvBc0WFAj7OwwtHqNV3DBtd8oBiHN6qY5oLeqkP1w52KRXvE+equKkMRsWnpSu7+kwYQ2EOadVdyUrN77Bs9R2vIrq34WCbgdb/THb4bEo6qsSzILe4dXixLXeSBK0yiLoJl6WvBfCtIDS4m2voNcV7eBLGtVADSDb9a/wf/BcGAsZmkJQN/VpSuFXZRuPf/jUJCj97ziCJrjzd7+Ud79oYJKfLzzKO8PZUPwu7n4UJKNED9ZDr4q9rmBXL871n+vbAPK29rrhlju6k578oKPD42EyTePKCxZ3caj9ONRypxswV2UKPr2RvgURd39W0LVoxq7MvkBMo6wXisSnHHol0qfrDnOxWgLYb//bZUyPELCTHXP/du8pg1Lzup1lHA+w+YQpY8Q0xHFJ8rINsFnc2LKMKLT7fSsEsIZJL1FQ92gaysD8BpJ6rAUkZShsi/Ju8uvHoaFjkE/6mb+JXo+UCokvBHRzeaRF1SXMSFnAoXBLQ4mDvhYV+9gnEsuVhDw= x-forefront-antispam-report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:PAXPR06MB7869.eurprd06.prod.outlook.com;PTR:;CAT:NONE;SFS:(366004)(66446008)(71200400001)(6512007)(786003)(26005)(86362001)(2906002)(64756008)(6506007)(9686003)(5660300002)(186003)(508600001)(36756003)(38100700002)(84970400001)(38070700005)(91956017)(6916009)(76116006)(33656002)(83380400001)(66476007)(6486002)(66556008)(53546011)(966005)(66946007)(8676002)(8936002)(316002)(122000001);DIR:OUT;SFP:1102; x-ms-exchange-antispam-messagedata-chunkcount: 1 x-ms-exchange-antispam-messagedata-0: =?utf-8?B?STlLUEVxSG1ub21DbDlNZlRNTk9vM3lLMVpHNHljZzdoWTNRTGJ1K2ljVlc2?= =?utf-8?B?YWlLeVcwUm9nNHpMSVFhSzlHTk9FUGVtdUxyN2ZsVHdlUGN4cm9EOGpXTnl4?= =?utf-8?B?Zyt3SGtNZzlEMVZucWQ4V2ZuV1hybi9KRjh1c2NVenZqdkV4cjMzV3JQbVQ1?= =?utf-8?B?Qy9wNkluSWVKS3lFWXRhbXJzWURMU1hVZ0NTN2dHNWNLaTZEelp1YUg3eWk3?= =?utf-8?B?ZENWZG9SSjlDbzlZVXpMQ201UzFCYnVweTZYUThCVWRibUZGbEJ6a09ObGJ1?= =?utf-8?B?UDBFRDliYng2N2RzWTUxZU1tVTJ0SlJlam0zYUJaQzlWWE5lcEhRS09JZUM2?= =?utf-8?B?SHFpTHRkZ20wRWRNbjlDU3BxT05jbWxpQ0xLNGtvZTliOXdGQ0VqZ3J1UWpr?= =?utf-8?B?Z0Z2UFk1SytNcm14bzZoS0dJTXpPWjA4VnR0ZE5LWm10ZENya1NidjY1MzdI?= =?utf-8?B?WENyYXYwT0QyeE4wNVUxQTE5cHI5RlVHaUVzSTlwV1FTajMyLzBxaWtGNDFn?= =?utf-8?B?SUJGTmI2SFRSRVFrMlVYWmNnY0tSUHhKbE9FbkZjVmFSaGgrRjNBMitKL3lS?= =?utf-8?B?bmVDWnNENzduNXBWT3Y2bk8vOXRlY2FzbDhDN0VCUEVtY0I0L0pnUHRaU2hl?= =?utf-8?B?YzZLZWlCTWlHZG1wUGVuSTNZcENtMk00MGp5YVlCZHZqWWZ1WElGOE85RHNT?= =?utf-8?B?VnJCRjRTeGdUTlVzSlV2b2ZSdm5uVVkwZmZUL2hJMXRhVTVFN2lRS2lrMUtK?= =?utf-8?B?NjBPSlV5bG9VdERkcXJ6ek1UNkF5WEpxNGNkd25LMkRBeEVKTEZFL0NtVitW?= =?utf-8?B?MFVpbzRPVzh3TGNIbXFwblBYYlRCTnZNeTNDeEUwc2tUT3pkMjVGNEloeEhK?= =?utf-8?B?NzVrdndVZ3ozd2lvdWtnZjZpRUVvSkhzeUprV1piY1pIbVZ0cU1jSldQL0Ft?= =?utf-8?B?anVJcnBjSlBTemhGYm5YOGRJbTZySjlybnZwbGJBWGlOWk4rcENLcllSSkVL?= =?utf-8?B?eStEMW5XZklGTERLaEpkT0hMZ3NHWm9UbEE0ZUlaRFMvVEFIcExPMXhIZUYz?= =?utf-8?B?cXhKLzJ4VkovRzRnZ2ppakVUMEcrUEpiN0trWDhrVWZwS1pSNG5xUXc2aHpX?= =?utf-8?B?aWdORWYxYzduZkNjbzRWQjU2UUhvcjU3RmdOVGlnWTRmeTVkMVcxbm1sb3dv?= =?utf-8?B?RlJ1T2dJREo2N1RkTUl3UWQrRE5pR0dRL1ZFa3JjTnczWlFEc0s0ZC94MmdF?= =?utf-8?B?bjhkUG4xeUlaTEtDc24xVHRPL0cxRXVpZTRLYlZrRWplaElMZjB3bTUvM0xC?= =?utf-8?B?M0M3N0xNaW1xLzBYLzA1U1ZKUHZIWHlYTlFKTklXdmlPTGd4TDRnZHEyVUNz?= =?utf-8?B?bTRrWUlPRW1Bdi9QUUZmR1JmU2s4cEM5ano1dFpFYUNXRERjRktYbnhHalVX?= =?utf-8?B?bGpvQVpIeW5xNjYrN3puK0hYRHlEQ05kQnZiVUZWRlZ3czN0STJQaFEycmRT?= =?utf-8?B?TERJbG5laDlrMTN2bjlBY1d0OWtWUlFCZkwyaHk5UmtPQjFKVEluSk9qNnhl?= =?utf-8?B?Z2hGd2xad05FcWw1VitBK2xMaUJIMGo5ODdjVTA5ZEJ2Y0VlTFhjdkRVWFBz?= =?utf-8?B?MEQ3R2lNb1ZGMEVEc0hUVWJuS3ZycGc4ZUZJNlJ0WVFUamVvckRvYVBjREFU?= =?utf-8?B?SUFTSG5NN3c1bmh4UzJYSXVpbU41SDl5U1JpcjBZT1Ewc0dKemMyWU1zZ2VH?= =?utf-8?B?cXk5b3FrWkJXUFNqbFdaNXFBZkgwQmp3eXhSZHdXcWJzNUlScUN5a1Vld2M5?= =?utf-8?B?RTN0MFREU2dUS0dueUNKZHlBdWRwSGFrT1VpdURvU0lrdkhZMllrV3ZTaVJH?= =?utf-8?B?YWp1bzhndmZ2Y0lqTDRWazVRaExlSzJvVWh0YklwOWtCMEtpb1N5QWZaZUNL?= =?utf-8?B?VEh2ekZIbm5TdmgybFlhQU5mTzZOZnh2bnRuVHJNTTdXbGo4akxNb1BVbHh3?= =?utf-8?B?eGhkNzlvTUludkxJY3Fob3l0eTR4SEdZS3FmbURlYVpRMVRKRExrbFVTZ09E?= =?utf-8?B?WXg0azhvcUNGVUNvelNHZEtaZjdqMW5tREd1c1JHd2JJQTBKUjdwUC9ZTGU0?= =?utf-8?B?c2lRREkwMlJPSHo5NmI1RklzQzJXcGdSc2MrM01idGxDQnJ3bitCN0FnNGlx?= =?utf-8?B?R3FlQnpHZS8wTWtqRVJPN1g5WW1QQURwOFRoNTJJOHNjK3ZYdFpxRXZNT0Fo?= =?utf-8?B?S0pMWjhtSkd0aE5lcmNBY2U1Zi9TUSttTjdiVmI2eFVPckhOWHRLcHcwWWVm?= =?utf-8?B?cnczNWxqK0M5NkVzeVFob0F2VjFNaW5YZW85TUhtWXl3WWt1Q0pMZENLK3Fz?= =?utf-8?Q?wvV8yMKiNdKl450o=3D?= Content-Type: text/plain; charset="UTF-8" Content-ID: <12FF6F72D4F54749AE0676A93D092AC9@eurprd06.prod.outlook.com> Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-AuthSource: PAXPR06MB7869.eurprd06.prod.outlook.com X-MS-Exchange-CrossTenant-Network-Message-Id: 5ede7aaf-aff0-4129-80f7-08d9b577a192 X-MS-Exchange-CrossTenant-originalarrivaltime: 02 Dec 2021 09:39:26.4640 (UTC) X-MS-Exchange-CrossTenant-fromentityheader: Hosted X-MS-Exchange-CrossTenant-id: 67bda7ee-fd80-41ef-ac91-358418290a1e X-MS-Exchange-CrossTenant-mailboxtype: HOSTED X-MS-Exchange-CrossTenant-userprincipalname: r7pQG3yRAtWpAAIdfYDCptIqvYNl6WbSRlLxBy361FvdMyL6thaQ2SOcrUTjOCdVq9VWKormPL/kaMsDKGY8uVaLqDZ7JexLK28JGzZef/3Djx76jhfJPL/5kcJy4k2n X-MS-Exchange-Transport-CrossTenantHeadersStamped: PR3PR06MB6732 X-OriginatorOrg: exmail.nottingham.ac.uk X-SASI-RCODE: 200 X-Original-Sender: thorsten.altenkirch@nottingham.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; arc=fail (body hash mismatch); spf=pass (google.com: domain of thorsten.altenkirch@nottingham.ac.uk designates 128.243.43.128 as permitted sender) smtp.mailfrom=Thorsten.Altenkirch@nottingham.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=nottingham.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: , On 02/12/2021, 08:47, "Graham Hutton" wrot= e: Dear all, The School of Computer Science at the University of Nottingham=20 in the UK is seeking applications for 10 fully-funded PhD studentships: https://tinyurl.com/ten-phd-2021 Applicants in the area of the Functional Programming Lab (tinyurl.com/fp-notts) are strongly encouraged! If you are interested in applying, please contact a potential supervisor as soon as possible; the application deadline is 13th Feb: Thorsten Altenkirch - constructive logic, proof assistants, homotopy type theory, category theory, lambda calculus. Graham Hutton - functional programming, haskell, category theory, program verification, program calculation. Nicolai Kraus - homotopy type theory, higher category theory, constructive mathematics, and related topics. The studentships are open to applicants of any nationality. Best wishes, Graham Hutton=20 +-----------------------------------------------------------+ 10 Fully-Funded PhD Studentships School of Computer Science University of Nottingham, UK tinyurl.com/ten-phd-2021 Applications are invited from international and home students for 10 fully-funded PhD studentships offered by the School of Computer Science, starting on 1st October 2022. The topics for the studentships are open, but should relate to interests of one of the School's research groups: Computational Optimisation and Learning; Computer Vision; Cyber Security; Functional Programming; Intelligent Modelling and Analysis; Mixed Reality; Uncertainty in Data and Decision Making. The studentships are fully-funded for 3.5 years and include a stipend of =C2=A315,009 per year and tuition fees. Applicants are normally expected to have a first class bachelors or masters degree in Computer Science or another relevant area, and must obtain the support of a potential supervisor in the School prior to submitting their application. If you are interested in applying, please contact a potential supervisor as soon as possible, and at least two weeks prior to the closing date. If the supervisor wishes to support your application, they will direct you to make an official application through the MyNottingham system. Closing date for applications: Sunday 13th February 2022. +-----------------------------------------------------------+ This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment.=20 Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored=20 where permitted by law. --=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/BA3BFDCE-DE72-4E0D-A5D8-88B2BDF19321%40nottingham.ac.uk.