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.4 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01hn2230.outbound.protection.outlook.com [52.100.209.230]) by inbox.vuxu.org (Postfix) with ESMTP id EEBF224CD2 for ; Tue, 13 Feb 2024 20:10:23 +0100 (CET) ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=WFQe5WhS/bvXVYPnvUmvKYcMmgbLjqZrTtBlUbQ1vvexJru2UQkjjpBHTdhAzDzy9YOBk8P4pYSKkSS+CWZuCSOe84s7ComJtIabawsUrqH0GM4SjDmA3TnRtrbehkjFnjE4lhG32rYI0JOd6gq+gXkmo9wwQrUGkAFFEi8G8hgVZV9twgHXiG7qBLPUhRit6qzPy1TfZySAZBEadcysLlVPN694OxDJd7IiUcuyhY3fCfeLSSnAYQ1kkHZnJsesnGOub4KbFnMmGZIf3VmWMrZmBhw21xxQMg6mwik/ztsp9zpGiRhjOQwxevdPJz1lSRXd+DrR6hS4lK02f1jqrA== ARC-Message-Signature: i=5; 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=yCHpR17N4UbMMX27uuU5XpCem8fMVmm0gLALty1gcIM=; b=d+dj9zDqdHyJDVOevT6mD7iZrmKDC6jnX93/5RHe+fkckAzc6kyDRc2QV4AWUbBdj6+qMar4uNmLtfgepXTR4ot4sGwgzqdyTUWfzs+vJVT5SxXAhW+RGrlT94OdNNIo8Az959P67T9RostA+u1Ib1e2dujzPs1QhvquIn6QacNhNdUZlBxqmNVupLkhGnlLwdat6pX2xy7vdVdcueN5SNh5O+N3eEiEYam2mDgsyeqQ/bes3OQdffpe1quCt5VcmLpcs3L7FC8dNB3w05kfNSNAW3MqvsukgVCuSJy6yCYejKa6OHfotjnC3FJO8Z7fSSyehB9DjmHMDIEWY62s+A== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=pass (sender ip is 40.107.122.97) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=strath.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=strath.ac.uk; dkim=fail (signature did not verify) header.d=strath.onmicrosoft.com; arc=pass (0 oda=0 ltdi=0 93) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=groups.office.net; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=yCHpR17N4UbMMX27uuU5XpCem8fMVmm0gLALty1gcIM=; b=aWp22QweJP9TDAF18JuDtcP1l/2KUk9mfzV2wOYxKgxPaok0OzBKzPC8k8Z18b421c0K4UWeG1MdeC9CbN97X+KY7SaZnmmVPylkAvTOdx18xGzGpClFVDk31tmRLBqtZC6XOrU8xQey6t6p/UheBK6woSZCAOAeakRFLgcSaRHqzrjyGE/BQ3Dt7f6BbhNEpvfMjaqdzENgh4+m59wab0q06mnYUh1mc5eW0lETxglyrrIrtg66H1fEU/rmuiZXIYhyJsMAld6Z1rp46jz50Hn1cyZNHbfbbf5yoaeIV72qeYEP3yBVYTsP0iEbs7tfk9iId/myxCaYr7tCCDg02Q== Received: from SmtpServer.Submit by SYZPR01MB7348 with Microsoft SMTP Server id 15.20.7270.39; Tue, 13 Feb 2024 19:10:20 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=GfHupE8lSkQIQg/0DhTNQr25Dwn0fz6yo8r8VKsb4AmHRkPPm8H/ESFEZLq9Nl6NcoN2WGm1JqFBqJXKDkI5sVdfUnILlBBp/WnP61th2AoDEk7LzolBUAA6gFx3dECJZUQMfBUuYpcIIsw4xaErRDxvfk8VVABP3KeJTEyR7pLADO42cnQXfuquVKS1WfaEa/CrHsO80jECt2n3yNmRH/Kouek0tdKfyXICX05HqynW+0+lMG8iB5gY5omABDVrFSnHYTAkUnib4gBGfHFWJoJmkGFMLUHrd0tLJO97vd9gRc85YDR1Ph+5/7WjfwejUa8SS4fIYD8KSLi0Nq4kBg== ARC-Message-Signature: i=4; 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=eyKkhTRI+u4LqrpxHixyZbOtPzTvYvlVJSDt7YV5Vn8=; b=O2h6i1aqIBCxQhz5Sbr+Hnva4uSF6XjBtjAH1u/zG7ADJkup6JhGwIvRU+Jskv6Qi76lyDs5Ao3mmQWyHZo+1nbKXwWNl6ZY3zAuJqYISjAcFF9Coi4cCcJf7lkbtKewGvXrJuXc/aQe8j/gfX6ZY/IE1YC76/bCuUWMReCvAIEdMptsC9PFEOGPAgXR9o3JI1JPxNJYZB2fWpcqCt2tvm99eQ7TLv+TOZp+ObvIITJzMTWkHMGXk98BDHjnQUUskbeJd5+y9r/dUgAXjE54yHZu45SZMf/KCAymHr/jF/vfOU0fjxvaqMlF9uqY+Aj6EUEdZmZo8y0mm7jb3VfGvA== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 40.107.122.97) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=strath.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=strath.ac.uk; dkim=fail (signature did not verify) header.d=strath.onmicrosoft.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY4PR01MB5610.ausprd01.prod.outlook.com (2603:10c6:10:fb::13) by SYZPR01MB7348.ausprd01.prod.outlook.com (2603:10c6:10:16f::24) 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 19:10:15 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com (2603:10c6:10:221::18) by SY4PR01MB5610.ausprd01.prod.outlook.com (2603:10c6:10:fb::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7292.26; Tue, 13 Feb 2024 19:10:11 +0000 Received: from SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::5c72:2b78:170e:af65]) by SY0PR01MB9149.ausprd01.prod.outlook.com ([fe80::5c72:2b78:170e:af65%7]) with mapi id 15.20.7292.026; Tue, 13 Feb 2024 19:10:11 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Vpybf8M60MWz66m26JUIAtHXI2PHL62iQrKJSX5zu0pYhnjgrWUdt1YyuByROsgyM9iY4YFTCDSfzvNe5tQaUXbOVVAP9e5s2dO4lkYtAYh8yQikEgenD40s62bBNg/bjB8vw69RvkY3hWtwkV/2qdzcGXtu1MglresAk3URQ4qFnzFS+rCKM+jEIxjniKEII3yjsXB/C+u5LHAzI3ro/4S5c0T8knSJpDc8Vl51ZJhD5/JKzGTZa6R3d2mvtziJKLThcpI4l7yoBm0z4T7hsTZxn4mA1LzmUTReyw+vIhZ7a961ZWKB3xWYtRAQByXScUPvkUURCrBc+PvNa3m25w== ARC-Message-Signature: i=3; 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=eyKkhTRI+u4LqrpxHixyZbOtPzTvYvlVJSDt7YV5Vn8=; b=goP5XpdQFzjch2Pn8ka/WDv5xyyyNZOSMz5onrWTqqMMB9iPMX5RlPPyuOecGYGr978eBbJLsP+d//DoaaIuNo7b9OlJa92Btek+BnB9MLhdZqfAqsSD7Ij5BRWiQFQ3ViiP+K4lDhFW5A7aqJXGAj6TQn1+ghIaGlFOAeB9nfg/0RlUV66Osa/AfETy2EySEpZtAOmdZBnGGwqkH+2Ee+6tpNP9BbZN45s7p0y9ZF8UOXHVnItOxwPdRqG5k8qwTIrWms8a5yRthoREoXoJQyYwCR6cjOlBJSrlQ6ESJgLXjDtI+EC4aKs+Y+tLoSccx3o1lqDo5Kp/wUxjq+Y4mQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 40.107.122.97) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=strath.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=strath.ac.uk; dkim=fail (signature did not verify) header.d=strath.onmicrosoft.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5PR01CA0022.ausprd01.prod.outlook.com (2603:10c6:10:1f9::14) by SY4PR01MB7124.ausprd01.prod.outlook.com (2603:10c6:10:145::8) 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:54 +0000 Received: from SY4AUS01FT014.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:1f9:cafe::19) by SY5PR01CA0022.outlook.office365.com (2603:10c6:10:1f9::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7270.39 via Frontend Transport; Tue, 13 Feb 2024 17:32:54 +0000 Authentication-Results: spf=pass (sender IP is 40.107.122.97) smtp.mailfrom=strath.ac.uk; dkim=fail (signature did not verify) header.d=strath.onmicrosoft.com;dmarc=pass action=none header.from=strath.ac.uk; Received-SPF: Pass (protection.outlook.com: domain of strath.ac.uk designates 40.107.122.97 as permitted sender) receiver=protection.outlook.com; client-ip=40.107.122.97; helo=GBR01-LO4-obe.outbound.protection.outlook.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by SY4AUS01FT014.mail.protection.outlook.com (10.114.156.113) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.7292.25 via Frontend Transport; Tue, 13 Feb 2024 17:32:52 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1707845572; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: dkim-signature; bh=eyKkhTRI+u4LqrpxHixyZbOtPzTvYvlVJSDt7YV5Vn8=; b=VGEczmvvu9pRM7ml58E96xOPHtwFVjWHSQyDs4Kj9m2lEXnJKk1KOGBL1M6XTtXXPio1vQ 5+MqCwHcf0Gq8nEdQVgvKQmyYE+3ATs9Y6vRHOOoAcdyVaVWKMzbZoA25a+TSy7OiKV0ic Fc/yuzjTtF21biWjuqlk7N59+clDzZVf6LVbovSDk+BNloa0/l12b3cqXVnW4AlPAAcnn4 ICIseuuKAXDVJe6b3bDFAx/HVabFP2+U7Y5ljfvcIIgl4C1DNuc9huG+8KyHGfq0VCnqRe IPofkerizB8v7Q3a/7cDsPjl1BcEDmjT4bHjK8xkzLGtZ7SfPDHXbq62wXu/7w== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1707845572; a=rsa-sha256; cv=pass; b=MGJ9NziiRstIn3zboa4rZwVJfG2x0PWlP9pd35CI+DnfRP7xt4ZVW98x+2DUni/UbzvKfm tT+yctUgjUzvVm/q7a7CiEpzRX8Hcty0E77etbSCfjqa+/4Rzuq1wHam6T6gHlqqruhD0z jVVMThbXIVcLpLtcQf6nsm7Y636jRxiUanqFsLOJsTWgrpdS8X6opdd3k7FALNNnx6hqfs 7iQ73vtSMFdxM1LhboYqXonsDCSbqelGzEDXjvegtshTnbC4i5vc0o8OZQeH6hiP5j9L9U yEuU8x3tPxNeyTm4LvNlUaM7FQaCpw/4UwzqKMkEpS95/6zm9RhQlki3AJnWvg== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=IACNSzDC; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=strath.ac.uk; spf=pass (relay.mimecast.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 40.107.122.97 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.ac.uk Received: from GBR01-LO4-obe.outbound.protection.outlook.com (mail-lo4gbr01on2097.outbound.protection.outlook.com [40.107.122.97]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-19-wlV7RA9eMD-RHudGDA49tA-1; Wed, 14 Feb 2024 04:32:49 +1100 X-MC-Unique: wlV7RA9eMD-RHudGDA49tA-1 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 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=strath.onmicrosoft.com; s=selector2-strath-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=xzG8F9yg05uFjsvETWUcaGDhl7om9a00OHFbccRVQdM=; b=IACNSzDCDP9yz/ags1S+YppCOsY7e50ivbeuPrbn7y/agwrKsdAGFaLeWvvaQsXEj9gAfujN9gkZam5115tRfE1KuuqrNAZA4jqquWjp1qJ0MrBaHMldeSIvKEyQSt4X/d4g2iNPlixWpjh3b9LPRGhk6spvM/7Hrms77Bi8buk= 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: 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 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-TrafficTypeDiagnostic: LO6P265MB6063:EE_|LO0P265MB2603:EE_|SY4AUS01FT014:EE_|SY4PR01MB7124:EE_|SY4PR01MB5610:EE_|SYZPR01MB7348:EE_ X-MS-Office365-Filtering-Correlation-Id: a7b233a5-edd3-47d4-2ce3-08dc2cb9cec8 X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: FkXNGZHhzuji0MWbSeqt95naS05ut+QoiU33+GspXI1hCPmDyscnUf4vvGZEoAVQNtiUVSHHrFYy26v1cdiQLDNBvKm/SvWmDR3M4Eo+V5FDNISLKBS3c0uj+cOifxEbQwUP1jIvLARwUHYufowOO923TQ2DKnNn40KxzbbZebog1h/+/TG2+/iuQcBqW196dnf01V46zKdhGKCglzx1rl39r3Mtbhip18HMKZ7yCsQEyO2OGvRZKCbYteN7pt/NbFIhJHlLiQfPef1jsmFRiPrCrFYZe21lVLEY9RwP+FUW0rtOQZ2Glcbj+KBmkbIYeve889vKG/2u4KPDezvkxMDDn0QIWjMlXd53X7KTblhDnl9ZnIqoS5MS7023V9GbUuSxjm2BvD56/OrAyZucjn4w0T3hnZl5cJWGOuG2c2+VNa+E74uCQnrKT/unKNbuvrIdOfyd5U4hb00n1cL2ufL4pYP3awSvZ1sfnQHPci+DbZV3ZgIzK7h2vs9EUEPpqnCLTNCl/Au3Xd6BTEP2eheJuO6JA7ofuNRkpPUSmTA= X-Forefront-Antispam-Report-Untrusted: 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-Transport-CrossTenantHeadersStamped: LO0P265MB2603 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=IACNSzDC; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=strath.ac.uk; spf=pass (relay.mimecast.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 40.107.122.97 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.ac.uk X-Mimecast-Spam-Score: 0 X-Mimecast-Impersonation-Protect: Policy=MQ - Tag Header Only on Default Settings;Similar Internal Domain=false;Similar Monitored External Domain=false;Custom External Domain=false;Mimecast External Domain=false;Newly Observed Domain=false;Internal User Name=false;Custom Display Name List=false;Reply-to Address Mismatch=false;Targeted Threat Dictionary=false;Mimecast Threat Dictionary=false;Custom Threat Dictionary=false Content-Type: multipart/alternative; boundary="MCBoundary=_12402140432510201" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[40.107.122.97];domain=GBR01-LO4-obe.outbound.protection.outlook.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[40.107.122.97];domain=GBR01-LO4-obe.outbound.protection.outlook.com X-MS-Exchange-Transport-CrossTenantHeadersStripped: SY4AUS01FT014.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: d6251f04-fa2d-4b90-8952-08dc2cb9c22c X-Moderation-Data: 2/13/2024 7:10:10 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: K8dP5a3fGiHCMYky+kp5HWYZ/zSlrBHc+zIezFJFwRA9dZm+CsPYSpo7wO2IlrAB+eq8iatPnurBE6aQ3ODVKLAa5mxEsMH4qDG1Bp4fHy5cOCRILg2apoymF+/1fyJAEd+xpOJpVyXtqBscgFo1K2QNmWONcQ0/gIkZiVgbOdo3iZzWoSp/i3vsDj86PVpukk94k01XDyrlKpb8TnVcWCH26H+lFIAnXwYh01ht+lus9IFWkVwTpttpmI499dJNkR8RGvjTY7hETBACRaUt5WQQk6YgVyv63eEfgZ9s1FIOMOdjZBzsaMluGdPXaUoFO0yEiVFd4y6ssyVqXBM3cgCvXo843wImfqWoFUFpVf7UU3WzXjCRpydaQk+CYT0GhY9eIBbDUT5wI79iDZ4FkBCu1R4ClUZeOAbwWUMZ1gGYz2HJlHR1krBwxnctm10RiX3O0hFovNlhcnZ4OEtirPU117wXODwAM9AhZpQ9XFhvOOkr86eS1L3DAXud6rTfX+AOYU+MzqbGsAsH3nWanHbYG3QJRPqAuD8Qc2LYFh1i++zo1pi5L4WcA9fClm36ad6SDGBT+5Gdy406guMGKhLXvPoi7xpUJB+TyrQqNbOa3F+8jvBFjM8I9HfxWBX9q978NQ5X2mhTDXNS+gHKSFBF7GFvMl9+qoVlviDfv+w= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:GB;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:GBR01-LO4-obe.outbound.protection.outlook.com;PTR:mail-lo4gbr01on2097.outbound.protection.outlook.com;CAT:NONE;SFS:(13230031)(4636009)(396003)(39860400002)(136003)(346002)(376002)(48200799006)(1800799012)(64100799003)(82310400011)(451199024)(40470700004)(31686004)(110136005)(316002)(786003)(7406005)(7336002)(7416002)(7276002)(7366002)(2906002)(5660300002)(86362001)(68406010)(31696002)(70586007)(8936002)(8676002)(6486002)(6506007)(76576003)(166002)(89122003)(498600001)(2616005)(26005)(36756003)(41300700001)(336012)(83380400001)(7636003)(88732003)(32820700001)(156005)(6512007)(82740400003)(33964004)(41080700001);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: a7b233a5-edd3-47d4-2ce3-08dc2cb9cec8 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY4AUS01FT014.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 Feb 2024 19:10:11.3157 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: TAGWzB4UX4RPF/dao4PPp/0AnSvlJvjXUAJRanfQg5X1jx+7af41Qgd8VuLtpD85icU5vg0pH54v/itXVM+CgiYkCdLhgwOAxR01SZpH9ldy2uc25m4j/BtG/w49TZGyVaNgktqQ7XKlVo9XCAefooDXN9JWeN+2Wzf1r4NZYu8d3JZjVVLi7ekgKyvoPF+o X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYZPR01MB7348 X-MS-Exchange-UnifiedGroup-DisplayName: Categories mailing list X-MS-Exchange-UnifiedGroup-Address: categories@mq.edu.au X-MS-Exchange-UnifiedGroup-MailboxGuid: 9c2f954e-92a7-451b-b723-a07075d7adb5 X-MS-Exchange-UnifiedGroup-CustomizedMessage: RedeemedBusinessGuests X-MS-Exchange-Parent-Message-Id: <81dd63d8-770e-4273-ad1e-e9fc675e483d@strath.ac.uk> Auto-Submitted: auto-generated X-MS-Exchange-Generated-Message-Source: Throttled Fork Delivery Agent X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?dkh6QUJpYUgzRU9DMi81RWdFUXIrM1RTVEY5cGoxaVMrN2l3cU5lTll0K3Q1?= =?utf-8?B?dkVicGd3SXZXY3RjdnZmWCtvMGcvZnpyMDNrdkFZS1VvNE5SbUwzeEJUei9w?= =?utf-8?B?Z0JBbk9sYzRkdXNnRy90dmk2ekxtV3RoZVpzWkFuQWNxNG1ucVkvU1A3REFy?= =?utf-8?B?YUpuVVB0Q2V4Sms0akhCWGRuUXVuc1BBRi9jZmNDamhsM05ieHNQbHNDSm1n?= =?utf-8?B?YzBuNFczVXVRQk9sN3YvUzY5WTQ0STlOT0d0STJqZEtPbzg3YWgvaU1JRkNl?= =?utf-8?B?eGtXZVZCenBoRFB0QUhjcmxrUnNkQTRaYmU3OWN5U29GYmxOMzB1R3NYOC9F?= =?utf-8?B?UjVqOXBwQkVSbkNtRUtjd043TmJ1NzFrekk4U3RIWnpUSnFFcFhIQXJ0UGRu?= =?utf-8?B?WEhmcEozWjkzQUdqbURsb0JZSEplTk5CT1JjODgwcWNIVXBXcFZTSy9WSVUy?= =?utf-8?B?eDJSZ0lvdnRIMWVkRFFjSG9zbDZsSzI2cFNrYUtrUTVONC9hb2pwYzQzM3FP?= =?utf-8?B?VVFQVitvQXNDbnlBTnd5YWtFMExld2ZYb3hsRDVVazlYb0hCWE4wTC8xdStm?= =?utf-8?B?bGt4U0kzdW4xNzdmU1VvSUJQQUNJbmFXcjlaQndjODVoaGNoMzlYd3NmVnph?= =?utf-8?B?U3orYWZHWGZMT2x4TVhKVitUUnJPNldxZnhSZS8xdkdGSnA3VXpFMWEyMzZy?= =?utf-8?B?SXhxU2orblg2SW9pR3F3dnVzcUJpYk85Q1I5VWVFZHBoUlNleTEyd0paY2tG?= =?utf-8?B?YWs0M1VMTE1hdG1JZTJJUlZ6L2RZR0FIeUdlNXdFdHRlVGRNZnMwRWUrc250?= =?utf-8?B?eXZjUWU4dXFJSThHdUlTRWxnVGZSTTZENXYvZGVTdWtqQU10Y0lCN2crZG9L?= =?utf-8?B?cDdFdjRiQllIZEd0cEdoOW9wcjgxTzBNWlh2YWhnQ2FRRVFNOGZSY1g4WVBG?= =?utf-8?B?ckZVV0tYVzVjQWRpL05Sd3pKYStmaktBendjSU1JL3BmZGxzRWdZbk9OVzFE?= =?utf-8?B?b0ZzQWZFZjA2T3lsNk9QZEVDZWcrMlFOSGVOM1pubm52Ukc3aDR1cUpNKzRk?= =?utf-8?B?SUhMM05ERUY3US84K3h1RFVydW9IWFhLc1NXTW4vVEIycUg3blJMRzlPSkZj?= =?utf-8?B?eTJCQ1JiTzUxT0E2dGhYWDhNTnRrOEt6YXBOZ2RDNjFGZmNOUksrWWpDUWFV?= =?utf-8?B?QVIxdkNaT0dVSXJab2cyc3VuREJqdENzMldJdTNyRDNZbWJVamlTMnZDR1NC?= =?utf-8?B?ZXd1T1dsNEtUL0YzQThmQ24yVDJsbXZHbkd5blB4NUhEYkNpa05NZm9JMVZt?= =?utf-8?B?SHAwVkN2ZCtacFArUmJJbUxZaUJmK1hBS3ByM20vT005ZkszVmFjTXNaajI4?= =?utf-8?B?OVpQdk51dy90ZGYrNGh4UkhaOCtzK01USzl3elRQK1Q0RmZiRzJSWHpySG16?= =?utf-8?B?MlZ6Z3dUVk9OS0VaMSt2ODRWL1l6RmdEYnpoa0oyNWp3d2NXUHlaZ0VKY2pI?= =?utf-8?B?TVhlZTkyNmpFYjRILy9WN25ZVlVldGxpa0tVWklwQURhd1kyTXY2MTNJL3A3?= =?utf-8?B?UTk1ZVJnTVh5UGNQYndlTHROanhNZnlWbElJOHV2RjdxaVQyUHFEMW94Ujdy?= =?utf-8?B?RzJuZG5vRzFYQlBLMEFJZnlCS0ZiVTJQblVpcjB4S3B5R2xiK2tYWldNWTVE?= =?utf-8?B?eWhoZ1FyWXd3N2VaVVlVSENPSnNCcWVvNGhXTDkxR0t4STZqOTdlY0ltbElo?= =?utf-8?B?eXJ4eHE3SDlINVFiRkpvRTFhM1dVWTZTT2NUUWpGbkZ1L3ZUamdTZ1VGaVpV?= =?utf-8?B?WjZMVGVNd21WSEZpcjJsQi82RmlQMlF0TktoeXoxSUVMVGpyR24wV3ZYQzRx?= =?utf-8?B?R2RuV2thVnBFR1hNSS81c0RvZ0drNU9Bb29Vay9EeWZMV0crRjg2SCs1OGFQ?= =?utf-8?Q?XkcL75iXT0DWWQ344Znf5LpB5uaS/jpV?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12402140432510201 Content-Language: en-GB Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable ****************************************************************** *** 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're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message. View group files | Leave group | = Learn more about Microsoft 365 Groups --MCBoundary=_12402140432510201 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 ******************************************************************
*** 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<= br> 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.strat= h.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<= br> 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're receiving this message because you're a member of the Categories mai= ling list group from Macquarie University. To take part in this conversatio= n, reply all to this message.
 
View group files   |   Leav= e group   |&n= bsp;  Learn more about Microsoft 365 Groups
 
--MCBoundary=_12402140432510201--