From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 729DB5D6 for ; Thu, 7 Oct 2021 11:40:38 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="532606790" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 07 Oct 2021 13:40:34 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id F3C22E0B40; Thu, 7 Oct 2021 13:40:33 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 73D6AE00C9 for ; Thu, 7 Oct 2021 13:40:30 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Sam.Lindley@ed.ac.uk; spf=Pass smtp.mailfrom=Sam.Lindley@ed.ac.uk; spf=Pass smtp.helo=postmaster@loire.is.ed.ac.uk IronPort-PHdr: =?us-ascii?q?A9a23=3Atg9JkBN3h+8SdqHplUcl6nbcDRdPi9zP1u491JM?= =?us-ascii?q?rhvp0f7i5+Ny6ZQqDv60r3QaCANqTwskHotKei7rnV20E7MTJm1E5W7sIaSU4j?= =?us-ascii?q?94LlRcrGs+PBB6zBvfraysnAJYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd?= =?us-ascii?q?+KvjoFoLIgMm7yfy+94fXbglVizawYbF/JwiqoAvMscUbnZFsIbsrxBvTpXtId?= =?us-ascii?q?eVWxWd2Kl+Wgh3x+MS+8oN9/ipJo/4u+NJOXqv8f6QjULxXFy8mPHwv5M3qrhb?= =?us-ascii?q?MUw2C7WYBX2oMkxpIBw/F7AzmXpr0ryD3uPZx1DWcMMbrS70/RDas4LpxSBLwl?= =?us-ascii?q?ikJNyM3/mLZhMN+kK1Vrx2uqgdjw47NeoyZKOZyc63fcN4cWGFPXtxRVytEAo6?= =?us-ascii?q?kcoUAFe8BNvteoYn8oVsBsB++ChesBejyzTJGm2X53agg3+onEAHG2hEvH9YQv?= =?us-ascii?q?3XUt9j6KrodXfqvw6bU1znDcvBW1C775YPVfR8vveuCUqhsccrN10YvDQXFg02?= =?us-ascii?q?Qp4HhIj6b2OcAvWeF4+djS+6ii2oqph9yrzWr28oglJXEiIwbxF3L6yh0wZg5K?= =?us-ascii?q?NK3RkN1b9OpFJ9duj+VOodqRM4pXm9muCE/yrIcuJ67ejAHx4opxx7RdfOIb5S?= =?us-ascii?q?I7gvjVOmLJzd3mXZld6ylhxap60Sgzff8Vsas3FZNtCpKiMXDtnQT2BPP7siHT?= =?us-ascii?q?eZ98Vq71TmT0ADT7+dJKl03m6rDM5Mt36A8m54JvUjdAyP7mF/6gLKXe0k+5+S?= =?us-ascii?q?k9/zrb7blq5OGM4J5iBvyP6Yul8ClAek1MA4DVHWB9+umzr3s50j5Ta1KjvIol?= =?us-ascii?q?qnZt4jXJcAcpq64GQ9azJwv6xekDzu8ztsXgGMLI0hZdx6dkojpOEnCIPH+Dfi?= =?us-ascii?q?hn1ShiCpny+7CM7H7HJnBM3jOnK38cbt88UJQ1RY/wcha551OC7EBJPzzWlX2t?= =?us-ascii?q?NzdFhI3Lha7w+P9BNt714MeX3+AAquHP6LSqlKH+P8gL/OWa4AJojr9Nvsl6+b?= =?us-ascii?q?0jXAlgV8dYbWp3ZwPZX+kBPtmJkGZbWPogtcACmcKohEzTPfqiV2HST5cfWy+X?= =?us-ascii?q?6M65jEhCYKpF53PRo63gO/J4CDuSpZfY2QDDlGXDV/pcZ+FUrECcnTBDNVml2k?= =?us-ascii?q?/XL3pb44n2RWjpUeu8LNiaM7V/CEcuIPL2dQz7uaViBJkpm88NNiUz2zYFzI8p?= =?us-ascii?q?WgPXTJjhMiXQGR5zVaZ3O55mLpVGZpa7LVUUVVjXXYz5+F2Tdn5HB/CLI7hoLO?= =?us-ascii?q?OT9ngCDp3U9Fjm7cz?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AObLWs6xTrFhZWDALgTkCKrPxvuskLtp133Aq?= =?us-ascii?q?2lEZdPULSKKlfpGV88jziyWZtN9wYhEdcKO7SdO9qBTnhONICOgqTMyftWzd2V?= =?us-ascii?q?dAQ7sSlLcKrweQfxEWldQtqpuIEZIObuEYZGIS5a2RjXjaYrRQvuVvm5rY4ts2?= =?us-ascii?q?oU0dKD2CJ5sQlzuQXW2gYzFLbTgDKZc4E5GB/cRH4wCrcXMRYsnTPAhDYwGPna?= =?us-ascii?q?yCqLvWJTo9QzI34giHij2lrJb8Dhijxx8bFxdC260r/2TpmxHwovzLiYDw9jbs?= =?us-ascii?q?k0voq7hGktrozdVOQOSKl8guMz3pziKlfp5oVbGutC085Muv9FEput/RpApIBb?= =?us-ascii?q?U511rhOkWO5Tf90Qjp1zgjr1fk1F+jmHPm5ff0QTorYvAx8r5xQ1/80Q4Nrdt8?= =?us-ascii?q?2KVE0yayrJxMFy7Nmyz7+pzhSwxqvlDcmwtsrccjy1hkFacOYr5YqoISuGlPFo?= =?us-ascii?q?0bIS784Ic7VMFzEcDn4upMe1/yVQGUgoBW+q3sYp0PJGbHfqBb0fblkAS+3UoJ?= =?us-ascii?q?gnfw/fZv0Evpr/kGOtt5D+etCNUdqFgBdL5SUUtHPpZwfSKAMB25ffv9ChPiHb?= =?us-ascii?q?3ZLtB1B5vske+A3Fxn3pDiRHQ3pKFC6qgpFmko8VIPRw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C+BQASaxphhwoQ14FagQmDLFFpFVo3M?= =?us-ascii?q?YRHg0kBAYU5iDwtgROZKoMqAgkBAwELAQE3CAIEAQGFGII2Ah4GAQQ0EwECBBU?= =?us-ascii?q?BAQUBAQECAQMDBAETAQEBAQsNDggnEySFaA2CNSKEBBEVCAEBER4JNAImAjQrD?= =?us-ascii?q?QgBAR6CTwGDBwEDC5sWAYE6AosZgTGBAYIHAQEGBASBNgFPBUaDFSQWgVoDBoE?= =?us-ascii?q?QKo4qgVVEgRUnDAOCOINXAYIugkqCQiKEQl8ZGIEFL5Jtq1stB4MrgTcLiHuUA?= =?us-ascii?q?AY6lV2RGIZ1m1qYXgIEAgQFAg4BAQUBgXdPgS5NNIJ0AQEBMVAZDleNYh6DO4U?= =?us-ascii?q?UgmaCZXICATUCBgEKAQEDCW6JBwEB?= X-IPAS-Result: =?us-ascii?q?A0C+BQASaxphhwoQ14FagQmDLFFpFVo3MYRHg0kBAYU5iDw?= =?us-ascii?q?tgROZKoMqAgkBAwELAQE3CAIEAQGFGII2Ah4GAQQ0EwECBBUBAQUBAQECAQMDB?= =?us-ascii?q?AETAQEBAQsNDggnEySFaA2CNSKEBBEVCAEBER4JNAImAjQrDQgBAR6CTwGDBwE?= =?us-ascii?q?DC5sWAYE6AosZgTGBAYIHAQEGBASBNgFPBUaDFSQWgVoDBoEQKo4qgVVEgRUnD?= =?us-ascii?q?AOCOINXAYIugkqCQiKEQl8ZGIEFL5Jtq1stB4MrgTcLiHuUAAY6lV2RGIZ1m1q?= =?us-ascii?q?YXgIEAgQFAg4BAQUBgXdPgS5NNIJ0AQEBMVAZDleNYh6DO4UUgmaCZXICATUCB?= =?us-ascii?q?gEKAQEDCW6JBwEB?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208";a="395195316" X-MGA-submission: =?us-ascii?q?MDF8S18OXTX8nYrSnyMlo6n55D6qpch25ExuAQ?= =?us-ascii?q?V+1f63BdKvM6Lj94N/LoPmOxCUjINDGZHDYElJPTeUfK+77M9hU/0qQ1?= =?us-ascii?q?jIkkmb0TRN3UGNyZLCGZ8BX6l1/f3kKj/QLA1HquVE+hBp58Mz0d2hlN?= =?us-ascii?q?UZ6Ccwu7j3gh3WiY5veEyInA=3D=3D?= Received: from loire.is.ed.ac.uk ([129.215.16.10]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 07 Oct 2021 13:40:29 +0200 Received: from exseed.ed.ac.uk (hbdat3.is.ed.ac.uk [129.215.235.38]) by loire.is.ed.ac.uk (8.14.7/8.14.7) with ESMTP id 197BeR01020525 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NOT) for ; Thu, 7 Oct 2021 12:40:28 +0100 Received: from hbdat3.is.ed.ac.uk (129.215.235.38) by hbdat3.is.ed.ac.uk (129.215.235.38) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2308.14; Thu, 7 Oct 2021 12:40:18 +0100 Received: from EUR02-AM5-obe.outbound.protection.outlook.com (104.47.4.58) by hbdat3.is.ed.ac.uk (129.215.235.38) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2308.14 via Frontend Transport; Thu, 7 Oct 2021 12:40:18 +0100 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=eovL55oL12yW+jq+2sz50Kz3gEvOo1Hjzh5VRuAExpwQj2Dvg26rQK5QNfQKSvFsPVOa9m39uE93JP+8tG7V2pB43xzxxQtICguAm2t3lxPnGSmaBuyZqj8ECSooSqM4l/k4TyrXy3VT6eHr3VOufetXM6/QdmzDuZZ9ey9/j4aTBQFj457uNIFsYsRb0CVt82NeHz2Bkhm94qgNdQldIiC9zKRbVgDUg1J6kjmiN+GP/Ra9TuBabmmQplN2KuRENSLHLU77D9B4pPQ5xUTHXtIttLeTnI6gzSVmjQmrM3xVRQoGnFZRS5HQxjdME3ptSskUzYbXo0Wqw4dgplw0lQ== 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=/QAEmCe5+cpWZN0yrrvEyjJdo5F9TVznkjzpkg49wwU=; b=NBQI5nJBJbMTnutDdGeyf8YO7icBhD9Ij3cyd8Mg1U5mKbi/i2SXkQ6VO3r2i9P2gp2gFgtYMn3v7zY8anJXA/ZwhRTU633ra2N2FjRI+IQ71UDhpyhR8K0Q/DIfpbFuc3Gle1RPRnC4lDh41tetcfVe1ssiwqzosF1WODYdpwJqGNZY5IsTWKUT+jnRjZ9HegyWS3r3U185Rnfl6fOFeeeL6P+n57BOXrReJpHIK0JAKHZgBez2psyaK4bni+3Ye8cKFDdlXJyKg9tg2gS+CTiwehwkEj2MjOJ/A97QVqAVbARm4BpA5qfkJXpygYoSh7qGf9RLcaQ+B7bOI2yGiQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=ed.ac.uk; dmarc=pass action=none header.from=ed.ac.uk; dkim=pass header.d=ed.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ed.ac.uk; s=selector1; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=/QAEmCe5+cpWZN0yrrvEyjJdo5F9TVznkjzpkg49wwU=; b=BQyqranKEWjYu9cnEPqA1HcmmTWwtaCTm3TrTLB5MISPkt2fGYTxJ3qeUKcNYRMbjyRgJiLcRNrNrui78VOcZ2xIrGP6pB05xCYVLWPZlZnWK2uCw9kOTFHqRd5jT+oFdKTqgMFyego+jqOxWE2xuNrR46kJJ98By5GiXPENWv1v9GAAWXAwtPAu8/53JT+QrwhzE34KGiyEkcu4n472hIfrAquwF8aPReidR0E6nhI0SCPcSxNxuf2kraDEnmAfW/DUHDiV2Pp+jrK+fYLYcD+jSeG8P1K9t7y5wyBM3Vs1wCDf57LJieFhej8fM4omSi8QPhQC3LdKrJ2VS0Sa/w== Received: from VI1PR05MB5456.eurprd05.prod.outlook.com (2603:10a6:803:94::11) by VI1PR0502MB4016.eurprd05.prod.outlook.com (2603:10a6:803:25::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4566.16; Thu, 7 Oct 2021 11:40:05 +0000 Received: from VI1PR05MB5456.eurprd05.prod.outlook.com ([fe80::64cb:bfbb:90f6:cd38]) by VI1PR05MB5456.eurprd05.prod.outlook.com ([fe80::64cb:bfbb:90f6:cd38%7]) with mapi id 15.20.4587.020; Thu, 7 Oct 2021 11:40:05 +0000 To: From: Sam Lindley Message-ID: Date: Thu, 7 Oct 2021 12:40:04 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-GB Content-Transfer-Encoding: quoted-printable X-ClientProxiedBy: LO4P123CA0365.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:18e::10) To VI1PR05MB5456.eurprd05.prod.outlook.com (2603:10a6:803:94::11) MIME-Version: 1.0 Received: from [192.168.1.99] (88.97.75.57) by LO4P123CA0365.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:18e::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.4566.16 via Frontend Transport; Thu, 7 Oct 2021 11:40:05 +0000 X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id: 4150be8a-7b2a-4fd3-d2d1-08d989873553 X-MS-TrafficTypeDiagnostic: VI1PR0502MB4016: X-Microsoft-Antispam-PRVS: X-MS-Oob-TLC-OOBClassifiers: OLM:5516; X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: U1pIrxKBUCrUDtYU7W47EAvdza3NFV8m56jjxVJbh6FHmMi1mLMUK6L8uu67j3+i5bIVkmw4Vvxcd44Pq82dYH6I4IznI5z8lYX7cvCV82Xi7maG3YZ1PzFw2r3jTYw/hcJ0igbkx5ilcjzhBgXBaMT10Sie8nh1E30ZNMIQc4X7pLAIaOAU+36NYWwSJwyG9AosQTkJUvzokEENaWNsI5fAeyzNENluWtJBAOskJ5S4ZGDDES9aivPt5sHVtosiFmYgeUAqElAsKggvYhVJiwQshIefVYEgl/8i3+5RezXqVmYkVwgcVKItvrcHkS81uII0lUVZybD9pt/GXWUBRzJTzK3EwYD9P0jAg8dYaw1fTa+48E0DhScPIWRzeQW8Qj/NTEM9XGCM4rxxogEyKALmwNPet1HDhzw0vLkVktXxZ10ozzbD0A3VsbnxCx1z+DSL3LkVPgwk49t3Dc1Zna8YtGTR2XwAm9zyJunQ5DWoowO7Wh6qPxRypX9RXz6jIWgffvAmu9ISaB6JDQmGNf4n6fmvuDB+5NyZA8GcsX1qj6iQ8JldqbWvKxqN1xOQ1qcXstZLYQ7LLbQy17p28VevX+VTElWqk+2rvnGDEs8m9o9t2tIkuwBcF7tRLBKzNfN6oM6LO6xvr5Pngyfm1JE7m5c8xj9DvIuOH0rcuyNLS9q2XClMQrR6Jb1xOE+fd7W4+XY8Q0V4uNY0hFsXipdfOTnT54ZHCX2tkhMTG3OzKsv0C8c2kOyaO3IqKDUeEcVptaNfVQB7HktYUB7hqv9834yxCNB6smA9AGDZlSzC8suooqAU99LKBiWCI2HdsWvo9HoeCyjLg1CNJQrlxsipqGcZ7YLQ7Fq43KhNxmo= X-Forefront-Antispam-Report: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:VI1PR05MB5456.eurprd05.prod.outlook.com;PTR:;CAT:NONE;SFS:(366004)(508600001)(38350700002)(38100700002)(966005)(6486002)(26005)(31696002)(52116002)(2616005)(956004)(6916009)(2906002)(186003)(66556008)(66476007)(66946007)(8676002)(8936002)(36756003)(86362001)(31686004)(83380400001)(5660300002)(316002)(786003)(16576012)(43740500002)(45980500001);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?bjBXYWFGTGljVDI1OE1POGhMY2FHVXFBMTBQNy9qOU1rTU5ITGZQaXRuZHND?= =?utf-8?B?eWtKMGxIaGFhTGNUYzFXeGlMc3h0NzZXSXJMdFpPbDhmeVRheG5zdktpdHIr?= =?utf-8?B?bUROWUJSWk5QeEZtaCtuamtlRlhZdUMrOEdDUEwxWDF6RWpLTWllNi9OZG1y?= =?utf-8?B?cExFM3puVmlXRDZreFRkVGFUeitiYm9aaE8zQmZiUkUwVTBQUkcxcVdIR2NL?= =?utf-8?B?OVJtUnJVOUZRWFZ6UTh0d0h0em1wUnlaY2FFK1BrWWgwNkJOTXdsV2d5dUxU?= =?utf-8?B?OExPNzN2TWlycFpocnBwS2JyMnJSU1d3anJlTG9WWThFMktGMDZBaHExRzd3?= =?utf-8?B?U0FwcTl6aW9NVnU5NnF4U3NpT3V4d0k3VXl6TkZuNzlUcVlZZFd4cmYrc2th?= =?utf-8?B?OUpDZ0c3MytkSWZGWVdlR1pGeVZXcDFET3lHMi9OZlBuaVBoV3hTNjNHV0FB?= =?utf-8?B?TzQvRUdlOXozT2Y0ekhHd3VRMEhkQkVrcmNBMUJLaDZRQlprSy82TzA3d3gx?= =?utf-8?B?ajdNQjg4K1lZVHY5aTAySHdDeVNZZ1llMWlsZ0RpaTNxZE1kZlZjb0RUVHZx?= =?utf-8?B?S0w2RHZCOStUVFErSG1MWXQzS1UxeXcyZThDYTBLem1sK051Wnp1SVo2Zmxa?= =?utf-8?B?RXdTTXl6VXc0cGp4V1hIK3dLVUltSVk1UytUSkl6clhNeGZkeDhwbmc2b2c3?= =?utf-8?B?bXNqUEE1TjMxQmg2T0Q5VUJoOHhkb0IvcTh4czBuK2gyaW04K2kxVlA3Z2ZL?= =?utf-8?B?c1NYMjRuell3MVlqZmJOQU5GOTBzdHdHMzBBMWgvV1ZvMEpteUZBTEp0NUZw?= =?utf-8?B?Z204cjdFeE9tendkc2h0bWswa3dvMWE4N2F4cDgwYlZYQlBlRkxTSWNUSGIx?= =?utf-8?B?Vk5pdWVoTkhLTVk1QzFtcGNQLzZIVXdrRVAwdjBVeEdxc0Vrd1FpYmk4ZGNS?= =?utf-8?B?bDdITzRuVFhiSnBOck15ZWRncVlONGNWbUd4U0FGZ2xnUk0reHVhUHliSHVJ?= =?utf-8?B?NUV5ZzhKWkxEZDJHakVzUGJLNHJkMkx1QUhMQzF2ajhLeDBpSlhjajNuejg5?= =?utf-8?B?L20vbHJYMG5HWWlSczVWRTZWMEo5VkgyaURFOTJNSkRsU3NuazhoL3N6Rnhs?= =?utf-8?B?U25OTzVRVDBoNmFXQjh6dGU3Wk5CMTVlMmRUdWhMV3NqN0k0WjNrUzlrdjJr?= =?utf-8?B?cXBlczNINTV1QlRVWWJyR0ZaUEkxc0lRWDR2YTZzTFNZcGNKN2NaNnZCRllN?= =?utf-8?B?UlNRUnVTVjVxVU5pVXp1R1lhSENHMVQzTDZFUEEyei9uTG10eC9OMmR3d2RY?= =?utf-8?B?YW1heVpXWDAyeExMcWJtZjVzVTlXTjFjMm9ScEdxU1Rmb2pYOGpPNVpxV1N1?= =?utf-8?B?WjhYb1h4WUhDbm50WFo3aUh0UThFZ1N6MmJBWUNodThKUnl4anFiOG11YVE4?= =?utf-8?B?L1hla1FkM2FGeTdHTFVJd3BmL2U3MFFSWGlTSVNXa2tVVW40bC8yT2pLMlZa?= =?utf-8?B?cFVkeHV0SWJua0hFUFdJVEQySFJ1UndCNThZaTlNV3hBaVltaHF2STRHVTZE?= =?utf-8?B?UkMwakJnQ0lUOW91ZkhHTmV0VnNLVUREaXlycDQxSWVuRzFack9YRDlnR0p2?= =?utf-8?B?TWJCbURaQ1ByUWtjY1J6NEMxcXpiQTEzeHAyS1UvSmdxK2JRSG8zREllN3lC?= =?utf-8?B?bUxzbkRMR1dhU2F1OVhxWkMvL2w4T3lFcTc1Zmp5N2pZejdrVnErNUg1bjgx?= =?utf-8?Q?z2o3dccOmoWA8GCdnCK3ib5k9FYStjcO1OEmBlT?= X-MS-Exchange-CrossTenant-Network-Message-Id: 4150be8a-7b2a-4fd3-d2d1-08d989873553 X-MS-Exchange-CrossTenant-AuthSource: VI1PR05MB5456.eurprd05.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 07 Oct 2021 11:40:05.8531 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 2e9f06b0-1669-4589-8789-10a06934dc61 X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: umNbmJfwJGY/2+3oNHfYEiMP4gdz2bFrC7WRz+hd/HZEWmB3VomXjjfY7u1GAdbNmC7y4stktUez6sct6w4jLA== X-MS-Exchange-Transport-CrossTenantHeadersStamped: VI1PR0502MB4016 X-OriginatorOrg: ed.ac.uk X-Edinburgh-Scanned: at loire.is.ed.ac.uk Subject: [Caml-list] post-doctoral research position - Effect Handler Oriented Programming - Edinburgh Reply-To: Sam Lindley X-Loop: caml-list@inria.fr X-Sequence: 18586 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Hi, I have an opening for a post-doctoral research position at The University of Edinburgh on Effect Handler Oriented Programming (EHOP) funded by a UKRI Future Leaders Fellowship. Candidates should have a background in programming languages with experience of functional programming, formal semantics, and type theory. Some experience with effect handlers and algebraic effects is desirable, but not essential. The role will involve theory (e.g. developing and reasoning about novel effect type systems and algebraic theories) and practice (e.g. designing, implementing, and evaluating implementations and applications of effect handlers), and ample opportunity to engage with our project partners. The position is for three years starting in February 2022. The EHOP project: https://effect-handlers.org/ Job application details: https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1= 001/job/2087/ If you are interested then feel free to contact me (application deadline: 1 November 2021). Sam The University of Edinburgh is a charitable body, registered in Scotland, w= ith registration number SC005336. Is e buidheann carthannais a th=E2=80=99 = ann an Oilthigh Dh=C3=B9n =C3=88ideann, cl=C3=A0raichte an Alba, =C3=A0irea= mh cl=C3=A0raidh SC005336.