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=1.2 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,HTML_MESSAGE,NML_ADSP_CUSTOM_MED, RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2,T_KAM_HTML_FONT_INVALID autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 17457 invoked from network); 1 Nov 2023 21:06:35 -0000 Received: from mail-sy4aus01hn2233.outbound.protection.outlook.com (HELO AUS01-SY4-obe.outbound.protection.outlook.com) (52.100.199.233) by inbox.vuxu.org with ESMTPUTF8; 1 Nov 2023 21:06:35 -0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=GEBvWUDDPJQAqdRILrM7lUo0ykewU+m9eT6YeSiGkF0jujkjCmqgAY7F4Bev55D/Pt9tGBhaCGKXARX7uO0jpzHDkz+B7mNC/tcYRHJC//zrdcyvMozgl2zIcxuqw2cnPSRV+5cJyTlPpSRqKlsjjJEgHiOUpoQdBXeAhxqEnrSgoOForgNrqcaQUj/MXxqOBOIE0Nb2Y1KEVL5r01BTYmaPyDsvDKzbz3/z2TmH7ZSl2SxjoFwdqb4umfMvMTrsagK1XBcXy6YZfXZV60CUzTUrmVW3JCvi+/lim5gsgy5p2MIhYAdfTu/81O/8k45TM+y8khOXq9pCYpzPPR3Tvw== 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=5tKgGi0R1WywwQNOjR4RE7qNHKI3hucijkkLZkHvY3I=; b=D7oHvRfqmR+R7zvumF2APkds4sa0aOhBL+UJQxL4NzRRoREVqyyGtcpWj/o0ePUJ5eo/NdIONR6VIYy7c5RoJPSwGZEkYVxcakTY7TSETYsZRjVKAu3FKLVAU72LzE6AMw60pEg2QCNH0+9V3D3A5Ah5mlYqAllh/y095Et0qvlUp4Di5UJtoD9RAbaSy0O2Zxak0YaftOfRVTBqYUQcMOACfq3egqxH+rddoHQ/M6WboFoI1aIghu/zMoGPupXkmvTMQNZc24daNAth5AYkK+fICAjeR4KXdXtXH0vsyNa0LsOm0ggvyhDRTrU1pG1bUbXytDhX0P6PnNrUnOBaQg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.167.48) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.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=5tKgGi0R1WywwQNOjR4RE7qNHKI3hucijkkLZkHvY3I=; b=tQUZ+dizNeH8wT85iVprMJGqu5dC/3UC/moF0qyLF+16HAp64n/hWAX318OaV+IQHG9N8oIjooAGJuRPr+yPi3zT9qIKcaLgVKOr0ZZxgc6a5pZ2jclYnqxbUVFRgdSZCs83iwMiAcuTIx7tGvDDhi1bVtuDHbm1ek0QUQHSMzfFZ8h4mB82trG3qX3FCpxtlWVFXRdA6NJHRM4D27pGBdUJAtC4di9C6ec/Y203//sBtoYiN+ieUQBaI2KOJEp8u96LxcG6PPRW8+eKWqqCnxO3bLXZRV+yJN9V6sc8izdZ80/NJSaHoBA25Ms/b23T8snyLwyFpMBJuDRepCXpZQ== Received: from SmtpServer.Submit by SYBPR01MB6064 with Microsoft SMTP Server id 15.20.6954.19; Wed, 1 Nov 2023 21:06:31 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=JFElzMtMm13NxLdTjkNR4+xWhpbe3RWNK2iryjAMUE2/1EwHgORE6fXQbzK7dwHFSTE6U2Gbcdf2oXCBxtnFd7k3E3y5y87qOtPbr8R3PuXcCpH65MPP7UloMtuy1NKW4N4N3B3kSVLFWoGcrphqL0hxyQn4guzqRcKSySs8j+MkmAbS6A7+nVG83OibP6ERmMuMN5H9nO1K6cCFS5glMMQ/anSUbeckIpFyhkOwgVybHnmtZWpDKRNQADBFN/2ql8V0cb2DzyqDMOqt9xSLv66Jpx+0unD24HE0VZZ6PBKvezAqS/YLPWRpNfYk2WHpLVKlsGafmaJh7kTxkNp+ng== 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=wUyHPySQRjh0xfOnw5QvOXHeMYLR9u2Kdoxbe3k8Vog=; b=Z+beOM5HBMmDEsxRrAjzA0h6lfJaoVBciTF7kj2xNAqTjBby3a9PCs3Ap6BHBUQbBku48y46rQeJ/Es/H0J2E+KR+RDb5YQV2g8YVWdfpi2srILQEVSpefTGT4/XtVdVZOCxjRm0l3yFGHZITbn6ptooTFqVPQg1MCZG0amBnvME2Qkyq7/LVdClXWQvDe0t2cLD/L1lGB03u3dLFyKCN4UWqVreRWh4XQbMjQIfjRzUIptNmX0hCUDfuALMQkfgJgRljBDkrYjD3fWkp8IgRtoGDoC60Dc1K1iL+UW0X0VzkLJKezBlrBR+I260QrjNlglX1VasBPK212lINUolHg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.167.48) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from MEYPR01MB7398.ausprd01.prod.outlook.com (2603:10c6:220:161::22) by SYBPR01MB6064.ausprd01.prod.outlook.com (2603:10c6:10:97::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 21:06:24 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com (2603:10c6:220:16::20) by MEYPR01MB7398.ausprd01.prod.outlook.com (2603:10c6:220:161::22) 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 21:06:21 +0000 Received: from MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::5227:e1d2:c9d4:6646]) by MEAPR01MB4358.ausprd01.prod.outlook.com ([fe80::5227:e1d2:c9d4:6646%4]) with mapi id 15.20.6954.019; Wed, 1 Nov 2023 21:06:20 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=e2a4nEMKg8HdZbm1T7UDJOkwrdQH5GIaKPZ1nKPE4zGI+6ApPTW4XTv43CChc/o+KTPS6OcXAfouG6EqpZGjp5OuJuI00b6rUACjg/lSCWOM1izoltePid9KA0FyqkY4hoX8/nAfDNa/TtRs1hlYn7BfRk9unPe5pWPj+Loh23Bz9wc4yCBBJWNNI4ga3i5/IuraKf1wZMWqrE4jgLnc5DI6PotKQuN3tzcAb2l1GyW+RXKkWqn3HEHJKV8P1UvdQmzZO+yziIaCveNe/mxj6PiANg3fOqNL4WalTou7+GFhxGshUPj9KeEhS70lO9B2wtsZ0frxoyh2OZMGH1vYzA== 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=wUyHPySQRjh0xfOnw5QvOXHeMYLR9u2Kdoxbe3k8Vog=; b=OO+uy9wXUV28c4RQTc64sHDTebacYsoEAk3ns+Y9hPkvwfrn9o7CJDBxcumFLG1AZzTHdKJCLWlHIdSnb1DA4kYFTt94tVDjV/3j458jRnYpyEWSr3P9/mUbA0YW6lGhLyCrGhQmcfDXzpj3i4SfgeI6TvdBDdUx67CnTsr++ugrEfbfZ2dNBZ6yCsnAcA/se0XD5/h/F3GRlELD+xDc2dph2gw8Nu0Oyoq/3IoPrzZXMYcgyMEgCyOg+i+5JFPNU7pp2/2xPhLh9+OW0P4YB93CCvwlQJLS5aFGm3brHzkqPfK9stmLh9btugm8qhfcRU+1Me50BpmRyxxZckWldQ== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.167.48) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=gmail.com; dmarc=pass (p=none sp=quarantine pct=100) action=none header.from=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5P282CA0120.AUSP282.PROD.OUTLOOK.COM (2603:10c6:10:20b::19) by ME3PR01MB7159.ausprd01.prod.outlook.com (2603:10c6:220:16f::5) 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 17:22:05 +0000 Received: from SY4AUS01FT014.eop-AUS01.prod.protection.outlook.com (2603:10c6:10:20b:cafe::3) by SY5P282CA0120.outlook.office365.com (2603:10c6:10:20b::19) 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 17:22:05 +0000 Authentication-Results: spf=pass (sender IP is 209.85.167.48) smtp.mailfrom=gmail.com; dkim=fail (body hash did not verify) header.d=gmail.com;dmarc=pass action=none header.from=gmail.com; Received-SPF: Pass (protection.outlook.com: domain of gmail.com designates 209.85.167.48 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.167.48; helo=mail-lf1-f48.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.13.69.22) by SY4AUS01FT014.mail.protection.outlook.com (10.114.156.113) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.6954.21 via Frontend Transport; Wed, 1 Nov 2023 17:22:05 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1698859324; 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=wUyHPySQRjh0xfOnw5QvOXHeMYLR9u2Kdoxbe3k8Vog=; b=IXrYyFz786t/2iS17XBL73hJO7k61EePbOWA8Wl7TIY1oBfSMjmYsNcf2/aM6tuwffEYLR rf6IaW0p29tKvj8CcvdYtx0cdNn5IRmQt1X7LrvGB+cQWJQ26tAvzioYdBse2hr4lkeTg5 QG1vTV4cB43f4VEPF79/DOrWHdvI+PnDZ933lY2dy/93RXJf9qIwjVUggpNIXa+dg5Hzkt DiLThxukzwrGpbvp82/OyhZWRLdnRbzo38N1777C11waxKH0+A/P+PiqYM6y040zio5jQK wYa/G/BvtVE2bXqxlKm5JO5gJmrA+KzgeAhi6fGZh1Dx1cqVhm7NyDvPnk3alw== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1698859324; a=rsa-sha256; cv=none; b=kw+0YUvk+2H7ZKJjpEzR8PU8VeX1kImAToAcnebgU/f79xGJ1K5n8axnEZmJGO8FqJV9Rm HDLCFeZyaLtcSyFY5qrXOSWVMj96HI01vG1Gh+CDHC73/RqvsLyKiIbpAbVW5+xi6jjmx6 1J4xwwNAcVGh3EtM8aGZG6ZmOcwcRlb58ugAFnY2C1Ejv9IxQH/2KDrWhLC/qulHT3qMl5 AK2WtvewwshR9x7agAtdcPmA4WRHS8Wm1HA5Hb4ff0bgX8YAeALiSI83NysXAqOaxx2jpr Z3EWmtinZtJUhrVxwkFzJ1O0gDM6pfC2wrX34xp0YNiM8IbddupogccFwPXokQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=UIle41qw; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of harshbeohar@gmail.com designates 209.85.167.48 as permitted sender) smtp.mailfrom=harshbeohar@gmail.com Received: from mail-lf1-f48.google.com (mail-lf1-f48.google.com [209.85.167.48]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-111-tfHYnnARPyyOhnWPEfw5sg-1; Thu, 02 Nov 2023 04:20:12 +1100 X-MC-Unique: tfHYnnARPyyOhnWPEfw5sg-1 Received: by mail-lf1-f48.google.com with SMTP id 2adb3069b0e04-5094727fa67so90074e87.3 for ; Wed, 01 Nov 2023 10:20:12 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1698859209; x=1699464009; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=uH54dInRFWLIqf/uemrXu3tRxdR/zloPvuH4xWJDG64=; b=UIle41qw5LAw3icIQ/dwMPvRbRZNf0JLwHKiCyqPeRI12qn5fB6qZiPaQC+gR2xTmP q+aMnsI4OL0sXywEEcsJXAOiCdoujmRY7e6GANfLKbIkdAllZ+5nHMqJjn8ygoJp2oJT ZG8HkwukY9EKpU0iWRZTmfd5uvPtzvVM1OOx2ShHicvDixp+tjgyczNOEdc+gn0YSw7t ONTktplrP04DmRjp9H7acKXcI5mC8KoaIey77fP6YhZusvvqGXSgzWuvLd56I4WNU1pH bBA5qnIcDYbbP+8hJgfzidGt92mj6UjzUy+q1GKfwPqYEbD1HTq3q5Mcm1IhYmComaSY HHtg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1698859209; x=1699464009; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=uH54dInRFWLIqf/uemrXu3tRxdR/zloPvuH4xWJDG64=; b=C5MGtHkFZeOuqchrHHOJIKHIh9pckcQxeZxlhGa5DSeOdhD2D7wMIFAIVIlcyDoT2n twsOGmIHjiJKI0+iRla4HbgvdYwg/myV+5d/dnf4zcJ8xX9cD5qFle83PDLnnUIIB7x9 yIOU4AsjHAotMRQgG3KSSjMhUZOa5+gjocDvra3dAFqYUsEsTLYjEc45nNHeSP4eQIW4 q6w9H3QjDct8rRdzpzXnyWadmVSFBMSZfJ34i9J9e11d0m0e8vwO3m6uASjnCuvSzvym bcz3aDqq4JBvdH55MJEtYCsJtjhJH5t2gK54Lep332BZCR/6tDYOOcXMIepR1olRhADj vy3w== X-Gm-Message-State: AOJu0YyFaBdIgBjHlXYCNHqZTpvb1Ms3eDmwru4fcx0pE1n9ZqcqVYRs moFdivKWuvJAadim09QvgCAELvBiQ9IaeTfMB7j2PVhVtmM= X-Google-Smtp-Source: AGHT+IFhcGScIMsoUAM0zEbRq1VpN1TX71BSG35BS5katrLwiFDag9yMOFMWkDePdd07XpNXm1L7kVufdsjV3YfhqZY= X-Received: by 2002:a05:6512:4026:b0:507:a16d:cf55 with SMTP id br38-20020a056512402600b00507a16dcf55mr15870703lfb.68.1698859209046; Wed, 01 Nov 2023 10:20:09 -0700 (PDT) MIME-Version: 1.0 From: Harsh Beohar Date: Wed, 1 Nov 2023 17:19:58 +0000 Message-ID: Subject: Six Fully-funded PhD Positions in Theoretical Computer Science at University of Sheffield To: Harsh Beohar Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=UIle41qw; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of harshbeohar@gmail.com designates 209.85.167.48 as permitted sender) smtp.mailfrom=harshbeohar@gmail.com 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="000000000000adc05806091a7bb6" Return-Path: <> X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.167.48];domain=mail-lf1-f48.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.167.48];domain=mail-lf1-f48.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY4AUS01FT014:EE_|ME3PR01MB7159:EE_|MEYPR01MB7398:EE_|SYBPR01MB6064:EE_ X-MS-Office365-Filtering-Correlation-Id: 2e9f9ac5-c722-4f1a-aa6f-08dbdaff11a9 X-Moderation-Data: 11/1/2023 9:06:20 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: ygwqc5zrT9MpT+9Y0WIJpfV2tCN+N9YBxDeJxKnOErSM+d2Ro5GfNwS7yM/TrGykTbsiYVCyXA1+FlnptAMrnRzuJM+oOYcyinwu4VYHKnCsQGgIfMLbqKnD1LFPFLPqow821/3m2AaNAwDU99P+jC+V/il8kzekO3TK1+QPPClj4ENspAni6vq9725VSfCyYryfLdv0KYa02J1Pey+Jon1gLwhwGM3KgcTB/qTRJUGpPfAMo04Gqji92TKOehCaXAmltUGLvhxMetrVBqjk+Ip1/ym2Opso1yvkacRtgKb0Dp/gXH88jaWat9wgFmJjXnE7FoN5kYH/P5Uv9NKiicZFQ0PosJF8gtQ/pIQQzkqSo6GWOyLYJbEM7Qkq5pJU9LYaz0hbaMSU8jSJWoqWdvrcegQ6SEVYrbJSJsXqQKKAIXxrkvGT69ntrtqMKC1lBy5NgwKmGX8kVHk9TdeWYsJvxQq3qqVZRTBOkFPVdOWBut1pCNeq/dS0Mmd+brUb0t/bd1rTSm+jrCc9H3BcgUrY0PPyDPh7x95hQbA+SNujP+UZo2ivgKeJoGzJxta8D0p0xiT9X9EnyOvjeECvR9hKrr5oW3dsPb8yJxQbBnZ2nBVhG61LFZwTlWtYgw5fhisOxgC9SD3e4E4DAm91AAd5qKWqH7jOAOdo+4cS+VrqedErJeaZqogfLCli7/R779SxpgKb3CfIaAdwr/us6IllXGWejxvPhT7I/cG95V696dRJSM35GgCsfjCWYyRX4w75ncwCDI1diT+r5l7AsxQPT3IdzHpVoFzTMM+/Msdxdri4DpcIGToTU3RQWGsA2WXG68dd/DFhFVoh4fpW8eHEq7xl2PLVw5OYSjsSkvhPE23iXNoYaWQBYTr2f53sqaeEA369Id75ITmhpWyLL/ikZUr7Dt22w5OyRJEMVgk= X-Forefront-Antispam-Report: CIP:103.13.69.22;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-lf1-f48.google.com;PTR:mail-lf1-f48.google.com;CAT:NONE;SFS:(13230031)(4636009)(136003)(346002)(396003)(376002)(39860400002)(451199024)(8000799017)(64100799003)(1800799009)(82310400011)(48200799006)(40470700004)(40480700001)(41110700001)(26005)(55446002)(40460700003)(82202003)(7636003)(166002)(32850700003)(7596003)(82740400003)(86362001)(156005)(73392003)(7406005)(7336002)(5660300002)(89122003)(7366002)(7276002)(88732003)(7416002)(83380400001)(33964004)(498600001)(8936002)(32650700002)(35950700001)(316002)(6666004)(336012)(6862004)(42186006)(76576003)(2906002)(8676002)(68406010)(41300700001)(76482006)(786003)(70586007)(966005)(41080700001)(41090700016);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 2e9f9ac5-c722-4f1a-aa6f-08dbdaff11a9 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: 01 Nov 2023 21:06:20.8273 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: vluJlwy7DCq6NnKFbDFn9J0/4WaQgw2JthnlVDWD7yFykzZHxX66wOlBZ7QpeovLhDW6/+8V6SmzrKcuIuDg8xJYyKGVizGHdBDWXDRQZw5vK2CdpRw2boHzXe1tsGmR4wrBsC7FE9pQCEPg90ezx6GFcE4tPD5TIWH8DSn0itx+03Ix5WZU/qYPHRRaMV1N X-MS-Exchange-Transport-CrossTenantHeadersStamped: SYBPR01MB6064 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: 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?ZHRrbnRTd1RwZUJsT0RzaE00NlAzUjVEeFJKMFRHM3YzYUFaaDdmdjB1TWZQ?= =?utf-8?B?R2x1NWd4NkYzRmM3MERMWkM1Z2Q0dDFHQzllWEw4YW9tUllXU3YzMFRlbXJl?= =?utf-8?B?bVpQRlhsSVF6dVZBclM2Z2sxWm42ZjJyNThwa3VleHBVVjZFbjE0c3J0UXZa?= =?utf-8?B?cm5XeW1NczRXa1JJOTRlRUQzK2pIekhyOUIybGVGTFAxWFEyNFhiNXVPT0Vu?= =?utf-8?B?ZDlCZTYrditKOU5ZeS9iOTZOVUM0NWpOaXZzeGRKZTIxS01Xdk5MYy96WE9I?= =?utf-8?B?b1Z3eXpONmhPZ09uUlgxTjR6VGMxQVc4dDVZbXFtNEtSVFFNUVgyUkt4KzRq?= =?utf-8?B?WEVoYTFNL0dGN2tjaFUzR1BZcUZtbkVDR25tblJVZ1AwZFkxZVF1NjYzQ0Rm?= =?utf-8?B?cmFkM2pnM05taDdLaEdhUWNYN3ZIZ3ZvUGNMT2lmVWRyUDB6czRlWmVESWR1?= =?utf-8?B?N2ErUHJCc0JzZ3VCNStzMkVURC9hb1hZbWhOT21ESUtaMHltVVpiRnAzbDMz?= =?utf-8?B?TCtHQlh5bDN0WGFWYkx5SWRzaDF2K2JWZDFNWUlmUjVjclRGb0lTL2dUMmpE?= =?utf-8?B?eE1TVGVRbTFmUGs0Wkw5aU1qNlpUdDIvcDU0SGY0Qi9VTTFlaVRvenNkVXFG?= =?utf-8?B?ckNUNW5BK0hvamw5RHNxallqcHdlNHhvWUd5OGMzUjVhWG1YWU1zS3F3ZjBq?= =?utf-8?B?SDdQRUtRa3RKcXduSmNZMXMzTnJObDdpaENwak94R2l6ekJHN1J6NE9iMUZt?= =?utf-8?B?eHI3R3VIcEtKTEhKeTRHYXhyQ0dhVDBxd1JzNE5rR2pHUkt0ZzFNMnlKNUxN?= =?utf-8?B?eUx3Tm50THh3blprcERyREVNekM0c2xSWEZVQlZoZXBFaTYxVE9HU2VYWWho?= =?utf-8?B?NjNmajFLRW02Y2JMNlVzT20zT01aVUc5bjg3TnZGc1dpMHZlekNLc1czd21h?= =?utf-8?B?NWpqTGFOZ1h4bGNibVFsS2w4WWxMUE1VV09jaVJYOFdGZ2xnbXF4ZUEzbmxi?= =?utf-8?B?ZXM5c0RkT28rRmsxeTVtR1pPM2RlQmpDY2cyZXFmeG5KaDlwOVlIblJhSm13?= =?utf-8?B?NHJOOXp4b3ovdlh4am9UdXNIcVlSdk1XOTh2c2Q1dUUzQnd0amtkL0NIdGZ0?= =?utf-8?B?bDQxV1ZYb05DYmJERC94ZDVQUHRYckpQVCs5VEt3ZGwrU1NvczNTbFRsTTgv?= =?utf-8?B?c3VTTmJWK3ZkTjU0bjQwMmxuV3ZGWjRCT01nd1VIbTdybkhwTnlUcVNXd2Uw?= =?utf-8?B?RWhXbnh0WllvUThVViszVUx2V0N2MkdYSVRXZFJDc0M1UWJZc1NxNmJDckd2?= =?utf-8?B?V1UyRkZOSVlCaFo0S1dsbmx0bHFVbHhCR3pOK3VTMlk2K3k5Sk45bVNzSnRM?= =?utf-8?B?OW8xK1VJOEx3bkRraHRtWUg2Qkw0RWJua3grVlFkamt3cndFWmpMWEh6dnpu?= =?utf-8?B?Tk9IMGVlRHgvTmdLVTcxM2prdUl0Z0VpNk1JMzlpdXNhT1JDMW1iK3dWVUhY?= =?utf-8?B?N0VsVEk2bERtMXRQd1RqekVMNllXM2lnL25ZL2V5OG02Znk2dSszUHE1Y01j?= =?utf-8?B?WkJqWjlzbUVZL2hRRkFUdFpkU2xrVDZyRTFHdkZucjFhaG9MUDErcUVyV3Zp?= =?utf-8?B?V3cxRVdRMTZ5Sll5Q1lwSWs3UjEwbENMU09HeDNIMGR3eEJhODRnTnVZLzUr?= =?utf-8?B?MDZRaHp2d0dNUEZIVzIra05SMTNkSUJ0alZFTkxFZHhmeDNRWkxYRDk1WGRm?= =?utf-8?B?Vm5Kc1JnNmFaWlM1ZHlPUDlpOTM3eGdzRkw2MzVodUpJdFIvdkJnd1Bpa0o4?= =?utf-8?B?VTJ5eVAvc2RLOWZPRC90cVhjYzk4VWU5ZHE2TDB6VWF4LzlvYzc3V3pUKzEv?= =?utf-8?B?TW03aDFSTzZZZHFzWmhSQ1FUaUd5Q1lOdGtEZ2Myd2xVbXdUdUFSU2g4NWV6?= =?utf-8?Q?MM3NYvXTXdDFp1QDFn4Ss1dEhEiuPoN2?= X-OriginatorOrg: mq.edu.au --000000000000adc05806091a7bb6 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable The Foundation of Computation (FOX) group at the University of Sheffield, U= K invites applications for up to six fully-funded PhD positions to work in = the area of theoretical computer science. https://www.sheffield.ac.uk/dcs/research/groups/foundations-computation The Foundation of Computation Group at Sheffield is one of the largest of i= ts kind in the UK. The city of Sheffield is one of the major cities in the = UK, yet 60% of it is green space. It=E2=80=99s a city that=E2=80=99s safe, = affordable, creative and welcoming. Living here, one gets a vibrant big cit= y feel as well as the space and adventure of the Peak District National Par= k which is (almost) on the doorstep: https://www.sheffield.ac.uk/sheffield-guide/quick-guide The PhD positions are fully funded and also come with travel funding. We ar= e looking for motivated students preferably with experience in one or more = of the following topics: discrete mathematics, linear algebra, probability = theory, and fundamentals of theoretical computer science, including algorit= hms, complexity, and logic. Specific research areas that the group has expertise in include: * Algorithms (incl. efficient, parameterised, approximation, randomised= , linear programs, streaming, dynamic, and data structures) * Computational complexity (incl. parameterised complexity, hardness of= approximation, average-case complexity, fine-grained complexity) * Logics in CS (incl. finite model theory, descriptive complexity, sema= ntics & category theory, quantitative & probabilistic, temporal & modal, lo= gic of random structures) * Graph theory & finite combinatorics The PhD positions will be supervised by the following member of the FOX gro= up: Dr. Harsh Beohar is broadly interested in comparative concurrency semantics= and in the interplay of category theory, logic, and semantics. Current top= ics include expressive modal logics, behavioural equivalence games, synthes= ising distinguishing/characteristic formulae all at the level of coalgebras= . See https://dblp.org/pid/13/7482.html for an up-to-date list of publicat= ions. Dr. Andreas Emil Feldmann=E2=80=99s research interests lie in combinatorial= optimization and revolves around parameterized approximation algorithms fo= r problems in network design and clustering. https://sites.google.com/site/aefeldmann/home Dr. Charles Grellois is mainly interested in the verification of functional= programs, would they be deterministic or probabilistic; mixing therefore t= echniques from verification with techniques originating from semantics. https://www.sheffield.ac.uk/dcs/people/academic/charles-grellois Dr Joachim Spoerhase=E2=80=99s research interests lie in approximation algo= rithms for problems arising in clustering, network design, and geometric op= timisation as well as the hardness of designing such algorithms. https://www.sheffield.ac.uk/dcs/people/academic/joachim-spoerhase Dr. Jonni Virtema=E2=80=99s research focuses on the complexity and expressi= vity of quantitative and probabilistics logics, and temporal logics for so-= called hyperproperties, which have applications in information flow and sec= urity. A further emerging topic is to study foundations of neural networks = using the machinery of logics and complexity theory related to numerical da= ta. See http://www.virtema.fi/ for further details. Dr. Maksim Zhukovskii is interested in combinatorics, probability, complexi= ty, and logic. Currently Maksim is working on a variety of topics including= extremal and probabilistic combinatorics, average-case complexity, random = walks, logical limit laws. See https://www.maksimzhukovskii.com/ for the list of publications. Documents you should submit when applying: * Cover letter indicating your research interests, * CV, and * One recommendation letter. We encourage you to name one or more members whom you would like to work wi= th, or research areas you would like to work on Please send your application and enquiries to theory-recruitment-group@shef= field.ac.uk Soft deadline: 30th of November 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 --000000000000adc05806091a7bb6 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
The Foundation of Computation (FOX) group at the University of Sheffield, UK invites applica= tions for up to six fully-funded PhD positions to work in the area of theor= etical computer science.

= https://www.sh= effield.ac.uk/dcs/research/groups/foundations-computation


= The Foundation of Computation Group at Sheffield is one of the largest of its = kind in the UK. The city of Sheffield is one of the major cities in the UK,= yet 60% of it is green space. It=E2=80=99s a city that=E2=80=99s safe, aff= ordable, creative and welcoming. Living here, one gets a vibrant big city feel as well as the space and adventure of the Pea= k District National Park which is (almost) on the doorstep:

= https://www.sh= effield.ac.uk/sheffield-guide/quick-guide


= The PhD positions are fully funded and also come with travel funding. We are l= ooking for motivated students preferably with experience in one or more of = the following topics: discrete mathematics, linear algebra, probability the= ory, and fundamentals of theoretical computer science, including algorithms, complexity, and logic.


= Specific research areas that the group has expertise in include:

  • Algorithms (incl. efficient, parameterised, approximation, randomised, linear programs, streaming, dynamic, and data s= tructures)

  • Computational complexity (incl. parameterised complexity, hardness of approximation, average-case complexity, fine-grain= ed complexity)

  • Logics in CS (incl. finite model theory, descriptive complexity, semantics & category theory, quantitat= ive & probabilistic, temporal & modal, logic of random structures)<= /span>

  • Graph theory & finite combinatorics


= The PhD positions will be supervised by the following member of the FOX group:=


= Dr. Harsh Beohar is broadly interested in comparative concurrency semantics an= d in the interplay of category theory, logic, and semantics. Current topics= include expressive modal logics, behavioural equivalence games, synthesisi= ng distinguishing/characteristic formulae all at the level of coalgebras. See https://dblp.org/pid/13/7482.html= for an up-to-date list of publications.


= Dr. Andreas Emil Feldmann=E2=80=99s research interests lie in combinatorial op= timization and revolves around parameterized approximation algorithms for p= roblems in network design and clustering.

= https://sites= .google.com/site/aefeldmann/home


= Dr. Charles Grellois is mainly interested in the verification of functional pr= ograms, would they be deterministic or probabilistic; mixing therefore tech= niques from verification with techniques originating from semantics.=

= https://www.sh= effield.ac.uk/dcs/people/academic/charles-grellois


= Dr Joachim Spoerhase=E2=80=99s research interests lie in approximation algori= thms for problems arising in clustering, network design, and geometric opti= misation as well as the hardness of designing such algorithms.

= https://www.sh= effield.ac.uk/dcs/people/academic/joachim-spoerhase


= Dr. Jonni Virtema=E2=80=99s research focuses on the complexity and expressivit= y of quantitative and probabilistics logics, and temporal logics for so-cal= led hyperproperties, which have applications in information flow and securi= ty. A further emerging topic is to study foundations of neural networks using the machinery of logics and complexit= y theory related to numerical data. See http://www.v= irtema.fi/ for further details.


= Dr. Maksim Zhukovskii is interested in combinatorics, probability, complexity,= and logic. Currently Maksim is working on a variety of topics including ex= tremal and probabilistic combinatorics, average-case complexity, random wal= ks, logical limit laws. See h= ttps://www.maksimzhukovskii.com/ for the list of publications.


= Documents you should submit when applying:

  • Cover letter indicating your research interests,

  • CV, and

  • One recommendation letter.

= We encourage you to name one or more members whom you would like to work with= , or research areas you would like to work on


= Please send your application and enquiries to t= heory-recruitment-group@sheffield.ac.uk


= Soft deadline: 30th of November

 
 
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
 
--000000000000adc05806091a7bb6--