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, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 13785 invoked from network); 15 Nov 2023 20:50:51 -0000 Received: from mail-sy4aus01rlnn2057.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (40.95.63.57) by inbox.vuxu.org with ESMTPUTF8; 15 Nov 2023 20:50:51 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=iZ/XdkOvHfp8bNHhtfJ+xRHhy7BcV0j+ElaaYBOjqtE601d7RO98tF2z9AKw7yOEdLH0r9hONaFVyY2MGov5w9BkykzkyaUnPSuHOp3Geh5OPd018GHEYIwi089ngOoUEB4ohsdYss1wKMaQHJwkLmx4j0f9elRF1fxqKADRBNL/+2ANPr/EmUjG0vjlQxI2O+If4J25DvqwSufntUv+5yff5o4RDAPqKHzfdoSsTOOYaUqgZqfIeBq39V0ZM6Wbj9cct3vS2K+BL2OEkM388mLtucoF3x/zZ/4b0J9lgjOMAQdC4iauE2fzj4rPeXKm8hiz06Lv0GQizXdXoayNlw== 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=Rh4awTAi/zPwFBGBek2mOuIiK5iInW/C218wRQnBtHk=; b=ebioAi3cc2w+0mUquucegH5Wvv3ws7EMJ6dD146Vam+ky8q4fdSh8i172eYFjRQXSf2K2Ec2t3kRmdwCzFO2IaAv6l2Anoydo8ihqfkx7gRVaeCDYGcRVBNlG9VP6P/kdUJmo19hnZ53+vg1YRp8xJzs5gTOkkM/GKWmQc0fWgE5k3A5A0rM3GnwMh13OdBPIkuSbG7GhPkGXfiUEKC0NB4+VJEKLTQP8AN9dNyVu5BwQiHov7I/VBLt7lOIicXx39xOfnXm4n/CkqJNQm+/rc+y0/3SvlolNpghg3KepzEVg7BYDM/jwtVARkSLVe0b/K65rpAVGW/YJPbgUu431A== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=softfail (sender ip is 104.47.85.41) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=sussex.ac.uk; dmarc=fail (p=none sp=none pct=100) action=none header.from=sussex.ac.uk; dkim=fail (signature did not verify) header.d=sussex.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=Rh4awTAi/zPwFBGBek2mOuIiK5iInW/C218wRQnBtHk=; b=WSwDu+a1fDz59t+v2OZy/t3RYz6I9OWM8HOaZwOyNDgspm7GWYcf6k6McfGmIMN/tI+tQCJ8WP690Ldll/ceAh8/zDWhvrlrHot9//NWlN+XAQPLGbRfYGgJRmP2jpw7fauch1UHG0MuKk2U9SdMVDwd9hArIKb4Nf77WW7vx0mHMRgG2X/8ORlOiyCD2vrjsMkdcRw3CNImm9c4juw58JXN15CNdRX/Svz2SkHiVnHXYZBg2jUbgQdSg3uEFJyUL8Sioh5kMw/AAYXxHe/RdvpvZIcls7lEpbTZ8zr+SqFgCU4HmqEKPnnd+WMzCZUUEWHWrtKEItClK87oNYRJzA== Received: from SmtpServer.Submit by ME3PR01MB6418 with Microsoft SMTP Server id 15.20.7002.20; Wed, 15 Nov 2023 20:50:48 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=FzWN+rug5O2fKM4/DvClQVLUMEE8/O0ndu5GjC7VLl8a2SgY8eoRa0FAhqHeyrHtuQPaOA6whZseiQKXBdIRANIO8ryGbCJeYvYmysCxlYPqleQPefJvfFFcn+KZQAq3bRv7ZtwlnsDdJX3G9pgc/MfPOxqEB8Ky8QMzMRkWXenFTam7w8bS83KnB2U0Pi6U9SI+iCr96oVEAsdtwlR/XiugRZzxrs+rT5hcfObQ7vqAeeJlLHziJ/CxY9FyBHm+TIH/UvLIIVlHF/4ELzwZqXk3qOHTbc83NcfvU+gZ8MS7y3oWy9mQIJcpxrLjAo7+WPIK0KCNh6rNSL2T3HK2tg== 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=uf79pLed1zlokYuceeJ7YBLUV4iPN6on1jzB2/AZlcg=; b=ko/oPEjmObf6zZnsU/QyFjIV8tyd83kns01MPhQKGeeFVON0XXKFq2++80aYobCwiUTq9yH20fZkfvgPZGJ8AlEpyrsLMsH+m+PgKuhyJsMMX4RzDO7ON6uRD/1PqueXDRPYLLVxvmbfo/9+6YwPNurxnTtJXzFR1c7OBkyODJMaC5c4GOx7z3YkajUw/Cr0jefusZeqjJhdJwIfLPX36Xg8XD4L80NYiMDnowhyPXa2SgEWTUNMt7D7P2LN7DfRrtAcD2fWw/9UR9Qe1qnU+gq+T7aGoaDsGx7SUGSqGPCW5AYbgj9IE0LxVu2wyQu4HOwMzLEV/JjlJilWcO9TzQ== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=softfail (sender ip is 104.47.85.41) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=sussex.ac.uk; dmarc=fail (p=none sp=none pct=100) action=none header.from=sussex.ac.uk; dkim=fail (signature did not verify) header.d=sussex.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01MB6400.ausprd01.prod.outlook.com (2603:10c6:10:100::5) by ME3PR01MB6418.ausprd01.prod.outlook.com (2603:10c6:220:105::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.20; Wed, 15 Nov 2023 20:50:43 +0000 Received: from SY4PR01MB8050.ausprd01.prod.outlook.com (2603:10c6:10:1c1::14) by SYBPR01MB6400.ausprd01.prod.outlook.com (2603:10c6:10:100::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.20; Wed, 15 Nov 2023 20:50:39 +0000 Received: from SY4PR01MB8050.ausprd01.prod.outlook.com ([fe80::64cf:b0eb:a004:dfec]) by SY4PR01MB8050.ausprd01.prod.outlook.com ([fe80::64cf:b0eb:a004:dfec%3]) with mapi id 15.20.7002.021; Wed, 15 Nov 2023 20:50:39 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=LrpDJNsFcDiv+KhiV3eAc7HyFqoCdZCk6+qerou/zFj8q6nxCmYovAkezyuuxdsrN9N0dPaJRwYop3/L5fOvdjtU+rwBtKQLHwQsQ9LwBZAHmMZXoMT+4Jn2427Z1hhpjrlT5bXpgPjnqmuRQjJx2vg1ddjVXA4Nt/6dQ+B3ByUUm6zvJbhq+92GJzpWkId7d+H3yZw62WwIG9Zz+nKBTwhg7ctgakOfO8/pj9HzlB/XQ4x/q4VPLFUwOZAcpP98uGfj1/j8vW7CwdlXNfJqRMDWteon4/uVb3SqL714u5K9vum+87dl37K1sxh3S+NzvNaXWTYfpDM86M+O32kZfg== ARC-Message-Signature: i=2; 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=uf79pLed1zlokYuceeJ7YBLUV4iPN6on1jzB2/AZlcg=; b=WmKAbVKuTnOXm2VfJNjQmORFYWIPCDg+XbMknaXayLP0CWbnuc9hy4Gtbh+VipC6G+MhJxdPiTALDS917wWl/Y1Rv4kOcLOc4QT44I3oyg5LHw+6jhFkfiLL1z6G8Bf/Opo/H/u8OP/nyacbK9DXXPthPpXP8T9bDM0sqmkItW9CLL9yBjHjn5mOT9nlcWHfBpfZzdZ4eYL+WYEkJmoUvJwVfRGOtScPkjqbwmwO7G+vLESgRN4RsB7awQHBnd45U7IXjUI/MQGluG0CpAid5N5JyTtgN2hl7tAO4ftk929YJn8UGcn7N6EOtrwhfZ/EwhAh0ZbBN8Ttk3D22SS22g== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=softfail (sender ip is 104.47.85.41) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=sussex.ac.uk; dmarc=fail (p=none sp=none pct=100) action=none header.from=sussex.ac.uk; dkim=fail (signature did not verify) header.d=sussex.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from ME3PR01CA0030.ausprd01.prod.outlook.com (2603:10c6:220:19f::13) by SY6PR01MB8267.ausprd01.prod.outlook.com (2603:10c6:10:1d6::11) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.17; Wed, 15 Nov 2023 12:29:46 +0000 Received: from ME3AUS01FT017.eop-AUS01.prod.protection.outlook.com (2603:10c6:220:19f:cafe::c3) by ME3PR01CA0030.outlook.office365.com (2603:10c6:220:19f::13) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.17 via Frontend Transport; Wed, 15 Nov 2023 12:29:46 +0000 Authentication-Results: spf=softfail (sender IP is 104.47.85.41) smtp.mailfrom=sussex.ac.uk; dkim=fail (signature did not verify) header.d=sussex.ac.uk;dmarc=fail action=none header.from=sussex.ac.uk; Received-SPF: SoftFail (protection.outlook.com: domain of transitioning sussex.ac.uk discourages use of 104.47.85.41 as permitted sender) Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.101) by ME3AUS01FT017.mail.protection.outlook.com (10.114.155.161) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.18 via Frontend Transport; Wed, 15 Nov 2023 12:29:44 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1700051384; 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=uf79pLed1zlokYuceeJ7YBLUV4iPN6on1jzB2/AZlcg=; b=qrr0YWewES9ZVTeVqXuaoYmzUeNFprkdFGkJcq/aEOVwFJBJ7gv5nZllHq9DxN/2KiwU6+ qXIAYsXaPQYKxcaiSArcUZq9QxtQKpQqSiXRhc6wQd4RqA7eKOGuTiMYDdtjmquUtqda1p bZzYGss20KnlQlRwWaWUSXipgB4HkFisly5hit4lXsANiVSXgnh7XgUZ1Ro5ApBK/tS3JP wWjylyIpvF3lxyL7tRMCdp5cEMnUml/4DJpAbDROMQLQosV0RGw9+QYXJCsHsxRj/xWpqp pRbPO0gAPdc4TienWNixxAu1IrzJyj6rdjOdeOaKPdboc8QqBMRMfa6jYixTnQ== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1700051384; a=rsa-sha256; cv=none; b=IjHPhZRTWHd4aF8Re8w1ePV3kB4phFQUqkPnDlOlT6IfJkDhuykdhzLk5RGcI3rWDza3Qb XXkLv2a8XEIl4pp9bjgIuwwJE2zixui9D7EyzIQI7M5+B68ESde3jF2rX3Ny80BXNLbpWf FeTcWFNtgWUywJze0BgsJx461/xR4XtEu+MCzJXSxWf+yUo5dP4Kw5gY4JXpt56nzLFYgj YKX+LybfDctkJWh7H5Z8+j+KLkiAIiHpmp4xAh5OxJcrYHCu6M9a1OMwy6snsgc2/tXybl YTeV9wrMeh8oVWcbIr8g+E0Gnv2j3tVt4Uzk3LLn04VMUbQoMZt2bcYYT1j0mg== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=sussex.ac.uk header.s=mimecast20190531 header.b="l4Mnx/JA"; dmarc=pass (policy=none) header.from=sussex.ac.uk; spf=pass (relay.mimecast.com: domain of bernhard@sussex.ac.uk designates 185.58.86.173 as permitted sender) smtp.mailfrom=bernhard@sussex.ac.uk Received: from eu-smtp-delivery-173.mimecast.com (eu-smtp-delivery-173.mimecast.com [185.58.86.173]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-77-HGHRN4JqPdaxhCLt7bs8Og-1; Wed, 15 Nov 2023 23:29:39 +1100 X-MC-Unique: HGHRN4JqPdaxhCLt7bs8Og-1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sussex.ac.uk; s=mimecast20190531; t=1700051376; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=FJOC4gYJGDsb6xnUzbMx1F+8BbCpV1mn8+hhULbtXoQ=; b=l4Mnx/JA2qnhyzgRedQUzEuYGgn77nTf/+p2ym4X2r8fpTnwTzAJkGFUIwGBC1cjZvOzdu vrwZDvjG98p7N5MTuy9TNvbzJYDmrB4zExOP3Blm8KSo5aiU6srjJ7ymncI0kW1vKD6YMQ 5TjInMO+m4F9VBJ539Khq33XK3gSLWU= Received: from GBR01-CWX-obe.outbound.protection.outlook.com (mail-cwxgbr01lp2041.outbound.protection.outlook.com [104.47.85.41]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id uk-mta-267-RsLzxvdsO1Sm6J90KkJ6NQ-1; Wed, 15 Nov 2023 12:29:33 +0000 X-MC-Unique: RsLzxvdsO1Sm6J90KkJ6NQ-1 Received: from CWLP302MB0299.GBRP302.PROD.OUTLOOK.COM (2603:10a6:400:225::6) by LO0P302MB0115.GBRP302.PROD.OUTLOOK.COM (2603:10a6:600:367::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7002.18; Wed, 15 Nov 2023 12:29:32 +0000 Received: from CWLP302MB0299.GBRP302.PROD.OUTLOOK.COM ([fe80::1f24:7412:cbe4:ddb4]) by CWLP302MB0299.GBRP302.PROD.OUTLOOK.COM ([fe80::1f24:7412:cbe4:ddb4%4]) with mapi id 15.20.7002.019; Wed, 15 Nov 2023 12:29:32 +0000 From: Bernhard Reus To: "types-announce@lists.seas.upenn.edu" , "categories@mq.edu.au" , "logic@math.uni-bonn.de" Subject: Lectureships available at Sussex University Thread-Topic: Lectureships available at Sussex University Thread-Index: AQHaF79icqbcVQj5eE6ssuMhWE3MZw== Date: Wed, 15 Nov 2023 12:29:32 +0000 Message-ID: <751A1BA8-3962-474E-9DCD-BFA30AB309C3@sussex.ac.uk> Accept-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-mailer: Apple Mail (2.3654.120.0.1.13) x-ms-traffictypediagnostic: CWLP302MB0299:EE_|LO0P302MB0115:EE_|ME3AUS01FT017:EE_|SY6PR01MB8267:EE_|SYBPR01MB6400:EE_|ME3PR01MB6418:EE_ X-MS-Office365-Filtering-Correlation-Id: e3de5879-f9c4-47e2-5cfd-08dbe5d68c8d X-MS-Exchange-SenderADCheck: 2 X-MS-Exchange-AntiSpam-Relay: 1 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: V/rIAkhcF7Qd6z8h5082Px3k3szF5aOaG6bMiY0wqIvCfksPAw/cGaN+OnglcS4kj5IX/JNDKTYOBtgWk0mzx3F5njQtzlJJ9LjfJEHraGeiHi3BMEcLrAlb8Bam4TRXqPc4Ft9/kY2eeyCze8m2oWdNB/O8Ro6qxhlvRvpTBC1mO4vTnKMMQXRbX1sNEBkkFQKAxi/xpizNK4Hax77q1rdwwnjBgwycPu2hSKPLYMwzcgfO0b6zOaAjHD4B4+5h/mMR+fcckp2XjAgR94jNh7xtOcX6oGBSgGGtLXl2P87Ji3ll+eaeah4diFkbytLG8WPernhKB7g8aeWRGqSQILN+dzam4wm8fFSi0tMQH2rgikgp5vjWDzuvh3L3EPiA7zlJ8I8CE23/RaU8/M7TJd0c6htFOuLDwghBBJwrPJZAfIXZvURKxU3pt52SjsOnl1Ejp/NepqjlPvSuFngBIrQT4yLKNHGrnUwT+D+gtnba/YcBG+Ks3HdDlx+rNLObm49UlG+8xlCQbXI9LVCX0BqQFGBlgHn05amWlk1O4gwR37BD9Bhpi8EMuX0MahCtRjXaflEkrBNNWV7ms0raAkkT5lHLOpjk5/AKxSb7fIUqy6lsA/wawF4qyfKcB7MsNHbqk6Onb9eF0gRtu/pCFQ== X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:CWLP302MB0299.GBRP302.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(346002)(39860400002)(396003)(136003)(366004)(376002)(230922051799003)(64100799003)(186009)(1800799009)(451199024)(478600001)(6486002)(966005)(26005)(2616005)(316002)(64756008)(66476007)(91956017)(786003)(83380400001)(66556008)(76116006)(66446008)(66946007)(6512007)(6506007)(8676002)(8936002)(71200400001)(110136005)(5660300002)(38100700002)(66899024)(41300700001)(122000001)(33656002)(41320700001)(2906002)(38070700009)(36756003)(86362001)(45980500001);DIR:OUT;SFP:1102 MIME-Version: 1.0 X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P302MB0115 X-Mimecast-Originator: sussex.ac.uk Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=sussex.ac.uk header.s=mimecast20190531 header.b="l4Mnx/JA"; dmarc=pass (policy=none) header.from=sussex.ac.uk; spf=pass (relay.mimecast.com: domain of bernhard@sussex.ac.uk designates 185.58.86.173 as permitted sender) smtp.mailfrom=bernhard@sussex.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=_12311152329410231" Return-Path: <> X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[104.47.85.41];domain=GBR01-CWX-obe.outbound.protection.outlook.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[104.47.85.41];domain=GBR01-CWX-obe.outbound.protection.outlook.com X-MS-Exchange-Transport-CrossTenantHeadersStripped: ME3AUS01FT017.eop-AUS01.prod.protection.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: 8ca65b83-42e6-4855-0136-08dbe5d68514 X-Moderation-Data: 11/15/2023 8:50:38 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: eMazRedhzMXbo0xSoOehBvymnDqWS73DjYzwtFoPwlOE3+Q6OuVth/RbHsJhaVO2vJf3xlDJVCi4IbARA3nHvQrkDNMAO2MSggk7dESImk41LqenYT3EFKyQlTkI2LbzDDsVI/VZSn60y54xYUQF5JdhLkowcoPg6Z1ctbnN3qD0roF7zPrNTQHqeUNqQ9XqfFNzbNvNESx6HEp2CTCnV55gfJffRHW0+m6GKDFEd9HFoanQqInBfQ2dxXPUf17nycBsbbeHumvhtnUachiPCB5GGdSAy0Nl6KA8fOCKtMdTQxzl/Wfe4rMMOflEtz9LwTlwO8eL+gvdEYLclD7CmoKlmmi/lRdsxww9X+Ph/aAWPB8bsph+QjbveEXbp1YNij3fn4msKp4n99QjkRuE8ssBb39HMYTHr7PHBd0AtPVKg9XtEtKn1PTaUHVFqfBZg4Ue6LuGQO7wmn+DL3egTZe23dqx/WzlekC58YrI3p90a6J2jhbg3DyWu/+/n0rminSe4BXgJG8x1eRuBnvNLEoYYkqWbfO3CREAxIj08N0u7aD7L91CrqyppGm309H+8d3yVqb07R4wY9c2+G7t44MkAQro9wQ3LGA7pu6or3hs0BdHCpeIkGq1S28kvWkGO+F/hebHxmAImzx6ART9QgGEV/B037HDSDllE5haGf3umHaUYLXvdvXWKsyygmcwTt0AYx5++7S3M/1TjdOoD9EElN9PkJJMA+cd0WJyQjnT/xXAHFGrLIlon44VWFW40g+ZnyFeOLFQnUvGPBvhzK5Nc6Y+8OHS62IxaDtOs3I1T0QTGxTMLSYHDAXna8iWY1nPnuLI0Ytu+lGkjM8eOCIlcl/WaT4OkO65y6Zl9wnhchmIEXLVgINyulNPIoceoHal4gWYW5c4N/nTEdf19m/QrhyPpVooESeCAde1PfQYvCvKthhY+GCuQvYjwzQ0 X-Forefront-Antispam-Report: CIP:103.13.69.101;CTRY:GB;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:GBR01-CWX-obe.outbound.protection.outlook.com;PTR:mail-cwxgbr01lp2041.outbound.protection.outlook.com;CAT:NONE;SFS:(13230031)(4636009)(136003)(39860400002)(396003)(346002)(376002)(1800799009)(64100799003)(82310400011)(48200799006)(451199024)(8000799017)(40470700004)(786003)(316002)(2616005)(336012)(6506007)(41300700001)(82740400003)(70586007)(68406010)(110136005)(26005)(83380400001)(498600001)(45080400002)(8936002)(8676002)(40480700001)(89122003)(76576003)(6486002)(966005)(88732003)(6512007)(32650700002)(35950700001)(7276002)(7406005)(7416002)(7336002)(7366002)(32850700003)(66899024)(156005)(2906002)(40460700003)(166002)(7636003)(5660300002)(86362001)(33656002)(36756003)(41080700001)(45980500001);DIR:OUT;SFP:1022; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: e3de5879-f9c4-47e2-5cfd-08dbe5d68c8d X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ME3AUS01FT017.eop-AUS01.prod.protection.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 15 Nov 2023 20:50:39.6683 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: gf0Mm49ulVwML7UElpjZj7vlnGDi3kTfOXsFrcx1iIo4zCX7nAgWW6xQOuW5woMF/oq32kmkh6YW/ie1FmtjuAjWHEHi1evjLMgbPEYzbJfxOmejdzGvCCcebPJ6wOf6l5A9HCiY1HLMXrsbvHEXr0cBPchkNGtciMWnPF3W2Mk5rQctQ3RAEf2GNYKkgPLW X-MS-Exchange-Transport-CrossTenantHeadersStamped: ME3PR01MB6418 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: <751A1BA8-3962-474E-9DCD-BFA30AB309C3@sussex.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?p1A0E3Nhl7VKwNLB4B2qsLqpoSnDRjHWCR2XkHFiuVhGgbv4MtsTW/ZF?= =?Windows-1252?Q?mq7vK4nr3Eu8Asj8EpUobDnLktP1cXCpqPpBR/w8FigZ1DFbmpYIjQiI?= =?Windows-1252?Q?Xba8vCVNRV2cIZRaAXLIrW6V6UMqTnx7Z/+nwMv0T4BfPzBgcrk+lK1s?= =?Windows-1252?Q?PBQuwGa0UIUM2M4IOuwscXJKGvh81/6BxBUpvyFEW9gdDZA84TdMflGd?= =?Windows-1252?Q?yh54FW5c5Pag4ky0qiyHeFIwUEvutXCrKIhB2tRyFgljCFRYFuoft2K+?= =?Windows-1252?Q?kmhmzepWsVCJpPAWgQJPouzYQWuN6yPQOaqOpuP+HHO+0utQOtc3fnvV?= =?Windows-1252?Q?XZVl1vQZ+C9Bod9YDj4j+Qc9CLz/M1ZbOerxqbZpnIuPVleCejP88pZk?= =?Windows-1252?Q?QMR/95mXnPFNaL8NmzLKOq8okTn3myQeVGRVJ3Sed3V0FxiR3eLp2/t8?= =?Windows-1252?Q?nnkYIqGtijGpy9FnAXsKneld75hNSeTQ9WJbVUoIgZx1cVAdg81zTnzR?= =?Windows-1252?Q?Arzstri6v6hkbozR95oq2J2A5bfIJmY6+KsWR597wYWp2el6k+kXQhgz?= =?Windows-1252?Q?NdKeqFDG635Xl3KcsLXP+vZf5JQeCDoH9xw49r3Soai3SEIFbk+SKxuv?= =?Windows-1252?Q?AFCoO6dcm/edkFE+FU3Txj/j69h4oghfzf5eCpUaLgLt6S5HeVe8JyDR?= =?Windows-1252?Q?TG1hkk7Og6Mj5zQHzAEeiLiot4QqNi/Zas2SOBDhu8xtjIBKeHFPL8wi?= =?Windows-1252?Q?m9EFoKE5TUT5bbFJCW1vx/GbjbetDAhGJq2FiCoRiXcAwtuLlLElwA0t?= =?Windows-1252?Q?tz5d1J1Jj75k7f2NHfj9FEg8NETHBeMrFkai/TRESO4z0zpJxFjWgi4W?= =?Windows-1252?Q?CjULSGf6nq4z7X+jIDYWiTpJHg96qFddFCnedr7Qlko0kUlWdBkTY/mF?= =?Windows-1252?Q?OQcbhS8BBejDSYZ8CWg2gnOJN64m50Z9wUKJpZAsodtukp9YdJilb40u?= =?Windows-1252?Q?qbVyoNPfyxDZ3gKRb/L1R2Czo/GKhi2ixyYgQO1N0br1QGQqlG6SWVk6?= =?Windows-1252?Q?gamtwKaGuEN2h3RdJDkIbaSQjgPtWna94Y0ZqMDhmoGoLX1hil3JoL3b?= =?Windows-1252?Q?NHeQTFCmOkeA6NPdsKGYxO0q5WO2pxtl5kxBZhsSwmqmj/mBG6doS1yb?= =?Windows-1252?Q?O79+DV8swIyqey9xd4PgaVqpLWnGIBRBAYedL11l2d8GzzYzfrWo4dgK?= =?Windows-1252?Q?aMBY2PNH8lD2L4FbbrBokjLhR9+3ceuRubULoGdyTKagx4EjWbRc3xRk?= =?Windows-1252?Q?B83XdOnYHIZJTe2q9hehd49qhOzMYecYl63ZO/Cu6wZYpwZIxMJ3FMMW?= =?Windows-1252?Q?IgJ/VH19Sxj/DUOFEEA7CpdN39Xx6pvKsMm3EZaKYDls7rnUPHbRVUE8?= =?Windows-1252?Q?jbY7ssrB714gan+O+3R5tYaANgfG/jtuba2A2bdBDCjIhAb1tV3kxqs/?= =?Windows-1252?Q?uJN5ghWP0EAyZ7qN2tq070eiaTpdrKB6aeau3KpH0k4bR/Jx5hD7rIPg?= =?Windows-1252?Q?G6evij6TfzkEL6Nc?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12311152329410231 Content-Language: en-US Content-Type: text/plain; charset="Windows-1252" Content-ID: <67026059BEA59A469900780C9B950D71@GBRP302.PROD.OUTLOOK.COM> Content-Transfer-Encoding: quoted-printable Dear all, The Department of Informatics at the University of Sussex (UK) is advertisi= ng TWO positions, a Senior Lectureship in Computer Science (equivalent to Associate Professor) and a Lectureship in Computer Science (equivalent to Assistant Professor). Applications are welcome from academics with experience in any area of Comp= uter Science, including type theory, functional programming, term rewriting= , logic, quantum computing, and category theory. (Senior) Lecturers are expected to teach at undergraduate and postgraduate = level, and will be associated with one of our research groups: Artificial I= ntelligence, Creative Technology, and Foundations of Software Systems; the = latter being the natural home for Theoretical Computer Science, including t= he areas mentioned above. More details (including how to apply) can be found at: https://jobs.sussex.ac.uk/job/9a326c55-4f1c-48bd-8537-94ece0266f6f for the Senior Lectureship (closing date December 4th) and https://jobs.sussex.ac.uk/job/f77e4c01-ece7-42aa-b4ca-30192b0d814b for the Lectureship (with closing date December 14th). For informal inquiries contact the Head of Department, Ian Mackie (I.Mackie= @sussex.ac.uk), or the lead of the Foundations of Software Systems research= group, Bernhard Reus (bernhard@sussex.ac.uk). Best, Bernhard 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=_12311152329410231 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=WINDOWS-1252 Dear all,

The Department of Informatics at the University of Sussex (UK) is advertisi= ng TWO positions, a

Senior Lectureship in Computer Science (equivalent to Associate Professor) =

and a

Lectureship in Computer Science (equivalent to Assistant Professor).

Applications are welcome from academics with experience in any area of Comp= uter Science, including type theory, functional programming, term rewriting= , logic, quantum computing, and category theory.

(Senior) Lecturers are expected to teach at undergraduate and postgraduate = level, and will be associated with one of our research groups: Artificial I= ntelligence, Creative Technology, and Foundations of Software Systems; the = latter being the natural home for Theoretical Computer Science, including the areas mentioned above.

More details (including how to apply) can be found at:

https://jobs.sussex.ac.uk/job/9a326c55-4f1c-48bd-8537= -94ece0266f6f

for the Senior Lectureship (closing date December 4th) and

https://jobs.sussex.ac.uk/job/f77e4c01-ece7-42aa-b4ca= -30192b0d814b

for the Lectureship (with closing date December 14th).

For informal inquiries contact the Head of Department, Ian Mackie (I.Mackie= @sussex.ac.uk), or the lead of the Foundations of Software Systems research= group, Bernhard Reus (bernhard@sussex.ac.uk).

Best,
Bernhard
 
 
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=_12311152329410231--