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, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-il1-x13d.google.com (mail-il1-x13d.google.com [IPv6:2607:f8b0:4864:20::13d]) by inbox.vuxu.org (Postfix) with ESMTP id 1868C23920 for ; Mon, 4 Nov 2024 12:03:10 +0100 (CET) Received: by mail-il1-x13d.google.com with SMTP id e9e14a558f8ab-3a3b506c87csf41567055ab.1 for ; Mon, 04 Nov 2024 03:03:09 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1730718189; cv=pass; d=google.com; s=arc-20240605; b=INCMYiIMmvf9JULz/8ajqsAihoyo3rhNGsXLIX8EvhgsSO6iGrIAbuqzHGhsai3mT8 /4stsmPioYbth4VZKnv/ACPswY1M35KMdCNQLn77zdjQ2OWVdj4KsqaMjMo63mvWoZBm UlgZyOeRzX0xdifv1O6hv1yG+FSjjpSfLwlJ0+AnLRGUva4BnDhJRxtdKAKrWJU0xxeE NQBYX1WbXvfPcdXktqDpDPM7Ls1CbMWyr5wNhyVhEUx+e55s6vbq7RKcUNgUvBBKntPc 1bKBogW2/tGahTUZ+pZLG27xSNGOHHRKFB2RZYzmG+89kFQuxuGjXh3yrBFlcqa3feH8 OrbQ== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:mime-version :content-transfer-encoding:content-language:to:subject:from :user-agent:date:message-id:sender:dkim-signature; bh=C1OjTL8s1cfPK78TiKi/Yb+qClPEGrXb0uPn2GwdRHI=; fh=AC4Oa4tAlSbHo279GrTYvpfcDYOTFZ+tal3t7BzBHHc=; b=I/9a3izhK6B8v5pE9JfN7wkOUFrzswI/HniqyDEisEBvvU0ArcjyX7ZDAVYfz71ksj 9bxLn4gN9VqrbZTWD8o2r0DZaaEVRhVo2WMX6m038KfjSI2Rj/UD4EmpPlffvjE0FzW1 mqmVJ93ftls+Bb4kMrm+TmOoN/hIM1V7Bc0jsE78SmH57ovDL/gfS/KmgIouxBWTGNTq 9+CnW5p1M2gBkiZScZgwbqn2qqdTztZFPAo66vnsb2QIT5wera3qLf1qmUQ3EHpeFw+m Nkh55OOHhZAYDI3oZY0ZVkKlaYEN+mVXU3H3BxDajZmcBKrVnP9GwS71ztIVMmLbIUu1 g/wA==; darn=inbox.vuxu.org ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@strath.ac.uk header.s=selector1 header.b=C9MyBLDC; arc=pass (i=1 spf=pass spfdomain=strath.ac.uk dkim=pass dkdomain=strath.ac.uk dmarc=pass fromdomain=strath.ac.uk); spf=pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f403:c206::3 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=strath.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1730718189; x=1731322989; darn=inbox.vuxu.org; 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-transfer-encoding :content-language:to:subject:from:user-agent:date:message-id:sender :from:to:cc:subject:date:message-id:reply-to; bh=C1OjTL8s1cfPK78TiKi/Yb+qClPEGrXb0uPn2GwdRHI=; b=ksQ15ukD4/BDo70hTC4AG/a/7nJ4qw43H9wBaGu3OiFDO2Dczv3WHt0ZB6kIp5vZvU KaBYUBv+wvJZedMBgxpD8whiVCnFqR+Vauv2V1XXszIOz+mEiawv+fh5OZex/e8sUxiv cJr8c0CY46TDsIedgagtVEqy7QzFdadi67Ru9D2CWU7nQKJXhQzC6mTAwpeA/HWezhWa HK8p/EyEzWaiweujQotOS/vEyih1IXnxejFISyHyv93cKb709aMkPsnFRSO/KB7HabtV n/7sIn+759xaCUzS8ZN57Iad09A6eEiYCrS2p0WKvgWFbPYfANgSAIMfQ6hi7E24Z1BW C9Lw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1730718189; x=1731322989; 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-transfer-encoding:content-language:to:subject:from :user-agent:date:message-id:x-beenthere:x-gm-message-state:sender :from:to:cc:subject:date:message-id:reply-to; bh=C1OjTL8s1cfPK78TiKi/Yb+qClPEGrXb0uPn2GwdRHI=; b=pOGUwQmodQoiAtDA0kYNO2rsQ56HcqdWHHCii26ycye7s5dJ4Yu2zulpcwBlgpiQoV zwVjGpHq8QvtpplsntIKXAHP2nd6BBuBDz33To8q4rKYBan9Qq0QVcb7o5J6epL40q4J 6MhM3xAIP5O1BqsyqAWDXPtODBINHDgdj7ILlDfOQSWLozf/fFRFmH10S6xEjNm8erth ycLup0YM46JOAbBHmG+D8JRVk0XhK0IEIIV3vlLUGw3kfcIZ+pMVUpqEMDi3k2g/C+2A idbRiqT5AkKdJPqvhzXFmYI9aHX2voqyGnyNfvQbcOm4gSEB2/m+Re4nXXr0DDNIIOOm kzIA== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=3; AJvYcCXV3ET2MuhTeFJlrOgZH2iR+TW7dU5WV+R5Pgt4bc19yqwr8vwzOYjBMS+PdAYnGgb9UQ==@inbox.vuxu.org X-Gm-Message-State: AOJu0YzTjZqs/4SUY5DjtUdiaGDlW/mZ9jobRp+j59zDKSxzXrjG2ifQ pw7nx+CM91aykQ937Up6Mh4Q+/tWsErqBOJCAH/EXgelBXNn29oN X-Google-Smtp-Source: AGHT+IGh8qwC75ND+ZLnlDEX9uS/a/RRkMJZw/Cps1i11TYd76panAf0Cx7jAHGWzg/Lldb46jIHGw== X-Received: by 2002:a05:6e02:505:b0:3a5:e1f5:156a with SMTP id e9e14a558f8ab-3a5e1f51a6bmr155109555ab.2.1730718188729; Mon, 04 Nov 2024 03:03:08 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a92:d242:0:b0:3a6:ca2e:6fe6 with SMTP id e9e14a558f8ab-3a6ca2e76a8ls5325725ab.1.-pod-prod-09-us; Mon, 04 Nov 2024 03:03:06 -0800 (PST) X-Forwarded-Encrypted: i=3; AJvYcCWw5O4Lu4zHT4kpLpfILh02Tv+6HnN7bR/rlscgU/hGtuuE86AqBXKitJTL3c1bhUET5mEY54lsjxxNhD8scHUvzq4=@googlegroups.com X-Received: by 2002:a05:6e02:1c4e:b0:3a2:7651:9878 with SMTP id e9e14a558f8ab-3a4ed2aff10mr298395325ab.12.1730718186326; Mon, 04 Nov 2024 03:03:06 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1730718186; cv=pass; d=google.com; s=arc-20240605; b=JufnVig2J7zrLBICZ5HhbUI8jm7uT9FK9rKGKTNNJjZ5kBDgiVPruPVz7e1sbw9MSP dC/6+lXRvwItWDgzK8hD2jY4+yOHP10d2E3HF2gp319A8pVEznlkl6EsxrXCf2v8Fiis CxxTI6OsRx3vabKjkmixmcz6TFK9heW3HuWmoKu4yuczs4TlrH/b+jWlLTebktwrOOOC z+jgNJXYMBSR47VdCitWU8voPLPe+oRi0NhlzTOnrCSD4OK2YzhWJBThYNTeDpMl4cI6 MVRmiyuWamjiASB1l24YkVf9+nWIgWrYxcBb34i5T7C6dX8a6+P2dExa1gzfT1JWPspe +Tog== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20240605; h=mime-version:content-transfer-encoding:content-language:to:subject :from:user-agent:date:message-id:dkim-signature; bh=x72KHRhloT8J7Z7wojqcQKME2l6n1ujSFbrk8kI/NKo=; fh=0nvciyz4YiHwOIE3UfsgQNifb85tdIha4qfcLqZzdkk=; b=gTrpfXKNydaKS4rPq/zyNsCk++bQfaqY7Hx8VsQhSYDN9Qve7UABYR4weT0HQdjVmI uE3j2eYENcGKSCqXF6WB9TNK1t70UenxzMvRpSu/qNHNjZ4y5241b6wuvlzQvPl0pPcW kysEXzyXkNA5VDM61+FXVjq+MrDF1qEagFRD1+NmVmsB9nVOC9kl5jyCgzfewXkz2BI4 YB2u4GTRE8OV/J6hkpir8SFnOw+XQYkRtmOjIgtUlqwlISgXdg/LR+rgkHgZhMifhhgP 7hC+mQ6Jz4IiPQXgJjveZ2EHN0lkxyGkZ36h9JO/1rwHeWnxWpwSH/WLEfy4mnammIZF 6JWw==; dara=google.com ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@strath.ac.uk header.s=selector1 header.b=C9MyBLDC; arc=pass (i=1 spf=pass spfdomain=strath.ac.uk dkim=pass dkdomain=strath.ac.uk dmarc=pass fromdomain=strath.ac.uk); spf=pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f403:c206::3 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=strath.ac.uk Received: from CWXP265CU009.outbound.protection.outlook.com (mail-ukwestazlp170110003.outbound.protection.outlook.com. [2a01:111:f403:c206::3]) by gmr-mx.google.com with ESMTPS id e9e14a558f8ab-3a6c2abbbf6si1385835ab.0.2024.11.04.03.03.05 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 04 Nov 2024 03:03:05 -0800 (PST) Received-SPF: pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f403:c206::3 as permitted sender) client-ip=2a01:111:f403:c206::3; ARC-Seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=TclAjebNNELxeRhc13SICcLoG7O6kkYnJuL7u7ptso/bOocSfl1u8Je3ENUkWM2oVbFmUsALbHV4Hae9mER/JE168qCgWIfl29DtDfQ1mqWBFwgD2TVqWpyiUNNuFEDogwKcxOw28EGh8V4lFuo4KBB5xO3HispRRBOilU8jLshAyVawv+1k9mVHX8G00XMn45gsprMVu0FoB/IuhMGFuxYljWLq9Szn88StwMTH582hqM2j2yFCmG/l6AvUv+mknXnQuAewaV/ct8Bg0THCD/mmb9xfHq1x0y9H4Vbp1cHcmMEKYMI8vX7dOWLINxs/3Zjf7YlmjxVAtEexDDQKuw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=x72KHRhloT8J7Z7wojqcQKME2l6n1ujSFbrk8kI/NKo=; b=k9MpON8aEceEblqi1h4vfPkPS1I1CP7g7Sr8oeC4PcDB2I9ViXDpF0Arj4OmK86Ns6nqj1ZKEFF7a1LqmnL8GUgceYKXKs2Ykm8MUkD/v0G8ePKomrIAhHoS87JoJekgE5REpr0BHJEBeirmziD9HdQ2J5PnDr2ozZNeues+ndUQzCNLqXH/ow5OlQpMu4ck7SzzABd7P+Qgc4AJbn4E2svKLaiYcb5UlW6EFnTjlu3ERBlKhRIEmBVL/ZOYMk7WtlggqtqgT91UaHKCGJoldk1PlgBBewcLZ7JdvDHvoLXLBhnT3KEQgVc27cnlwKL3FmOykSdvcyHhoqPFZWx9/g== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=strath.ac.uk; dmarc=pass action=none header.from=strath.ac.uk; dkim=pass header.d=strath.ac.uk; arc=none Received: from LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2a6::5) by LO2P265MB3231.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:157::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.8114.30; Mon, 4 Nov 2024 11:03:02 +0000 Received: from LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::c647:b188:c926:1a59]) by LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::c647:b188:c926:1a59%3]) with mapi id 15.20.8114.028; Mon, 4 Nov 2024 11:03:02 +0000 Message-ID: <6baf665a-4caf-4d8d-b680-a42a66f8d4ab@strath.ac.uk> Date: Mon, 4 Nov 2024 11:03:01 +0000 User-Agent: Mozilla Thunderbird From: Fredrik Nordvall Forsberg Subject: [HoTT] PhD studentships at the University of Strathclyde To: agda@lists.chalmers.se, eutypes@cs.ru.nl, types-announce@lists.seas.upenn.edu, homotopytypetheory@googlegroups.com, coq-club@inria.fr, spls@lists.cent.gla.ac.uk Content-Language: en-GB Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable X-ClientProxiedBy: LO4P265CA0229.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:315::18) To LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2a6::5) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: LO6P265MB6063:EE_|LO2P265MB3231:EE_ X-MS-Office365-Filtering-Correlation-Id: ca9f9afd-8cf8-43c4-f408-08dcfcc04091 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|366016|376014|1800799024; X-Microsoft-Antispam-Message-Info: =?utf-8?B?aWszWjNScEF5MDlTU3VZdEptU09GSGEwSG8zUUMrYlVVSDhkd3lab0NjV3pJ?= =?utf-8?B?aVpGQ2VRSU5yejVlZExlYWFUQm8xN09JRXN6QUh0bmhEY2pPcWFCZ3hpbDlU?= =?utf-8?B?ODVVUjZMR3NyZ0RPOE1NUm1VSzhBL3hvVHhRM1VmeHZFOGxMdk1HdDFWZ3hv?= =?utf-8?B?am5hdVJBQTZhUS9ucWlwbGE5UlRoN3liQVV2UmJhT3dCYndsWmZVRmhjTXRy?= =?utf-8?B?Q1EzUzZuNlNLNmhpdW9VMkRwYXg2VHhzVG1FZG02ZG9sQkdPa3hRT1B1Wjhr?= =?utf-8?B?ZHRNRjYrYjc0ZGE1NzlhK3RXZTFxeDFTbDhOZUVRZnEvS0xrY1B5dytiekFI?= =?utf-8?B?NFY3bnhxR0tTSkhxQVZ2Q0c0ci9RMCtRVjJBS21JWmZtZ0RoMUxjZGR5OGpp?= =?utf-8?B?UnhERFZyN0ZQSzVHaDZGN21VN1JDK0ZGS1NabWFkL3pycUgyZExXdERBMG4v?= =?utf-8?B?cFFBQUcxWHRvVlZLTTdNSGFOanJsQ2RKcU9pUzVuY1ppWll0V0puWHRlU2F3?= =?utf-8?B?TUZoMjBvZDBoYVVLNzVPN0VPajVEYU4vOTJLd0ZKVmZvbFBMTE9KeEs2UDZP?= =?utf-8?B?VE91eVRERXRvTXJzM3NvRXFaanJWWk1ST1VONEtjeFBkaHVqc2VJRk9YZm9Z?= =?utf-8?B?MGpuY21NSU9LMjBpaFhRdHcyN2h5KzduVlZ3NnJkZ0RRWHlEMUhxc1A5VS9k?= =?utf-8?B?N0o4SVFyVTdBWVdSZ1Y5TDF1K0RrMVRRTmhaeTFGWGRGUlRBZzBodWZvcm5W?= =?utf-8?B?VVNiT1lMR29YMVk2TThDUDlRM2E0UmVBLzJ4U1lRaEpycmFOQTVtdC81M0N0?= =?utf-8?B?cHFWUVhtVVphT0Q0dDVLUk5TMGZ4bTVJVlFQNW1yTGtheUhPMy9GTXZHcWtq?= =?utf-8?B?eXFaM1hyNTRTc05HUHJBenVpSnRWRzRqWitMQUNqd3Qzd0VTZHdQZHVLVVc3?= =?utf-8?B?MDJUeGsrbmNrbnFjR25PUW8zYzU3ZldEWE5CZHNLSTVxZDF4OE1OQXZhKzFr?= =?utf-8?B?YXdJV21NeVQ2WUN2b3FZeTlzR25aZStpWkJnOXo4cm5QcnVQZzNBT2dLNzdF?= =?utf-8?B?MU54UkY3SjM4VWNBOUdyallWcW83OFBCQkthRWlsLzVtQldkMFpWU3JqNUFw?= =?utf-8?B?L1ZhYytWNjQ3dzVkZWZmSEtIQ1BTVTRnQmJWZk5hMkRwaG04NGhYVkdyeGI0?= =?utf-8?B?Tklybk0zUjlRWVFmQk05L3BPUGxIU0srTmFnZk5RUlFsVEh1SFJmdytEWk5i?= =?utf-8?B?eXVVR2JFaVI3L0ZNYWMzKzZQcytFVEJQdDh6L3ZMMWRBOEEvUVFRS0t4ZHhR?= =?utf-8?B?VFRyZ1dyd0JsenVaMmNrbHdvWjhMRzNieERqYUJpdW9CYjZ3SGhyN3hWVVJD?= =?utf-8?B?ZnhLdVg4WHVkakpDeUNUeFdLbE9IT1ZaT1B3TkEwam93cktlbHE0b0xONFJS?= =?utf-8?B?L3FkSlNsY0FVOUFhZjR4Q3UwYUVZL3RtM2hCZnNDcnUzRThqSG5wNUNGWW5j?= =?utf-8?B?eVhUN20wRi9FenFnTFZ3L3lqd01TR2JjYTNVWVpyeWRJQzRLK2lBL1dTTXhP?= =?utf-8?B?WEFzNDh3YTYwbkoyZ2VEK0JCWUF0TFFLWTFmeUQxOFcwZm4rMkgzMjcyTWJo?= =?utf-8?B?clM4QnllLzA4OHpmRkRnL2IvbFpWRTNkSXVKZVEyNXE2SEdFN2xrMHNrc2dG?= =?utf-8?Q?QSXRsnkIgFxMGU6efO1L?= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230040)(366016)(376014)(1800799024);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?K2NnVTU0TmNZcUxNR3d5WjV0bHlFN1doaWcrSTdLU2xvQUc2YkRLNXYvVjA5?= =?utf-8?B?SWhGRXhrcDQ5cmZmN1ZrZldlYW5HMjZZUjU5U3FEa2RhQ0JnOWRJZHZZSWo3?= =?utf-8?B?NEdVN0RzeGFVMC9RVUt6aXZQZkpNWGo1QWpOU1hBTkxnSDFZZUMza3pEWldX?= =?utf-8?B?cnQxdHcwYkpuamZMUzJSaGYvbU5RQ1drdFdyQis0a2Vvd2o0VllMK0h4ME1N?= =?utf-8?B?Vit1dEVXcHpDVGZ6MTBtMlBKYXk2Y2x1RXNKeHNWVkZ0L1M5ZWxIU3dCajlk?= =?utf-8?B?KzR5ZGcyRzJGNmovLzNBVmZpV3ZUak0xRVMwTml3SDF4SUx4ajdOcllvSVFq?= =?utf-8?B?VWFEelJkZU5xU095WUpyRkxQRTRyY1hHVGdqbEpySWMvNzBUNEEwWnd0RW9Q?= =?utf-8?B?ei9NU2RwM1pLSCtwdk1DbHNZcWNxdXhjU0RYNFRSRFZDTUVsWThQWGM3bkU4?= =?utf-8?B?T0tQZngxNVNqUHFjcVdTNjFnRklXUThpVEFlYzBpYW81a2J3cmV2RWFMai9o?= =?utf-8?B?dklUeDI1dXBDTGVOalgyTk9pMG5tL1NXVS9jNjRsMFZMVjhaU0RVcDdCNCtn?= =?utf-8?B?c3lFVjJMSjlxRnBJOGROQklaaEJDUE4xakhNYmI2UG5pNnQyeWhYSW9qaXJr?= =?utf-8?B?VHhqaFI2SUwyREdFSFVGaUw2ZjFML1k5ZVN1ZVpEVTdyeTFuSHN6NWRJNlIy?= =?utf-8?B?YTZwRnlYbjd4eFgvdDUwTzY2NzFnWTh0MXdJUW5NaDFoWDNHei9BRkpmMXg2?= =?utf-8?B?d2M3bUd2R3h4NGx5SGMvbCtnY1V6aXBiTzJFOEt6Z01ZM2VRUFB3RXNyaDl0?= =?utf-8?B?cWxFelVlMlp6VDF4RW5tdlZNcUlicEVUUk40dFdzdEtZSnlqeVpUY0tVMUZH?= =?utf-8?B?eUlSbmJydG9rYm1PT2hSeHRTSGtudVNpZzJ1ekpvVG9XeWlUcEhTSHJyWTBs?= =?utf-8?B?TUh2N1dZcUVBQ2t5QWpuZVM3WHREQTk2dUJZWUVXWWdLQ1NOcGJEYlRmZHZl?= =?utf-8?B?a2Zta0JTYXo0cllyUGQ2NnBnWXlYTkhCVGhUQ0FTdnRkWS9NYWJHemVzT0dH?= =?utf-8?B?ajNpTS81ZFFMcmpibGorUmwvM2RtU3lsbnpNc3ZxSmNBRnJrVitNMVJ5dXdt?= =?utf-8?B?T1cxOXZFWGZKdzJ6TXpoRE9iUUN3bEQwUXppeThCRHdYQWpoM2wzc0k4VVli?= =?utf-8?B?MHZ6NGF3UE9EMGlyNC9SWHp6djdsSEZPKzU0cTFpWDdyTS93cEZ0a2x3ZVd4?= =?utf-8?B?QVQ5dE9XNHlTOXNSVzJza1c1clJyTyttOGRWKzlPZW1mZE5DalA3d3FObEJ2?= =?utf-8?B?eWFYMmFJVUtrcDlJcTEyQ0o2M3gwVHlVR3E4Q20vQXJtM3hIcjJ1RU9Dc3pj?= =?utf-8?B?aUJsQXc3WVRYSUIrbTlHZEpJZ1FRemRid1JnWEZOS3kzSUluYlNCK09UcWxE?= =?utf-8?B?djRYNjdQbGkwKzRINkJCdlIyUDQya2NCNkg0Wjc0RFNPYTFJT25ZVTRHWmZt?= =?utf-8?B?SDFMbWVnOTRaUmVJSDJ6RjEwNXg2VWM4UjhUNGRiQW9CS1dDb3RneXJDU3pO?= =?utf-8?B?eGc2a2Nsdmc2Qm01c3crUElIZlNEZ05FTHUzcDZxMVBNYjZ3L3pJenM4VnBv?= =?utf-8?B?Z040bWdZMGxZYmh3TTU0RTVqdXhQY1p3Y1ZjQkg5WUE2U3hiWXRQcXgwSTFI?= =?utf-8?B?VjMwUVVqUTl3dHkyQ0N6UjY4N0tGVk02amVsTVBUZGlpbFRUMmcvSkVEZ1Jt?= =?utf-8?B?SWhqRGJUNmxMbW9URGFxUGNMOWZHK011ZHEyQUNxSUxmZEs3NkpjUkQzS0lX?= =?utf-8?B?Sk9GQkRUcXFOQ3BxUko2UjRoK2QvdytZeUZZS3dZNkp0cU1VenpRNjNzY09m?= =?utf-8?B?ZzV4bVJ3R1F2U25weTFSSTZkVFZ1L0ZiVk40YjRtaXBaNS93ejlsdlYwV1I0?= =?utf-8?B?STVYdzhSVjh6eWJzb2IrMUREbmQ5QUtETUdRengxSUVXNEJlbVhJWDZ6d294?= =?utf-8?B?TVNncjdzeXE0STg0TzhETVF0TW5wMFZNQ3AvYkZHcldGanBHcGEwMU93dlN2?= =?utf-8?B?cWxHMUQvSGNoempPbGQzS2hMeVRJbXBmTG12RWJpZklXcEkvWTUzUG5BMCtx?= =?utf-8?B?dGNRR2ZoNFZJZVRjZTloaU5HSnVCQnVwN1hDZithT3AwOVpiNGpPV0lRWHU1?= =?utf-8?Q?tqmDjl6hsc4FukOTjhpeDdlh9qbTVeSWVyzu35dW3AJf?= X-OriginatorOrg: strath.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: ca9f9afd-8cf8-43c4-f408-08dcfcc04091 X-MS-Exchange-CrossTenant-AuthSource: LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 04 Nov 2024 11:03:02.7884 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 631e0763-1533-47eb-a5cd-0457bee5944e X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: vk0F5NlZY9VohADr4Loq8t9eZKnnIGn+c+EzgbrA9vCPPxDX9H9RJ4vcXv+ycsPKyOHnil7qN2AUScu0a0ac0EQLVsEbflxMYTWY9Qur7xcXlDa35xLZtzeYAk9LqIU0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO2P265MB3231 X-Original-Sender: fredrik.nordvall-forsberg@strath.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@strath.ac.uk header.s=selector1 header.b=C9MyBLDC; arc=pass (i=1 spf=pass spfdomain=strath.ac.uk dkim=pass dkdomain=strath.ac.uk dmarc=pass fromdomain=strath.ac.uk); spf=pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f403:c206::3 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=strath.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: , Dear all, The Department of Computer and Information Sciences at the University of Strathclyde is welcoming applications for PhD studentships. At least four fully funded positions are available for UK home students, and funding covers tuition fees, a stipend for living expenses, and a small travel budget. *Unfortunately, the funding provided is not enough for non-UK tuition fees.* Applicants in the area of the Mathematically Structured Programming (MSP) Group are strongly encouraged to apply. Within MSP, we see the mathematical foundations of computation and programming as inextricably linked, and study one so as to develop the other. This reflects the symbiotic relationship between mathematics, logic, and programming =E2=80=94 any attempt to sever this connection will diminish ea= ch component. For more information about MSP, please see: =C2=A0=C2=A0=C2=A0 https://msp.cis.strath.ac.uk/ If you are interested in applying, please contact a potential supervisor as soon as possible, and *before 25th November 2024*. Potential supervisors in the group are: * Guillaume Allais: type-driven programming, correct-by-construction =C2=A0 methodology, implementations of type theory, generic programming, =C2=A0 proof automation, user experience of interactive compilers. * Robert Atkey: type theory and computational complexity, resource =C2=A0 awareness in logic and programming languages, substructural logics, =C2=A0 applications of mathematical structure to programming language =C2=A0 design, domain specific languages for specification and verificatio= n. * Neil Ghani: category theory, type theory, functional programming, =C2=A0 game theory, machine learning. * Jules Hedges: applications of category theory, type theory, =C2=A0 functional programming, ... in economics, machine learning, =C2=A0 statistics, control, ... * Ross Horne: concurrency and logic, and their applications to =C2=A0 analysing threats to security and privacy. * Clemens Kupke: coalgebraic modelling of systems, logical =C2=A0 verification/model-checking, fixpoint logics and their =C2=A0 game-theoretic semantics, automata theory and automata learning. * Conor Mc Bride: dependent type theory, functional programming, =C2=A0 effects and handlers, programming language design and metatheory, =C2=A0 and the category theoretic underpinnings of all of the above. * Jan de Muijnck-Hughes: trustworthy systems using type-driven =C2=A0 approaches; namely applications of type theory, dependently typed =C2=A0 functional programming, and programming (& domain specific) languag= e =C2=A0 design and metatheory. * Fredrik Nordvall Forsberg: dependent type theory, especially =C2=A0 homotopy type theory, and its semantics and applications, =C2=A0 constructive mathematics, categorical semantics of programming =C2=A0 languages. Best wishes, The MSP Group University of Strathclyde --=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 visit https://groups.google.com/d/msgid/HomotopyTyp= eTheory/6baf665a-4caf-4d8d-b680-a42a66f8d4ab%40strath.ac.uk.