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=0.1 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 32193 invoked from network); 1 Nov 2023 10:54:10 -0000 Received: from mail-me3aus01hn2228.outbound.protection.outlook.com (HELO AUS01-ME3-obe.outbound.protection.outlook.com) (52.100.209.228) by inbox.vuxu.org with ESMTPUTF8; 1 Nov 2023 10:54:10 -0000 ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=VZSjUJAzgLM34wXEi3Cb1OVdt+t4o4EcZXiXz+CqGJ85YReEh4BMJEy2dLf8XKHkUlhwO2dV7eeYXnsmYjYGA13eLAOXB5anyBBLt6KZ9pf9sHXywg22mUOzFMMkvkGRWYXXLVRFvfDvlDiUvJLiMUQpaxbphkWb/8eUNzOc5oHgdZRcmHwoWmk/XhW7p2nO7nHS2UHFhcZZ+Uhf8YEogTH2bjCexUri0cU38VDtEuOZAr3MWZDIC1ijTPL5pGYJAwSgUs70rrKGqHASfoq1gv4Pnwa4mZxqh4wsehr5XtuFPzPO/C32I51RdO8QWU5kpVkLROtpl00Fe9+triSuGQ== 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=+3aLygCuSsWZTKCvDAv6cMtjfh/gIkHszu4jCJT28dY=; b=F3+lEyDuPblAUpTxBlNHfrvCcabZAXeb6ksbPub9P2tNxQVsH0Hqw8E5+PQ8uHolbqUgns/O2VcweIrLD8kXGJYVj5HI/qYwv6CQICnP//zwiUJtqeNKyP0q0nohDKsMhuVKuzFbSfHbPGMT645zvNMqwoXrh1KKjvDkO40eHQudVFMzqIUjrxUvCxXgsUsfia6bFezgez9TJkUR+R787qqZuZ0l6jG4IBcZshWKwOvBDSS7FklpWpfvSd9Y4oaePe+e1tiHkUtY74SwnExCD+vv0aQ97MK9ktrPWo7oQwBbWXjUGkxOsWFGHNODGkrHI8z6DoRwkbIvk2ySRJyaOQ== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=pass (sender ip is 40.107.122.129) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cam.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=cam.ac.uk; dkim=fail (body hash did not verify) header.d=cam.ac.uk; 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=+3aLygCuSsWZTKCvDAv6cMtjfh/gIkHszu4jCJT28dY=; b=EDA6x48OW/1iR4+JiK9yqxhA+E2Rq78wnMR8x80ABJNMScWbPxliXHqrCMq/UWMXSnP/ktPGNCcVCD+O95XqR/GOmUZAFfPXdIBHo7WTifpDe56eOSgfdiH52RkkwAgIsIgkA25Ff2TOHJA+wbfPtifTDlygHEmy+mL1ik1fKF8ls5IDmtoovJCvjRNCEtJIle6BqdA5yGAPKizKCwh0YViBsLXxiQvMx708LYONBGWbfu0adEBDONiWBrqLlDM0lN2Mv/bTABbSK9j3GczOeGRsSTjXC1r/C4lyepKSZTJgGHrDIJ/LZ11ijjgkEa4fepH6UNP6e8KEhILpBE+jqQ== Received: from SmtpServer.Submit by SY0PR01MB9097 with Microsoft SMTP Server id 15.20.6954.19; Wed, 1 Nov 2023 10:54:06 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=j1QSmSW33wWpjkzBN5u874jNnruVIQq58452ijmPQTv77utZdN8j9uRaxDxpBFTgNokbicuqYWeUP1ffpQcuYDu7FtVzldfSr7HpEgL/Bpaq5R9ePPBprObVJ2Ny0MYjpAplwEtbvLvJVR/EI9gxqHN5oJny0XhEVQj470mlIcYM/rbVgDyCNwo3TRSlcIfYQw5KoeVAQJz4DbQrMIFoCUHAEpEhmWO+YvJcB42NLrqQ2USNWHB8bYvsel7mk2BgXxxU+XC7GrncefX5grf6cpoz83+S1V1pM7vawUzMnql9E0F8kTxKzvsRtevhTGyfP3Zxs1hXlSbLWpy0IUQpaw== 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=KthZ7M1OaYNYRuQ7Uxuro/aUPqU0/wZWa3pLjdLnSY0=; b=QtJg4SgBzTlG6wO9TtH0tm+JXzWbtkF8kU0UDmYhxionylqVaASHbJGdS6Y1Fw3oxhqcQA3MZg0NH/fhRuxqAhTZSQ4O8KSETJzERuCXd56snRttHMbQQooOP4MU19rcycrvH/3Vc590SVazCujBqCLuINVepX9mqiWDyRUVGDWVObzQI89fxMKqvnD0oF3MldVMnBcAZcCjEERWRXjycFLrtNRG0HuInRUd+pKA/rhQJqPd5Q5+/KenW34sTXRmdiGYq/xrMH9e53KlgYwHvS6uc6nnM85PzXSIzSnV0onjxDE8yrSMPHgonaxDmD2FVXLYwLM/CGhcjpFcQ7M9NQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 40.107.122.129) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cam.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=cam.ac.uk; dkim=fail (body hash did not verify) header.d=cam.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01MB8022.ausprd01.prod.outlook.com (2603:10c6:220:193::14) by SY0PR01MB9097.ausprd01.prod.outlook.com (2603:10c6:10:21f::21) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.19; Wed, 1 Nov 2023 10:54:01 +0000 Received: from SYCPR01MB3647.ausprd01.prod.outlook.com (2603:10c6:10:33::20) by ME3PR01MB8022.ausprd01.prod.outlook.com (2603:10c6:220:193::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.19; Wed, 1 Nov 2023 10:53:58 +0000 Received: from SYCPR01MB3647.ausprd01.prod.outlook.com ([fe80::3e86:4650:14d9:6591]) by SYCPR01MB3647.ausprd01.prod.outlook.com ([fe80::3e86:4650:14d9:6591%3]) with mapi id 15.20.6954.019; Wed, 1 Nov 2023 10:53:57 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=XR3zOTTKz9u2yIVvHEsOK6v2nywS/ocKO+yrbB+DD7l/r/vxWy6STXI68VGVkQVwtr1te2ctn2/cPZD2FB9XNqyPZnyyCiWhhMNlgVg7J6POteDmKKGjYEAXGevkdFapxiclXDd0mjCirny9uYnu1gy06TjQ51+lAk7o/lvwG34LnaeXuj+VmvlcxXpNWmx5AHuwQIHS7NT8y06468syt0U2napv+0guXxJMteNM0NuaK7f5YhsrM3n6zS66wtxpMmluauIndDUk1Rf9Y4nBOY+H5oSSGbzrgVTtORnFdzCDGOxPOafFNN99cJw6W7QFGvvojHDvmB/dCZcefkT0lA== 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=KthZ7M1OaYNYRuQ7Uxuro/aUPqU0/wZWa3pLjdLnSY0=; b=Yjl6V6srgj/DcBLVdUcbLURn9M5Sc1vQ3NoFjFHU2WARUMoG+YgDwUEToYNM/2gWih0uQtdLua/tLD6nkP0gRAJz/FPVldxvnrLorPaPsTDVK0IDbYO2QXypUqNpD0XET1UC5IUpklIUFWz4bupLPPv+x/RjDqZ+iXxRTa3mYJ/oys2mbRO/iXi54104eeqIgEiaU0U6R2AETqnf1Ic2zSyPrDhFmpmMQnCE5+G1L0KpAHZh1lbrRhz26jau2+uAyq9lBKiQWwNdezy4x+M2lOVApxH44eyOys/1V7dcqDjQQQ6iY3h+djOlFjKsW/5l4x9cOIwM5zqf9d4hBE6gWA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 40.107.122.129) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cam.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=cam.ac.uk; dkim=fail (body hash did not verify) header.d=cam.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P282CA0008.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:208::7) by SYBPR01MB5632.ausprd01.prod.outlook.com (2603:10c6:10:e4::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.19; Wed, 1 Nov 2023 10:34:33 +0000 Received: from ME3AUS01FT019.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:208:cafe::6a) by SY5P282CA0008.outlook.office365.com (2603:10c6:10:208::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.19 via Frontend Transport; Wed, 1 Nov 2023 10:34:33 +0000 Authentication-Results: spf=pass (sender IP is 40.107.122.129) smtp.mailfrom=cam.ac.uk; dkim=fail (body hash did not verify) header.d=cam.ac.uk;dmarc=pass action=none header.from=cam.ac.uk; Received-SPF: Pass (protection.outlook.com: domain of cam.ac.uk designates 40.107.122.129 as permitted sender) receiver=protection.outlook.com; client-ip=40.107.122.129; helo=GBR01-LO4-obe.outbound.protection.outlook.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.22) by ME3AUS01FT019.mail.protection.outlook.com (10.114.155.186) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.21 via Frontend Transport; Wed, 1 Nov 2023 10:34:31 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1698834870; 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=KthZ7M1OaYNYRuQ7Uxuro/aUPqU0/wZWa3pLjdLnSY0=; b=RawcvumnETvjaQWLNZBbeO84ljKgBgIRBBvX6/45RBjzGXwcAjznTdhIeAFpTW3pRjrZY4 3NF/jV7xT9CpRya8jTS0qDa2Uo08KVzW6Bs6f5JW6KonyTHOZt5oDXr2iVLdSHanC1e21H Hd0vPI+ReZSuU7H81QiYU3Sh16lcKL17tmah6BI0W59tzkVRl1Dey68YLYwM7FDxim1JJX 6io5hqpwgIBO3c0oTK9U868Axtn8F74FH4rIQsS4/fAgr5HYOyQyEkacJzAZ5X/8PqJT+F Wv74q4tAWVGhSZK+K5PqwPKL7nhJIMT2movx5grIPxGKEkqGxSRONlxsYLMmSQ== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1698834870; a=rsa-sha256; cv=pass; b=o3+w0Ty9FJdoYk3bLe6lwC2wyBKbUUkt590PZmICJyWuccgdPdVgZ33ddtxq8a2WHLWYXe x7a/eJrQ8p0Cd0TrkFLb1qv5gKhtn60+6bBrsVFIAXAiieXN2lKsgdGDhA8439QPQcSmTU 6phcdXpbY/RGyLXQJ28R9b+xo974gosw5R2pbv4DFQiuMjmu3lNZhvX+bRlylQmVC/DdFQ OfLcTR+gxFpZBwwt+DOG+qNpFI2fuWYr3R8v48YIDHPHeTceOAc5IFB1fbXmkJPy4M9c1R Eb4txuX3C5XrMKqL+nH2ABF9FAd9TCsWmyC2fRiAaumK7+MCeHnpz+Qw6mYLmA== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=cam.ac.uk header.s=selector2 header.b="WMWSn/Gs"; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=cam.ac.uk; spf=pass (relay.mimecast.com: domain of js2878@cam.ac.uk designates 40.107.122.129 as permitted sender) smtp.mailfrom=js2878@cam.ac.uk Received: from GBR01-LO4-obe.outbound.protection.outlook.com (mail-lo4gbr01on2129.outbound.protection.outlook.com [40.107.122.129]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-24-9gwajwnmPnOP8cVDIv3OGA-1; Wed, 01 Nov 2023 21:34:27 +1100 X-MC-Unique: 9gwajwnmPnOP8cVDIv3OGA-1 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=Q1RmhZCE/FOq/nDHkvVmnf8ENuFPiZuyBLdMqZcEKjFfJklFT6FfN4xPiE7tfqaU0/hCEVeOA4NmqH7u5EisInqHwgSEYU4pYTz13eNlyg6AEuVO7e70Z5lUps79VwycPzMvI9UnxPvczyslY05WSH8NV3XIG5TyDFWCsde8/oONNBujKlNV0FD/tFYplXMsLYckhQ18FC9HlFL2i+HWtU89XxL00k0USInLgU04PuYhyLjjlhbcm8zNZg5j1IxlnCjZzb1/fCCmDZZ+zwVAV8oLBKKQbL/lRTgyTsMjy5Qa8xSpGh+Ahek3k3dQ+sZ/xp5sAUEaEtjp2LYOqi/Bzw== 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=x6S0hBAMPNTsYCmrnEQq74xSfVgEWI4dB6ONnGiL8yQ=; b=Kpfl/SHCbWjvXQqfukbEmTxTSpihIhMDsr9GQFWGAto0Lh76HvSqeU2O0F4PnANnesAXoJuiMpZon5jbV95sMcJinwLA9jyr5FQDruJsnwNAtlJc3MGdiahGTxaJnGfsFuEBNYC/sg08dnYSPcSWZaEQrbTQgNuZrPwCkWL3ccog7VZPyeDAiQIUBw4X2Brxu1Svckg9EawlprRJm1MT+nOqe3HssdhLVhSMgVlWbvfPZMagcGx9Avx+m/uKJy4EYKv+l5GxuTLVzw1KKaLzqB6J2FJCu26zeln4InSJQoJo2EfcUSiSrTi4oW+cnHWJxOGVIJ6fDuA6xTcbGZzLmQ== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=cam.ac.uk; dmarc=pass action=none header.from=cam.ac.uk; dkim=pass header.d=cam.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cam.ac.uk; s=selector2; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=x6S0hBAMPNTsYCmrnEQq74xSfVgEWI4dB6ONnGiL8yQ=; b=WMWSn/GsTb0sm3UL4Y+l5qkdlvfzhto6NNz5NmTe1sQ1AaRTrNauy9aaVCTRORBjmrOLB+68Su36CC7FsewrVlL4YvVPButjIyLW45kp7EzSVDyWjE7+ZwL5BqMhjjFeF07JbirrR26DChRxSFt4J90qWY6dMvwZHhjvkjOIh3eMyeNaO1xZp9hBPvZ9V0A4gvKrqJgR5JaZmZ+7cBiOITI7npnCi4KMmT+ziFJRqwq15QTnKZy0OuZqu7ylmON4p+sH2o9nfaZJ1NwCuB4YBKhCT3P48zAB1ruRk9CTHqTwxl0CoJihS9yDRB+z4qW+jNjQAolB2V90iBnv77cXdg== Received: from CWLP265MB2260.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:6c::15) by CWLP265MB6974.GBRP265.PROD.OUTLOOK.COM (2603:10a6:400:200::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6933.29; Wed, 1 Nov 2023 10:34:23 +0000 Received: from CWLP265MB2260.GBRP265.PROD.OUTLOOK.COM ([fe80::da94:4569:848a:a8b9]) by CWLP265MB2260.GBRP265.PROD.OUTLOOK.COM ([fe80::da94:4569:848a:a8b9%4]) with mapi id 15.20.6933.029; Wed, 1 Nov 2023 10:34:23 +0000 From: Jonathan Sterling To: "categories@mq.edu.au" Subject: Postdoc in categorical semantics at Cambridge Thread-Topic: Postdoc in categorical semantics at Cambridge Thread-Index: AQHaDK767EF7/8XPP0mn7V1QgXY6cQ== Date: Wed, 1 Nov 2023 10:34:23 +0000 Message-ID: <3E4B238A-AF0C-49C7-BC8E-D3CEF9DA0322@cam.ac.uk> Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-traffictypediagnostic: CWLP265MB2260:EE_|CWLP265MB6974:EE_|ME3AUS01FT019:EE_|SYBPR01MB5632:EE_|ME3PR01MB8022:EE_|SY0PR01MB9097:EE_ X-MS-Office365-Filtering-Correlation-Id: 349ae4ac-496b-4d15-b4a5-08dbdac62220 X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: dll1EOADtE6LlyMPDT/hR2u8IIpwRtPJ4G3rcQxLFHFHD84VCg9jhOVk0DvBQyQqEIp/6nTV/HVNtXiowAOKvdGzKHBPrj0GYfpN13QYzgqv+8vR3WpuaJZXfrTFF2IN1dyAwEulXr0IpadbD03my3bNRIU7QFJ0a5cMYQLdyyg+K6gQK4jIhR2keqnTjnuMV17x0BGlyvX9l1GDh8wKFWdIf8I5NCn4yeon7h+ALr+WMZlHkBt0lJ0X6mw2T3mkb6eiBa4yn2S+btVF5jMSsArAbOZN+l6h66Legx9RbMjpVWKqBF7ABokHGLSUxhbODafyKUUZE/GYINyLE5dHYbpjqEnxz9qUgcA4QF2kIDfqbVtuU1IOQycf2FiWEPDfLamwY39wGIq9Bi+5IwLJu9AmhKtf0NN2Y9dfNFbXUXpI+KKfTXcGyd9LiCKnHgXDk+S2hW8QY6Juws1Fa8iXomy6uGGua3xt5TOXG+JUJH9TWdKlW88DCylKoeIopRKDN2fnLfcLg5bZUkKJ7Pem7wSIYjcAPz9B/ypeuQrDDrxuM5MjVDx5axWhprIVyGLLB4v3vUcivrQyfnilTBgGVaF2P1L6Wm/p02Xs2cOyOsF2nkQnK4EtigHkYknCaFhnhYllha32rYIdHbX/qVydFQ== X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:CWLP265MB2260.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(366004)(346002)(396003)(136003)(39860400002)(376002)(230922051799003)(451199024)(1800799009)(186009)(64100799003)(71200400001)(86362001)(2906002)(6486002)(478600001)(966005)(2616005)(26005)(166002)(38070700009)(38100700002)(36756003)(83380400001)(122000001)(33656002)(6512007)(6506007)(66476007)(64756008)(66556008)(91956017)(41300700001)(786003)(66446008)(316002)(66946007)(296002)(6916009)(76116006)(8936002)(5660300002)(8676002)(45980500001);DIR:OUT;SFP:1102 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: CWLP265MB6974 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=cam.ac.uk header.s=selector2 header.b="WMWSn/Gs"; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=cam.ac.uk; spf=pass (relay.mimecast.com: domain of js2878@cam.ac.uk designates 40.107.122.129 as permitted sender) smtp.mailfrom=js2878@cam.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-Language: en-US Content-Type: multipart/alternative; boundary="_000_3E4B238AAF0C49C7BC8ED3CEF9DA0322camacuk_" Return-Path: bounces+SRS=r/kQ3=GO@mq.edu.au X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[40.107.122.129];domain=GBR01-LO4-obe.outbound.protection.outlook.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[40.107.122.129];domain=GBR01-LO4-obe.outbound.protection.outlook.com X-MS-Exchange-Transport-CrossTenantHeadersStripped: ME3AUS01FT019.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 9c891404-3bf2-4e53-1c0e-08dbdac61d5b X-Moderation-Data: 11/1/2023 10:53:55 AM 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: =?Windows-1252?Q?HbbkYbR7TvCGV2rkfLqIpIYtaVXfTHNf6XxtpWFSXBV/27e43lz+E1M7?= =?Windows-1252?Q?ZjdE/uT2pEXTU88DxW5xtSLNPhK1Kbc+vzqsHV8hFzIPKr+sdfnG2hgP?= =?Windows-1252?Q?5AffW8WfUYoeIdAJxMUjBC+ieTxrOSKIInUw46obGCdrBfMaoPeQ1EG9?= =?Windows-1252?Q?YSsKCrbWVDWWyxE02EOQD5QUP5r1h9vnqHmu7/jaEnYPU3OIWrM9u41Q?= =?Windows-1252?Q?AHDLt96NEWjDsPv+MSY4/IB7nBN0xMP+uZepe3GgfefuGTr5qQOqwGOE?= =?Windows-1252?Q?sreHFsNV6/xm4OP7FljzEnVDHGBmmF1FkWk0eXooGBHpIJv+pGIYlsi9?= =?Windows-1252?Q?e8Z8VT/J6jwoVWTtIG+NMIcPCz4Jx78Mk8KvJW4VAw1/xSGuINhsbMFC?= =?Windows-1252?Q?2tUGK06O+T2P9cRrDQqMuDHkd5bhQMcAW8gkaMQspYrb+y8fZ6I70GOQ?= =?Windows-1252?Q?Q2W+PrZwb29+bm0JUfZVq4hweGCxqCbllR+Y8D/75eP9LtDhhxAPgB7W?= =?Windows-1252?Q?n6Q09fDwjOkY0xTdiVMJuk9xG2SUQWeAbm2PeKTTKzWbhcCo4ZXyDcVT?= =?Windows-1252?Q?qhi5Kd1YacWtfUsx9XbU8rWY89Nj9xFJMnMYMeLHvPrjm8tyNKO0REHz?= =?Windows-1252?Q?v3VXcPCg/nR16d9KLDwnzX6UkzEoRNDmlDbySUZM8pnsMrSI/lBk2riz?= =?Windows-1252?Q?sZ5/a6qLRYPMztsNALd97zfS6zmWpituDGZS0QM0p3+jr/LzCnMnBazD?= =?Windows-1252?Q?/FTbak4g8/7PpmK6BrvBynxp06NI2yL+MXwPkYrF2pOclen/HxfZu3Zw?= =?Windows-1252?Q?HUkSLo7GTYwipTD9V5XoPAnkAA3bkYRREkg82UNp+sk/9RwcEYKTs4li?= =?Windows-1252?Q?YOEDFV+/x+VXnW8S3AS+OizI4Fu9fp4pnwcUxdNrjcdVrdtVknu8/aBJ?= =?Windows-1252?Q?aj5ADKPccO+8APUaMmso9S/+HGZ+IaeL9sij334YSteGQlLWaW2F5GxA?= =?Windows-1252?Q?VozaRJN/FmqA4QY23J3ts+xMeqGOvQ=3D=3D?= X-Forefront-Antispam-Report: CIP:103.96.22.22;CTRY:GB;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:GBR01-LO4-obe.outbound.protection.outlook.com;PTR:mail-lo4gbr01on2129.outbound.protection.outlook.com;CAT:NONE;SFS:(13230031)(4636009)(376002)(396003)(346002)(39860400002)(136003)(61400799006)(48200799006)(451199024)(8000799017)(82310400011)(64100799003)(40470700004)(7366002)(7416002)(6862004)(7406005)(7336002)(5660300002)(7276002)(41300700001)(8936002)(8676002)(68406010)(786003)(41110700001)(70586007)(316002)(6486002)(966005)(498600001)(2906002)(76576003)(88732003)(89122003)(40480700001)(40460700003)(35950700001)(6512007)(33656002)(83380400001)(82740400003)(32650700002)(7636003)(86362001)(36756003)(6506007)(166002)(26005)(45080400002)(32820700001)(336012)(2616005)(32850700003)(156005)(17680700008)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 349ae4ac-496b-4d15-b4a5-08dbdac62220 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT019.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 01 Nov 2023 10:53:57.8496 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 8C0AF6QQUMgQd1pKjUAAWm4jPun/a1mfNweieAdw3MR1mGdyFeQF2Id3Zs4P2A8UL3EnTgoV1yChN7mHT2RuH/LepLqncE/BO0WgWR8Oy/xMwGiPh6wTCKUgBlDZdCVLJv47WdE077nMfmaJ6F57plrJ3kb/xNh2vf/nnjG9qjZQ+aiVr6B7reu8ZyctQkWI X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY0PR01MB9097 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: <3E4B238A-AF0C-49C7-BC8E-D3CEF9DA0322@cam.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: =?Windows-1252?Q?YBDDG7W4TdhIOvGaLGHU4jJInizDLEKar1teH/jV0Da5aAyebLroHpIe?= =?Windows-1252?Q?K8fwL6yKpUvxrhGJQ8vVR0C4XGhlfTda6X4TxU/8xulg5CzHrprMV4ks?= =?Windows-1252?Q?oUHFwh8vipCMt4Awo6Su2Qxwc1ECmS9i+CeEWO7T3SsHU6WdBt2GUWXY?= =?Windows-1252?Q?TGKyklfLlSx189YbLyhI0VQFJIgwoVX4GRK48thB7PMVHfzoRirvdE3P?= =?Windows-1252?Q?H+1NU4dw4R/8rfjoTXLOprC/GRYlTG/gaheFxpuLkCnhV6Sdbrpvnvze?= =?Windows-1252?Q?Xd7o5oau0d0m7V6cEs7VAf+EZKArGN7EpIjlZG3BDgPuTsBV56v/NZ15?= =?Windows-1252?Q?N3aBAvpPdIzNlEp+QrRRdUCmv9muKXruRekff5D8BZs0w4LHaqXg4ku1?= =?Windows-1252?Q?6QISstd/5WyoxC2xYE8jBcxnU0EJSO06KlNcp5rlMR1gwh7WZ2eFny2Z?= =?Windows-1252?Q?3HipdcYF2vyCcAtPJ6SFZd5rK0iP/XHLFnTX4X0PNDUWgq3XrlGw0Pes?= =?Windows-1252?Q?TqZTdXOXhTpE1UqObMBv1XDaovxjibzHdbVUb8fY3Vwd4p2w5YX+G4cv?= =?Windows-1252?Q?p3vdFcGaeMdCPn1QT6E8tRWGKB0C1wD4wER/9JbFD8ol9Cghl5rAVlp1?= =?Windows-1252?Q?chLMloDORNbTK7NbIgkRp//LvXG+5sjZfuo9KDv9hYcNy51bZd/DYpRG?= =?Windows-1252?Q?BlcggQZTUx+rJTASmZD4LcgocRiG0g2LUOngI0guID3sGhWz2a6ije8X?= =?Windows-1252?Q?gboTdjQHk4neaYKRjCKrLAAFGWQKTKYUfRQ3ArByGsT2LPYChzKq2NUh?= =?Windows-1252?Q?Idl+R/yV5hGyqHHm+5m8SClxm2gndTTzcQ9sgdJR1XYNMbazhI+C7BoP?= =?Windows-1252?Q?hWaeYTlSXhdS+2RvP9mY7Ur8c7WYYpECpETIXDIWbYyPv1i4c1esjRgZ?= =?Windows-1252?Q?E16GvVje8i3takzN3xm59MN8OjQ8oel3umuGA2j7VAANcqAtJadJs1nH?= =?Windows-1252?Q?RxylWQiUK0Z3DYRrBTlG65v4sbKYCxVTLEY2nrlX0OM/0cT0fH3hGGFk?= =?Windows-1252?Q?3kE6iNk2eAK+O7epD2HNSgjIuZQ3vfsWFIgE4CfAjZQSrYh534tf4B/4?= =?Windows-1252?Q?5BnAGOXcqMDPOxPMNQTdQD/UYESc14jlsMDg6ZtabtufLOupApUPiBcF?= =?Windows-1252?Q?bUAR7TWlg5ZNz8clRRw7EBk5IiXwJXJvYwDTitMd3XHB8Ewq3qAdxxod?= =?Windows-1252?Q?DLgS+Cmu5OrRalra+03yY8RCj+F5DJPTSzQT4/69wYZxAmKHVj74/JuX?= =?Windows-1252?Q?CsomHWCj+sjSO6JNtYbM/7N2qsq3fDb6F6Do7AdtSxTSVdlf?= X-OriginatorOrg: mq.edu.au --_000_3E4B238AAF0C49C7BC8ED3CEF9DA0322camacuk_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Dear colleagues, I am hiring a postdoctoral researcher to work with me in the Department of = Computer Science and Technology at the University of Cambridge. Candidates = with expertise in category theory, homotopy type theory, domain theory and/= or the denotational semantics of programming languages are especially encou= raged to apply. The New Spaces for Denotational Semantics project aims to develop an axioma= tic framework for higher-dimensional program semantics with applications to= concurrency, using recent advances in category theory, type theory, domain= theory, and the polarised structure of computational effects. The project = will focus initially on two-dimensional generalisations of call-by-push-val= ue, duploids, and resource modalities. Applicants are encouraged to apply as soon as possible; the posting is open= until November 28. Please contact me with any informal inquiries at js2878= @cl.cam.ac.uk, and see our official posting her= e: https://www.jobs.cam.ac.uk/job/43755/. More details about the pr= oject can be found on my web page: https://www.jonmsterling.com/jms-00AL.xm= l. Please feel free to forward this message to potential candidates. Best wishes, Jon 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 --_000_3E4B238AAF0C49C7BC8ED3CEF9DA0322camacuk_ Content-Type: text/html; charset=WINDOWS-1252 Content-ID: <9B42F9C6203A1D4792083A538F66C6AB@GBRP265.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable Dear colleagues,

I am hiring a postdoctoral researcher to work with me in the Departmen= t of Computer Science and Technology at the University of Cambridge. Candid= ates with expertise in category theory, homotopy type theory, domain theory= and/or the denotational semantics of programming languages are especially encouraged to apply.

The New Spaces for Denotational Semantics project aims to = develop an axiomatic framework for higher-dimensional program semantics wit= h applications to concurrency, using recent advances in category theory, ty= pe theory, domain theory, and the polarised structure of computational effects. The project will focus initially on tw= o-dimensional generalisations of call-by-push-value, duploids, and resource= modalities.

Applicants are encouraged to apply as soon as possible; the posting is= open until November 28. Please contact me with any informal inquiries at js2878@cl.cam.ac.uk, and see our= official posting here: https://www.jobs.cam.ac.uk/= job/43755/. More details about the project can be found on my web page: https://www.jonmster= ling.com/jms-00AL.xml.

Please feel free to forward this message to potential candidates.

Best wishes,
Jon
 
 
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
 
--_000_3E4B238AAF0C49C7BC8ED3CEF9DA0322camacuk_--