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,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-wm1-x338.google.com (mail-wm1-x338.google.com [IPv6:2a00:1450:4864:20::338]) by inbox.vuxu.org (Postfix) with ESMTP id D1D62251B0 for ; Tue, 13 Feb 2024 18:32:38 +0100 (CET) Received: by mail-wm1-x338.google.com with SMTP id 5b1f17b1804b1-40fd2fe490bsf27674875e9.0 for ; Tue, 13 Feb 2024 09:32:38 -0800 (PST) ARC-Seal: i=3; a=rsa-sha256; t=1707845557; cv=pass; d=google.com; s=arc-20160816; b=pJi+OEvY59VzN+TmwecA1IfXx61yovgYpIifPT4rqnsS2SXj1eGfd8KPsGCW9t1WVk qDO1+8GnJFKIJzs4H0t6ycXAZGiQGx1SbCnYeHnbpLaBWEC5nSj4ubnmc68KZeVP0Umd jMX++ZO35p2x1euzQCdyE8sPYf80iNc+bzL8yGIwq6Fb5A6Z1xlFa9ApOXq+G+o66m+x MDCTNoGoCByFRRkgwjkftkCJ7pCus7U0TU9mtp1RvCDCfORassB8Bh+tybk62a7B8vxX inLUHE16iKEm3i2H/S13QNZio7zJms7Gb9q1wGu8K+YCgurksT8m39HaPBaRBumbWsLl D0qQ== 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:to:subject :from:user-agent:date:message-id:sender:dkim-signature; bh=EfJOTp03cHi9dQ0+UICZrb0RkMrYxaPNEGyomDxRKM0=; fh=hT6uTqmke+7i+dIYdnpkdh3gQoNvfRhZw+UOPfqa7To=; b=oyds6k+SUwV8OkCQw0c5bLrcLXYFDk/bu1u9ZSaeOMJhUM22ncDrP+Ol31Gg909HHq JYHSTpBHgPv7JYZ2fBLc11wGSSXhPTNaLgTV5aUEiAIK0qQ7GFnE/Wu+jWi4Ip0dlxjH klx2+T5kM7UQGfddTRb4fr/0n7PrQuTxkrsVZ5bzEdXzHHP888D6lxebObdNQ3rGvUea llwwE27KKt0QfitLoHUBbQLS0fbGsuJpmY8UknwcTGNtPXkvlY5LQLbZV1dlNq7tSEe3 i723ogRb649q0LnG/TqNVEQo5cpXTtUgrJr7H6EpysyroldmVPC1UEqGURWN+EquIiQp 5PVg==; darn=inbox.vuxu.org ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=IACNSzDC; 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:261a::701 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=1707845557; x=1708450357; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:content-language:to:subject:from :user-agent:date:message-id:sender:from:to:cc:subject:date :message-id:reply-to; bh=EfJOTp03cHi9dQ0+UICZrb0RkMrYxaPNEGyomDxRKM0=; b=Od7atP8vGWMfErF4yLIwSyBVk71aTkskU4Ckc31DCaqNzTEDKK6dNOI+9Y7KVAHxVr V7g1P15gk5jzbK1Z53h51dKdYzpObjoSxGojYyUV8DGlfj1wIAIFacSCOwUhCz1DnxXT lTDBbyf+CXZZa4L7wNJ6f+vH1aP8on9wc0PD0BAMiDbfKdcOXmdtcixRq2oJu2WOZ418 9u/xsovu1So1dtxOmjbafqcJQ8Y36kEGRmZaFY+KanQDClieidGHxYrGWbF53MWBNhzu UYI4zVZx3RVEM7YopdK3+Km1adJpgbKzRgoO/AjXQ5YI29ylnooltd6ZUQuJVf/B1ZYS 2TeA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1707845557; x=1708450357; h=list-unsubscribe: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: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=EfJOTp03cHi9dQ0+UICZrb0RkMrYxaPNEGyomDxRKM0=; b=fuWseeiwd0Wchc7kh1c27l4bQXzUuC7npwGZ4WA057EoVpK8O+len6SLXuVUzXfCKA WcBHXzUiCI6xtGuxk+AAB0Qn90unFkAQvXvmvfsrEAtUkUsyUQcrTWGGYxLllxQMeIjP kqcFvU5ba9z9DZ+ILrvrElCzNNdDXtqW+lImUV7CeioXhdYaQcv0szUirC+uffCuLP8v e7OLTBFbZvxX1nV11LjLShiyrbAQ51P5ZgW0w02deic3oZbU06bpxaRTd77pg5sAZnRe ykPhidXLLb2d3j0ufEporx6n1yc7uVOGlOTgsxmwrp5qMu7DQhknEkNDpNZvGxV9nCNr bO1Q== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=3; AJvYcCV+OhbewsjWwpQGeX+/ZSBVXEqBOlJfrhS3sJ4jynGTD+KoNETHZQEJzZC+r4pVeO1P5F26lPKUl6YXs6suwt3Bxg== X-Gm-Message-State: AOJu0Yyqe7+ZdHNI5rI4w0Q1mNgbxVC6yuPqMuaowMrupfro70zpYw4n dVYScMGAr5pfG1o95beLkHdHDaZejNlyjlLK/kAe0+f8k4qyLNWN X-Google-Smtp-Source: AGHT+IFdyB5RNDLEAckux45SAckNZ1IDnw/YLVDFAVc9SAwmKE8LRrqb7HMhezocZsypA7nou0IL1g== X-Received: by 2002:a05:600c:5248:b0:410:709e:f223 with SMTP id fc8-20020a05600c524800b00410709ef223mr131254wmb.9.1707845555896; Tue, 13 Feb 2024 09:32:35 -0800 (PST) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:1d89:b0:411:c599:5fa5 with SMTP id p9-20020a05600c1d8900b00411c5995fa5ls301566wms.0.-pod-prod-00-eu; Tue, 13 Feb 2024 09:32:33 -0800 (PST) X-Forwarded-Encrypted: i=3; AJvYcCV4A8FvPKa/ygUWr3x1vFsHA4jCkl6ihEsi3rweinYd8jeohOphvhJl4Jqys+AkpH5woYzokTaXX1DBiacgvLJuoTKedDka0m0szbriQgrryu0fnQ== X-Received: by 2002:a05:600c:4509:b0:411:c8a7:7b09 with SMTP id t9-20020a05600c450900b00411c8a77b09mr133111wmo.10.1707845553149; Tue, 13 Feb 2024 09:32:33 -0800 (PST) ARC-Seal: i=2; a=rsa-sha256; t=1707845553; cv=pass; d=google.com; s=arc-20160816; b=BQ6VGQ7c4fI6rryc7yGeWqCDpSH5FK74fP+Yk6KPiq6EEl34NbhereIQDXKkEzEaND WOf7fOm3HEJicYMCUOJz01TM1YBp1/97zqXwY+17mBpNhAZGQwGqZAYWo/B+1a26V/d0 tACEfj6Q6GDGHWsDxRJIDKuAau0tU8TiZAs4/kRJB0pPw9AEwoNkXrUAkPMNKP1gIFk6 XKz2YGgzXTLVPnp3pudowntFGCRnjtKJmE3X/kRS5zn/6n1tZAz54CGQEeufwNBBXy8J GBz6Bz9ia6tTfZT1FloMsB0G1cWVepCkVGM6k4ssik9JDGh4GKigV3gORbs7uACaDH3U lX6g== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-language:to:subject :from:user-agent:date:message-id:dkim-signature; bh=xzG8F9yg05uFjsvETWUcaGDhl7om9a00OHFbccRVQdM=; fh=J3W2P4hBV5fIwoynnykFLsV9e8fgDjzlh1G91LroYwo=; b=U+LhohLPw2Z5u+1Ef05d7+BdeS1PTgeaJlrefVbI0r1IT5hyaTXFNme6tTr5Wi8FxS u0wuVN2yGC7Atu4ay7onArGkbOwu8TR6Hzft1CnKG4pbfkGNY3Ou9jtW2IK1FoZ2QFWc abUjl+DhJlrsIxnxOh1+K6izOHZmlJdYiJ2IEroTwfnkgp+B9+XZqtpl4tZXDuc8uyJu VPGLHhtElr8IHbL3zVjOjZbtFSDVWCObnHV/lW3qZ+cIL8cPTErFzM2fuLMmxS7+tKgy ZNGW9XsOrKyfvsq7VmCzlqRa9H0Ow4Xi9m41fPNZ/NEPlNhY5pHHIeY/qzGGN6IE0ZUU rpEA==; dara=google.com ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=IACNSzDC; 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:261a::701 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 GBR01-LO4-obe.outbound.protection.outlook.com (mail-lo4gbr01on20701.outbound.protection.outlook.com. [2a01:111:f403:261a::701]) by gmr-mx.google.com with ESMTPS id g7-20020a05600c310700b0040eefde06f0si88893wmo.1.2024.02.13.09.32.33 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 13 Feb 2024 09:32:33 -0800 (PST) Received-SPF: pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f403:261a::701 as permitted sender) client-ip=2a01:111:f403:261a::701; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=IuoBcUCrM2DMxyQrF+keYSkVfD2mY4N4B/pWhxF1cLQoSVq/oaABOrp9vGDR4jJcJbhcKgUJZNsxB/Doci1HZREeSrz1OAPKLZXbD/Ye2CXmLcUR8bX09P4CSRfkAYnLms6M+TcGKyYRRTmu7QaatR6ksJoOJNcCQfht+QaRzy682ycTDzFKa/Bap1fP472/JmAbe7i5q6ejRYb/2mX8Jiee7pDslXiEp9W/NhuEEksiFT7UbGqJ5jxSO9vfS7nHW4hPQllTEZ9lbb7l0z5Eo2X5Wh8bVRxy1it1wGQJMTkpoOFcsnkISuidRa5MQ6teRJb1Cc6TO87cVZT6IsCRhA== 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=xzG8F9yg05uFjsvETWUcaGDhl7om9a00OHFbccRVQdM=; b=MzuBm6Mz3J64lAg6qjn94yViiVNYPkuuALZizW6DizMJcorve1UZ4nMda6a7D0Zn2fTybVTeAC5LzrcCw3r6BuU6zgJONzsbqaFqLPme/RZiEuDGHg5/ev6FMn9qWngxoXawq3CdWdsbuNE6iUNc+sZkBSdiaEOxJD/tSuV2LhRvRBgogoJYA6IRyUu2IacRlJmJ/wgTWCkRA1NGJ5BCDfXtrId89AL1ZVxj59ELWvxWBaEq0WR7MeHag1jOKC1j1Renh2Uv5KdBL41eEVRAtqxOtW/jwaKYxgDfnGXyxmrC0ivHkNuoVRIxoYG7pal8kao6Ngg7AIq8lHvMI/flgw== 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 LO0P265MB2603.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:14f::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.39; Tue, 13 Feb 2024 17:32:32 +0000 Received: from LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::e42f:5b74:2591:145d]) by LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::e42f:5b74:2591:145d%5]) with mapi id 15.20.7270.036; Tue, 13 Feb 2024 17:32:32 +0000 Message-ID: <81dd63d8-770e-4273-ad1e-e9fc675e483d@strath.ac.uk> Date: Tue, 13 Feb 2024 17:32:30 +0000 User-Agent: Mozilla Thunderbird From: Fredrik Nordvall Forsberg Subject: [HoTT] PhD position at the University of Strathclyde To: coq-club@inria.fr, Agda mailing list , types-announce@lists.seas.upenn.edu, logic@math.uni-bonn.de, homotopytypetheory@googlegroups.com, categories@mq.edu.au, spls@lists.cent.gla.ac.uk, msp-interest Content-Language: en-GB Content-Type: text/plain; charset="UTF-8"; format=flowed X-ClientProxiedBy: LO6P123CA0036.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:2fe::10) To LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2a6::5) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: LO6P265MB6063:EE_|LO0P265MB2603:EE_ X-MS-Office365-Filtering-Correlation-Id: d6251f04-fa2d-4b90-8952-08dc2cb9c22c X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: FkXNGZHhzuji0MWbSeqt95naS05ut+QoiU33+GspXI1hCPmDyscnUf4vvGZEoAVQNtiUVSHHrFYy26v1cdiQLDNBvKm/SvWmDR3M4Eo+V5FDNISLKBS3c0uj+cOifxEbQwUP1jIvLARwUHYufowOO923TQ2DKnNn40KxzbbZebog1h/+/TG2+/iuQcBqW196dnf01V46zKdhGKCglzx1rl39r3Mtbhip18HMKZ7yCsQEyO2OGvRZKCbYteN7pt/NbFIhJHlLiQfPef1jsmFRiPrCrFYZe21lVLEY9RwP+FUW0rtOQZ2Glcbj+KBmkbIYeve889vKG/2u4KPDezvkxMDDn0QIWjMlXd53X7KTblhDnl9ZnIqoS5MS7023V9GbUuSxjm2BvD56/OrAyZucjn4w0T3hnZl5cJWGOuG2c2+VNa+E74uCQnrKT/unKNbuvrIdOfyd5U4hb00n1cL2ufL4pYP3awSvZ1sfnQHPci+DbZV3ZgIzK7h2vs9EUEPpqnCLTNCl/Au3Xd6BTEP2eheJuO6JA7ofuNRkpPUSmTA= 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:(13230031)(136003)(346002)(366004)(396003)(39860400002)(376002)(230922051799003)(64100799003)(186009)(1800799012)(451199024)(66946007)(6486002)(41300700001)(110136005)(2906002)(5660300002)(66556008)(66476007)(316002)(83380400001)(86362001)(8936002)(8676002)(786003)(31686004)(31696002)(36756003)(26005)(6506007)(2616005)(6512007)(38100700002)(478600001);DIR:OUT;SFP:1102; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?cnpFcjZIOG9IQjAvbHE1WkgzQlhveDlGTnZpcEFQR1ZqNnMxWmZIK3pMaVg0?= =?utf-8?B?emRQemxWOXQ0Y1NDSEppQU1qUCtrS3Fsc3N4Zi9hWE8rcHFWQ3MvTEI1VjJC?= =?utf-8?B?aWk2eFRwTkFmUTk0eXA4NFdISThRaXYxcEl2akRtNUxxVU5CSzlySGRHeHZW?= =?utf-8?B?SjhkaHFXQXFDNSs3Y2x0RjhWU0VoSXZHVU04L1NqQS9wMDJNbXQ5VS9SM1dC?= =?utf-8?B?ME1JYkloOTI2cVArZkdrWk9CdzBlMjhnTlh2UkVUdEppVVE0ajdBWUFqZDJS?= =?utf-8?B?ODlKNXcvSU9iOGpjOFFZaVFlWkF6bUZzcW5aL2hKMGpSQXRUR1hlZk1Ncm93?= =?utf-8?B?UnRFUlNhNmpOWFNsZzJZT3dNcmhnV1ZyanNZSW5wWXF2ai9CeFdsVmtBaEN3?= =?utf-8?B?Z0QvQXFGZUFlZG5IKy9jYTVoeUx2Vm9vVnpFMHQxRWVvRUpTSVFZNE1lRkNy?= =?utf-8?B?ek5ZSENDSEU1cnMyckpNTjlrU2ZJU2poOUtUYVVJKzRldUFwckVVdDYyamlB?= =?utf-8?B?enNSaHdSMVFKL1U1b2dwRjVnWTB6aUI3cXhrYmUya1BNWVRPQ2kwYkR1VFhm?= =?utf-8?B?QVhyN0w0NXNsM3JHMS9sT0VMNUxPbjV0aUdyVFl1L3NMSVh1dDltTEFOd1g1?= =?utf-8?B?NUEvN1hvNC9OMWNpV2ZISXI4cVpmdk9KSDJzc0ZsdmQwb2EyaHBLdDNwRU9G?= =?utf-8?B?TXowMjZCa0gxMngwdzhLOGFVYUdDQkYwU0dzV2R2RnVya1hhdS9sK2xZUk1r?= =?utf-8?B?cXpGK0xoa2dtTWV6OUNDd3Y5dklkUG9NK0s3clpHYy9nUjlEWXhZbHlpem1y?= =?utf-8?B?aHZ4S0k4T3NVakZKWHkyMlhyU0U5NWZLblBnZEFCYjBRVVpGVSs5WVVLOHlt?= =?utf-8?B?azV3R0N1endWS0RKWXpjdjhXeGo3NzB2cEpVRXZOMEtzamppUmNqcEdGbjNP?= =?utf-8?B?cXJCaCtYL0NpOHhkY3dEODhIdDRYSGY5cy9Ub1R5OEU4NWJGc1JnNTBwMHVO?= =?utf-8?B?MEVxTm5mRzJaUHp2OU5razBEQkszS3FJSFZaLzBZc05EZ25TMDJpMVFsVlIy?= =?utf-8?B?N2pXTUw1dzlNQTRYMHR5L2tFV1FpakxxWkdrLzRuSmd5KzZjZUlyQzdnS3Va?= =?utf-8?B?M2RLTXlPeXVHaC9ZN0RZeGVBMjhuVjlpaEtNQnNaTVhKRWF1SnJxVGxIQzFy?= =?utf-8?B?amtNajQ2Z1dqMGorQkJ2eGsvdXdMZ3NCd3NZdVpXM2R4b2ZiN0RITGMrdXVF?= =?utf-8?B?eC83ekpnRmdHYjlZbEpnTFhlTTZHamI2Vzlia0JCK3ovbDduYWx0VVljY0V6?= =?utf-8?B?SmpabXNhNXZRUVdMaEFCOWlVaDUyUVgvVnpjdkhLYzZROE4wNVVtOS81RzVW?= =?utf-8?B?UFhsZVBVUUF3bDhHNWxtZmkyTW1SOW85b0UxUFRTUmo1blhQNkc2NTdyRDdO?= =?utf-8?B?YmhTV3hCYUIxRGU3dlU4TDl0b29sMEVRVXNsUXR5NUZFZ0kvWmkrSU5UYWpC?= =?utf-8?B?K0lmN0ZsM0JHSHdRWmNrNEZLYTRzUHVrTXA4RUxhUVJkS0x4eHhVM2pWRTJ2?= =?utf-8?B?STd5Vmc3VzQ2TzI5Q0lYREdVS0xjelFseS9yN0FLRkF5UCt4Y3B3NDhvYU50?= =?utf-8?B?QVhWSGNmdk5MMElyQ2daNEdyN1JZQmdVK2tRVGs5cmZXQ0lzdGdTR0NoVEZY?= =?utf-8?B?UjlCb0N3eHFENE5vWjRXdUlJWDZUNTMyaXFsTXZrdEp6WE1kMms1ejBvOWt2?= =?utf-8?B?c29NTnREcVZIM3BtTnlrNXZEMEk5aWh1d0kyWnlwdmVxNzNUaE5yM3JITXBT?= =?utf-8?B?c1ZJT01JWDBabHVveWFoVHFBVWI3aUdyalB1UkxJeGdFbXI4eE45VTBtVEJx?= =?utf-8?B?dEM1V25XdEJ5R05YVG91YVRBaFZ4REdLZVpTZ1Jmc2xFN1h0N1g3eDVvMWk0?= =?utf-8?B?SXEyTG1TZ0V4MnlLVjdrelJxbVQzUVRvRldUMWE5THhzbHpwS00xcVhFeVow?= =?utf-8?B?L1c4T1l6TUNGVjA0MHRxKzlkTkVFZVRRUE1VdUo4RFg1RkdEQXNHcUEvRy9G?= =?utf-8?B?Mm9wZnZyOTd6RW43SzFINURrZ3VIbTZzdXM5NlZzVHF0WUlpS0t1MUg4WWY4?= =?utf-8?B?NjIzUEU0WjJ0dENDUjMxOHFUWFI5SVdmbXBxL1FNWE96bUZtTDRCZU03cWV6?= =?utf-8?Q?X44P4IntKX0GZI9W/Y4nl6VHYASQPiE4Uo+c26ux85p1?= X-OriginatorOrg: strath.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: d6251f04-fa2d-4b90-8952-08dc2cb9c22c X-MS-Exchange-CrossTenant-AuthSource: LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 Feb 2024 17:32:31.9562 (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: 5vwze9gTuQN6Jjf+BaPjJ2b0ioFIRo4zg+MBP+IJlnG/clTO9PbUIXn1OTi+t4SL1f567v8vLInt5uzLKjxZh59ZJREohGMUGmBM60hx6TiURVEns9xNxptUkDKdma74 X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB2603 X-Original-Sender: fredrik.nordvall-forsberg@strath.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=IACNSzDC; 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:261a::701 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: , ****************************************************************** *** PhD Position *** A Correct-by-Construction Approach to Approximate Computation *** Mathematically Structured Programming Group *** University of Strathclyde (Glasgow) ***************************************************************** Applications are invited for a fully funded UK PhD studentship in the areas of type theory, category theory and/or logic, under the supervision of Dr Fredrik Nordvall Forsberg, and Professors Neil Ghani and Radu Mardare. The research will be part of the recently EPSRC-funded project "A Correct-by-Construction Approach to Approximate Computation", which seeks to develop type-theoretic tools and frameworks for approximation. The position is for 3 years, with a start date of 1 October 2024. It includes both coverage of fees and an stipend, and is open to UK-based applicants. The successful applicant will become part of the Mathematically Structured Programming group (https://msp.cis.strath.ac.uk) at the University of Strathclyde. It is likely that you will also work with the other members in the group, which include Conor McBride, Robert Atkey, Glynn Winskel, Jules Hedges, Guillaume Allais, and currently 10 PhD students. We are located in the city centre of Glasgow, with plenty of both culture and nature nearby. Scotland is a great place for theoretical computer science: we have active collaborations with researchers Edinburgh, Heriot-Watt, Glasgow and St. Andrews. Applications, requests for further information, and other informal enquiries can be sent to: Fredrik Nordvall Forsberg fredrik.nordvall-forsberg@strath.ac.uk If you are interested, please get in touch as soon as you can. We hope to appoint in early March. Best wishes, Fred -- 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 email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/81dd63d8-770e-4273-ad1e-e9fc675e483d%40strath.ac.uk.