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.5 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HTML_MESSAGE,HTTPS_HTTP_MISMATCH,RCVD_IN_MSPIKE_H2, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from SY2PR01CU004.outbound.protection.outlook.com (mail-australiaeastazon11021019.outbound.protection.outlook.com [52.101.150.19]) by inbox.vuxu.org (Postfix) with ESMTP id A10B623DEA for ; Fri, 15 Mar 2024 11:28:40 +0100 (CET) ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=QcT5rMuDZfjQvfrMLPjL1brvF8+Py15WzsogUWsl6OAiF7ClVjswNZR9l1vXQnTGu0Ug1J1p/Sq6C/BLRu9y5hxmOwIbx9qGbww6n+0wdTkasG+MlUylWTa7la1QdQ5JbnfpYu6mqfIOMpceTgQVCfIjvkBBGQe7OCN/nZe2h8gnqo3Iir3h5WbYu4IzRPLjNBjaqkBTMWyjkYxQ+I/weA3E4oSl8gP5Zah4Mzsdre0OqzhH1H9RqW4h0F908MzL6LkoKNI6kpPT5oMjAqY5AXnvAeEZIAoVSKidY6ljkwmjEsMq0ce2UPEFnn9yhoyYzEl/DQ0Q5GRy1auTt/HilQ== 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=IYg05A5cwnalvQWuiz1gTZUY5ugnYaeBj3HOOqn0SBA=; b=aUd4cJds+PvD7V4XUp7aqUoB1s7NYVGCd+KLlAeHdabFr7U+odqIvKuEzjD+grC1JCIEGg3enN4VduPkWnObz8Qzsr2y376LxrfC8OTcF+KKQMeoiv67eL0L9Z1F+a8dC50RwCF9ArdIl7w4JFEB98nO8Lg6fcywa1WpYP6feV+WDKwLFOLs9mMswiOLT8xazuLm6Or10xDv5topfgSpMirzAZcml+vMWnN2ekIowW7lodSwfDfB3YI2SvSIvAdVknKPo0P8YmmhtTta/MKMi096z1iFAbDFfpPjJwr+M3ZZP2mvYUb0SWSTY1Xq/CCfPViFJLJ1YcyoqqnTPAOigg== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=temperror (sender ip is 193.40.251.8) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ioc.ee; dmarc=none action=none header.from=cs.ioc.ee; dkim=fail (no key for signature) header.d=cs.ioc.ee; 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=IYg05A5cwnalvQWuiz1gTZUY5ugnYaeBj3HOOqn0SBA=; b=mNlfkJFHxkNgfXV7At7gcwbU3u/3l1Gs3gHfv4/BZd1s9sU0jCIZ6PaLQAcnY14FlfmmU7Vtma9MmKZWoVgbUq03BtCtTMCWOd5dvxGpklFd9XiuaHRq44DPh1SgNoojKNxdiTBIgcf3zqkU7m93MUDgnmO+wKG3CYiCruedkKTQ3AnoaOQGdApDFKmhimmfqjK8rrS6KKvQn+WL3uDuSzYLChFv/h8MTT9tDU51u31SKjaBU1RZN7l/qCT+Xsl0WDR0V9gdwVSaUIioAVNFrF/9BRKQgfhHsGICFBpnmobLjKSRJkHJBMy8w9/X3Ieebax00rdOUxz2bwZqVOOUtQ== Received: from SmtpServer.Submit by SY6PR01MB7590 with Microsoft SMTP Server id 15.20.7386.20; Fri, 15 Mar 2024 10:28:37 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=ERagUpS1SyhRncIWm3SMAXbBynus/6LqmR1QQ7VTtlEnmNzjc7FCwVY/Axn3s9YnUNB1W4ZQyFOCIHe41i2NeC5nM7sXaic0WPYAaSS24cU8i4/GuqRjfx3q7WcnW3MwyEcb5lFXJc8p8mtsQe2TCLx8JkBWnNnxsCOC82ViAb85C6cEs8Hqv3f8x5rRt6/wY69Fw8fHnmjZoXx+niew5JFuoaqVgky4Jz8a+cDeA/V+9qE8OgPy8vozM+gjIbdAms8vcgB4bvZcm/hPnuT/GS3x3AD3HOva8aLKPZWG9qVVOzS8nAPl1QK9trkG1y7vy+HM2X4lFJb5ulOqeGVVKw== 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=usudikO/0ZkBUMt+nwyGRJ7hSYCELMlzKo9T1lIGqRs=; b=H90yYlU3YzhmWN/qC9EEvIHT73w9HvlwDynk8y49rsyBoY0VW4ei/sVIE0mAlnC8lDKVSRbTdI51+3E5ZIZj3FhZDhN0BE9RMsaz/tN899UdtdPuCBrLmT9sfhLZmgoaDDuQKpUVgNCSWeXiTN/wLzz+2N08LkYWz6/xRisfP1rT/m9DcAll+02rGtURF65bhIgCdsrK1Gd3WBHhu2Z4v3dk6AyPJexlp8Fj5BoMJEOJEA2bkEHTk1J7pvHgUuSTxuSmQlK4uRCyIrxcweUO6soBBK9X4n2j19f86BfUo2d1/TnB+NUgOvb48GNsCnTjPa6Tm5tH25dSDr2MWDA73Q== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=temperror (sender ip is 193.40.251.8) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ioc.ee; dmarc=none action=none header.from=cs.ioc.ee; dkim=fail (no key for signature) header.d=cs.ioc.ee; arc=pass (0 oda=0 ltdi=0 93) Received: from SYBPR01MB6448.ausprd01.prod.outlook.com (2603:10c6:10:103::8) by SY6PR01MB7590.ausprd01.prod.outlook.com (2603:10c6:10:171::5) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.20; Fri, 15 Mar 2024 10:28:29 +0000 Received: from MEAPR01MB5192.ausprd01.prod.outlook.com (2603:10c6:220:61::15) by SYBPR01MB6448.ausprd01.prod.outlook.com (2603:10c6:10:103::8) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.21; Fri, 15 Mar 2024 10:28:25 +0000 Received: from MEAPR01MB5192.ausprd01.prod.outlook.com ([fe80::6c0b:b2c4:c1b4:efba]) by MEAPR01MB5192.ausprd01.prod.outlook.com ([fe80::6c0b:b2c4:c1b4:efba%7]) with mapi id 15.20.7386.020; Fri, 15 Mar 2024 10:28:24 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=dBeLQx12+fTicFSDa8kkQRlOVmqcfJFKH3PYw1GakoJV6Z0oCzcyjUc+41lC8YnlMC+pHB85DZslgQGWuVFWzN2eqWozro5YojyQ6sld9cSdfn7ClxTEm5+NletRKjiYoPT5WvoP/n1jJV901au9r1FFHgUDKYILDNEMEU1aX4AKqNPHpbG4oM3FbY0w14T6egOpSvyLxQgtG9QR/IpcvqxKz74JF7ZdtEI4M53kJRSI5GfFaM+hhr9XGQBd0DuPICBjIh/RcPAj5Br6rzlDGCunUqjoUHcp7Oxx4YnNv69ghyGFU1ABjet5qVwkluFomjYFszN5sIacp28PafBUEw== 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=usudikO/0ZkBUMt+nwyGRJ7hSYCELMlzKo9T1lIGqRs=; b=MA8+QJ++pDEw+cPsYV6feIonItMUSkj4A5Fav4XQ9TUq4M41bfMSMtFmX2n0qVup2ZrPZtTf8E0b+ANYbyRyj8qm1Ebb5MyW44QQ1gzT4WThD7rLcRkMGScX8ZljZEvVJ8yFGHihoMqp5FG/IIQ+ALvV60HdSocxdUAYctAI6EI5AjNilyaG1vEoQhtaWFKga/1oi3Kx15gznTriTIKpbCGFpb9q1BNFuevhVKyZzReUbDiNERxgI2x87D/TLPl+Pbw82lcVjH5fnbm+ecxIiVmf8BH57sOsCU6V74ugWRA3+XTFQRucxuVHXqiZHVCvaMiOBzA8RDDeZbA6Rl+jvg== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=temperror (sender ip is 193.40.251.8) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=cs.ioc.ee; dmarc=none action=none header.from=cs.ioc.ee; dkim=fail (no key for signature) header.d=cs.ioc.ee; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5PR01CA0109.ausprd01.prod.outlook.com (2603:10c6:10:246::17) by ME3PR01MB7189.ausprd01.prod.outlook.com (2603:10c6:220:16e::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.23; Fri, 15 Mar 2024 10:24:30 +0000 Received: from SY2PEPF00004FF2.ausprd01.prod.outlook.com (2603:10c6:10:246:cafe::2f) by SY5PR01CA0109.outlook.office365.com (2603:10c6:10:246::17) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.21 via Frontend Transport; Fri, 15 Mar 2024 10:24:30 +0000 Authentication-Results: spf=temperror (sender IP is 193.40.251.8) smtp.mailfrom=cs.ioc.ee; dkim=fail (no key for signature) header.d=cs.ioc.ee;dmarc=none action=none header.from=cs.ioc.ee; Received-SPF: TempError (protection.outlook.com: error in processing during lookup of cs.ioc.ee: DNS Timeout) Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY2PEPF00004FF2.mail.protection.outlook.com (10.167.241.4) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.12 via Frontend Transport; Fri, 15 Mar 2024 10:24:28 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1710498268; 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=usudikO/0ZkBUMt+nwyGRJ7hSYCELMlzKo9T1lIGqRs=; b=SQbCa8KVgEV+XJAuDwHLohnKzqGVNvC4PetFfD8oCYuz8cL0E0noYNLlm/0xf14Z1DZXKC qwOmyrFAt5NupU8mRrKnY6cWO7tpdGSsjSDNIEMd5UzUHg6MTSp3ga9fJIjdtwMYxorQgZ l1KhHKc58QsGDFKke+vIXgEGhns2tK+fNc++U5al7Esz/un17pKIuMjrMkn0b+6FKjyRY4 tGDGHbzf+8mvB63rg6bHapQ66/WQfbJ6+dZC8VFCxv41QgFxvbJ7EKpIWjQ7BGQz4bvhqH N4qw5xI7JOE2OZ7dvkBN2Y8N9fE2CdcKK0inB+KmHL32X0xwzcKyW55eIgdSbg== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1710498268; a=rsa-sha256; cv=none; b=YnokWZ9UOvaZs4zqMkMroWeFH+DnhTqmStIYf9nR84Sen63sIugquh5QtM2aSyq4nC9Net TG3uKURT3A7M+OKVfos9J/hnYOsP1Gr4eSkKOL/JGSJ87XIgcp19dAwExN7GXPe9+vwNzj xFYTNc7A3JPsD9DM+146snH+cNLQqREKQGf6O0TlsJ0MbsNS+givAVPTbW6+Y4jl62wq3U c+NZIsNSqr0O7P10Qsrh3o0IrG/MvJV9BN98LUPjKZr2/UqWS3G3Ttv82LYqQrSTBad6e/ 8bXnMgsrTDI+YE9WfPU2dywnp0FKS2rn7Tv7eF1u7IwVWCLGSSQ8aLEJpRQAhQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=none ("invalid DKIM record") header.d=cs.ioc.ee header.s=mail header.b=LKvmaI1l; dmarc=none; spf=pass (relay.mimecast.com: domain of tarmo@cs.ioc.ee designates 193.40.251.8 as permitted sender) smtp.mailfrom=tarmo@cs.ioc.ee Received: from webmail.ioc.ee (webmail.ioc.ee [193.40.251.8]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-86-eqd18AHoNXi1VVtt6dd7zA-1; Fri, 15 Mar 2024 21:24:22 +1100 X-MC-Unique: eqd18AHoNXi1VVtt6dd7zA-1 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=cs.ioc.ee; s=mail; t=1710498256; bh=t7JJo+c6eAxJehIiUlHKGipb8dpgti33OUKI5uvw2n8=; h=Date:From:To:Subject:From; b=LKvmaI1lCc86DSWYUmY6Mvg1Ye8XeHECNlOWRR7W9rMxqPHqfArtwuyIiyfklkgwW OI9qlW6WqHwc061zEo9D2Kiod4dcH0T3XBbye7C+4Ranom32L+lZlUf55aQ2rmtuxf lA5gWvgq8w5hDi6Kvu/WvS4Q7yscB8XCcWHyWS+8VcI9JozE7JFsDa+yY3qaqaC+5h PiL76Fi6zm5pQmGXLxl735KdCzQZV98LUXWANa/fq6BNgoEZHv7Hqijfp1GFC3wWh2 5HOhLMSep4sloo3W8JE1MuIs5P3/gVsDeKDspRnbIFp3wEGsf6gw2uiYXNhBwEzShr oWeEe1YYDpS2Q== Received: from authenticated-user (webmail.ioc.ee [193.40.251.8]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by webmail.ioc.ee (Postfix) with ESMTPSA id 80F67C0673; Fri, 15 Mar 2024 12:24:16 +0200 (EET) Date: Fri, 15 Mar 2024 10:24:15 +0000 From: Tarmo Uustalu To: categories@mq.edu.au Subject: PhD positions in Tallinn (Logic and Semantics) Message-ID: <20240315102415.1de5a5af@kan> MIME-Version: 1.0 Authentication-Results-Original: relay.mimecast.com; dkim=none ("invalid DKIM record") header.d=cs.ioc.ee header.s=mail header.b=LKvmaI1l; dmarc=none; spf=pass (relay.mimecast.com: domain of tarmo@cs.ioc.ee designates 193.40.251.8 as permitted sender) smtp.mailfrom=tarmo@cs.ioc.ee 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=_12403152124261311" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[193.40.251.8];domain=webmail.ioc.ee X-MS-Exchange-ExternalOriginalInternetSender: ip=[193.40.251.8];domain=webmail.ioc.ee X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: SY2PEPF00004FF2:EE_|ME3PR01MB7189:EE_|SYBPR01MB6448:EE_|SY6PR01MB7590:EE_ X-MS-Office365-Filtering-Correlation-Id: b13c60e2-dad4-4eb8-3f98-08dc44da18b4 X-Moderation-Data: 3/15/2024 10:28:21 AM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 2 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: ecU+Uyb5c7ZtQR0Dqk5lt/FPLJqH4aEQDjdwL9sU8eiPYn07YQovfQAFu54L+AhD30GoCGjVuxrAvrO5lh+ksTsJiVUydGquMikHH9zRTVb89p52MQPgOj40/PW4aKdq+FkoLHGMbh5YoUqa/NOrhTm50Thhk2U5e/3oF4cWK1NRKT7xjbhZXZybP6HemEWyrRK6Jbzt1BLTp0GBpX+k9JXJ0L/Y7emrkKjNkzxVHeDmNZeyHK7dD+WsZNWBpnf3wGy2UL2G1kJQMqE6faAglFR7vkuct11g3Y8OJChLDuaivm2TM3o3uoWoBYZL0yCgaS5wedMu+JNySGnevvUBoYHOqBuucUs652UShxlZ/QvEqGgsYalmoQbC5frInD8vndBxaYHPDUg+Nd+nlKn6tq6KucD9SEalbKWgfMCHPmgQi9CYYlbkEI4maFVONhc916sixlnxKe8SeXLKk1p08pdt/7rnbSDyAAT0hTgDdrsWTmx7yhJ4qIan6hk8Mx1ZqohI6AiOpK3IMoN/EnrDRfUsBdm6WoY8XBVhzqqUwj2MpxqA0eUxCRDwxHt+h91RmBhcb6gbv/2//uoU0WTfyZIUAWYDb0n9e7h6WmF6Vkr9HA9sHsecQwMhJjC1v+ufG9BMsozPiQMTOa8nZtCu0V23s2auUpr5JNS8bNOXE7cOuaxf0wrHeKB77Q5EjVysyfkHuXEYu29AyR3iWcCXZFrL73rT3hppBfto2VtCpMna0/28cn+sioXtNtTRTf/7PQNIFtoQpqhKOV1r+29i2/KEznxjHRS7RIa4g4rLEg0= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:EE;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:webmail.ioc.ee;PTR:webmail.ioc.ee;CAT:NONE;SFS:(13230031)(376005)(7416005)(82310400014)(48200799009)(1800799015)(35950700004)(32650700005)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: b13c60e2-dad4-4eb8-3f98-08dc44da18b4 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY2PEPF00004FF2.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 15 Mar 2024 10:28:24.8615 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: wxsXmtfagwRwIKXAFw2g/QQr4+nYEE1kL4/Gjj/T9cDqaBswm2dwepbQ3nMuNPJfuMvvLebKMH4HgIcfjAX72+3pmC+lkDh43bCbetwpiwnP2kko+gootSLPL4wflpsJAyfeponCrr8wv4YrtGlbcnsGw0ki9Aa+j54u5QviQSOEQiVIYJLdlX+u0kYib36EtITdtDj1FC9ISu0iwZ9kj5gpH8HOH8MFsbZZ4hRCiHw= X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY6PR01MB7590 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: <20240315102415.1de5a5af@kan> 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?Q1IyZHNPSnNNU2ZGd1NnL1lSbkFpaitmNEVRaUNFUi93YmVzRmZxMkJXd3Nx?= =?utf-8?B?RlYycThxWTh6Y1d6d0xqaGNjNXZra0grNUs3ZFdPL0Ntai9uU1dkTmgvS2pS?= =?utf-8?B?Z0pFekt5cHNXS3N5Y3hrbVNFdEV4dHdyZWF6Z1pySUpqQ1ZjeXBPcDY0eHdj?= =?utf-8?B?RDQwSzU3a05ML05NMGtNQmVIRXluMzVTZk1JN1hCUDI0UmVGRlZrM2g2aUcz?= =?utf-8?B?MUcyZ0VkWGd6UmEvMC9SelJSMGNobHRYOVhxeU1XNnI1MFV2dHFTU05PRnVx?= =?utf-8?B?REhodVNMMGxGWnZWbU1jUWJZWXhRUzhEcmlTQ3dWSGRUNUMwclRPYVYzbTk5?= =?utf-8?B?R083dHUvUzkwZTI5SlJxSUFLODRKRDdpRmJRMmVKNEwzQTdIcVhPcndKUHY2?= =?utf-8?B?V0paRW1sVVlHelRHRWJOT1YzSGRxUTJ0SlVQd2duMXdjZ0JRdk9oWHY3ejM2?= =?utf-8?B?dWdjMzJleUlBc0hIUVRoOHQ4QjBQWXZ2MzlwYVVpQ0NuSXhmWEhHcWpheWZW?= =?utf-8?B?M3MrR1FDUEwybWRnRks1RVVOb0JxZzhRdG8rL205YTBtVWZlUmowOGRaTUU2?= =?utf-8?B?VGswZkJGeUFyaFN3L1F2K2VDSFFWZ1M4dWZHSUsvTTZQbjhUaW96SWZEeU1h?= =?utf-8?B?Q1hPMnJBRlZGSXdqSXl2L2lsaXJRNzRwMlM5eXptOWtqSGNtK1BRRVJUS2g1?= =?utf-8?B?Rk01OTY3MWl0ZS9wK09xM2VRN2FQdE13bnlueDlqNjdpdnNsc2NxOUFjdGFj?= =?utf-8?B?alJ0NFdvTExFVkxldXp1bTN0M1BaY3o0T0ViN0FSamRLU2hNa3JXWHAyNENv?= =?utf-8?B?WU1hOFNWMnV6R3pGeENTTVlvQjA4UDF5Q0hwb1hIdVFrVTFraGVGM1BZQjNk?= =?utf-8?B?Uk1OYm5YQUh6MnJUNW8vcmVkWU1MRVhqUTcyR2pEVWMzRWFERHoybElIdkV6?= =?utf-8?B?R1Fvb1JtYXBWd2JWY1lGVE40b2RsblR6Qm9GeCtKYzh6b0FCcG85c2EycG1x?= =?utf-8?B?WTV3SFNWeWwycUlzZmZrZTBuVVdvRUxOL1BJMFdPRVZnRHBTdTUxZ1RBa21l?= =?utf-8?B?Ti9TWWU5S29JZmJCb3VOWkxiK3ZIcUJoNTV4ajIrbUlNQkZKN25iWGRKdGJZ?= =?utf-8?B?NHFJbjhrTFI2RHNOYzFJWSthSG5vL3I3b3gxVVdBSE8rUGZ4ZVQ0aUVhVXRa?= =?utf-8?B?aGtNZ25pd2V0M1J6bS83ckZSc0dYdmZTOWdtajNmcGpDZjJIcFRDMU13Ui83?= =?utf-8?B?MTVmanN1UzJRMFJoVWd1Y3BRVEdOV3RNQXNkcXVrNzJhTUFRU1RxZkdzc3Bq?= =?utf-8?B?REZIdjhOY1NJMjlSN3JHVUcvS1A3ZUcrdHBTalhYOXZqd3ZYYVg5SkdXSGZ6?= =?utf-8?B?eldyTUFmellOSTZXWDhybU5MdWE1SlpFeGc0ZXYvNHRwc054bmtjTm4zYTRM?= =?utf-8?B?NG12V2RKMHBmU0kvWG1SNmZVNXRqUnlqWHg5Snk2anN5SUVQdGM4U3lnT0FL?= =?utf-8?B?WmpmNXFxSlBtZ3l3anI3bGxjOE5Wc0VLRUdBaWNxMEVTQWVOMmlWcktiM3h2?= =?utf-8?B?YW5GWWdUSzA3Rk1MUllPdU1UTEFsT1Fvc1FGYkI3MjQ4Z2NYQk9NelB2aWd5?= =?utf-8?B?dHE2bzZNaHF2ZVJCZXZnR1BGZS9nY1ZFTEx4QlBCUVgyMlBNTWJGRUNpdmRO?= =?utf-8?B?QXJHblo2WTlaRkVJRmtzd1JWbWY0dklPZUZQUnRqaGQrTERLajZSekRsZG5J?= =?utf-8?B?UGp1T3F0YWx6eEFWUnhPaFVQelRVNWc2MVV1NGIveXVmL0JzdTZuYXFmYUdH?= =?utf-8?B?ZmtBNGxZNkVYUFo4SEV4Sm5HU2t1L3ZVa3RHRU40QXVaQ0JxajJtQjFXS3Y4?= =?utf-8?B?dEhyU0pSREtzd2R4UFEvVGxKZk9XREh5cjJCazg2MVl6VjBrQ2orcFZVNnJw?= =?utf-8?B?L0Vrbkh0Ti9WTnNaa3JvS01xUW9mVHFuSnJ4MWVZSnFuZ21RMTYwTlVqNFBG?= =?utf-8?Q?gdC5MzYNjFfz5fMdwcDQcMORwN/xwk=3D?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12403152124261311 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable The Logic and Semantics Group at the Department of Software Science of the Tallinn University of Technology (https://www.taltech.ee/) conducts research into type theory, proof theory, category theory, languages and automata, semantics of programming languages, formalization of mathematics and programming theory. Detailed information about our profile, incl. our publications, is available from our webpage: https://cs.ioc.ee/lsg/ We are currently seeking strong and motivated candidates for one or two PhD positions in one of the following research areas: - type theory and formalization of mathematics (Niccol=C3=B2 Veltri) - categorical proof theory (Niccol=C3=B2 Veltri, Tarmo Uustalu) - languages and automata (Hellis Tamm, Hendrik Maarand) - categorical program semantics (Tarmo Uustalu) - cellular automata (Silvio Capobianco) We are happy to discuss potential PhD topics in all of these areas. The nominal PhD study time at TUT is 4 years. PhD studentships are salaried positions. At this moment, we pay PhD students a taxable gross salary of 1828 EUR/month (~1450 EUR/month after taxes), topped up with a tax-free stipend of 500 EUR/month. This ensures a good living standard in Estonia for this career stage and includes insurance by the national health system. The expected start time is summer or autumn 2024. To apply, please send a motivation letter together with your CV and copies of your diploma(s) and transcripts to Tarmo Uustalu (the lab head) and the prospective supervisor(s) soonest, latest by 7 April 2024. We will consider applications as they arrive. There is also a subsequent formal admission process. 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=_12403152124261311 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 The Logic and Semantics Group at the Department of Software Science of
the Tallinn University of Technology (https://www.taltec= h.ee/)
conducts research into type theory, proof theory, category theory,
languages and automata, semantics of programming languages,
formalization of mathematics and programming theory.

Detailed information about our profile, incl. our publications, is
available from our webpage:

https://cs.ioc.ee/lsg/

We are currently seeking strong and motivated candidates for one or
two PhD positions in one of the following research areas:

- type theory and formalization of mathematics (Niccol=C3=B2 Veltri)

- categorical proof theory (Niccol=C3=B2 Veltri, Tarmo Uustalu)

- languages and automata (Hellis Tamm, Hendrik Maarand)

- categorical program semantics (Tarmo Uustalu)

- cellular automata (Silvio Capobianco)

We are happy to discuss potential PhD topics in all of these areas.

The nominal PhD study time at TUT is 4 years. PhD studentships are
salaried positions. At this moment, we pay PhD students a taxable
gross salary of 1828 EUR/month (~1450 EUR/month after taxes), topped
up with a tax-free stipend of 500 EUR/month. This ensures a good
living standard in Estonia for this career stage and includes
insurance by the national health system.

The expected start time is summer or autumn 2024.

To apply, please send a motivation letter together with your CV and
copies of your diploma(s) and transcripts to Tarmo Uustalu
<tarmo@cs.ioc.ee> (the lab head) and the prospective supervisor(s) soonest, latest by 7 April 2024. We will consider applications as they
arrive. There is also a subsequent formal admission process.
 
 
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=_12403152124261311--