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=1.3 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, DKIM_SIGNED,DKIM_VALID,FREEMAIL_FROM,HTML_MESSAGE,HTTPS_HTTP_MISMATCH, NML_ADSP_CUSTOM_MED,RCVD_IN_ZEN_BLOCKED_OPENDNS, URIBL_ZEN_BLOCKED_OPENDNS autolearn=no autolearn_force=no version=3.4.4 Received: from SY2PR01CU004.outbound.protection.outlook.com (mail-australiaeastazlp170110003.outbound.protection.outlook.com [IPv6:2a01:111:f403:c40d::3]) by inbox.vuxu.org (Postfix) with ESMTP id F3A1C2482D for ; Wed, 3 Sep 2025 21:47:36 +0200 (CEST) ARC-Seal: i=4; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=cDlHi9IQypB1LiJbkIT63ViJl4Oq3YBDA+Bdfwn3n+YGHvMg74gp8OZiLDCtAtqwYFT/rbqbsuXaY34UMidafGXxLVx4vzrWFyYIZwPJokeq3LQic9+hBV55NNpIwveCC644OyH9FFAhN3YxqjN+KL6+yL/8UNGgu1l+9GwziTn2kvLBlyZHbw82OS44p1ckZhIhaDPGjx/mibqP6atROz8ShZTyArIInRJ1nKDGD/EyTFW4VxgHHbee/3rm8VG5qXBBQorqV5pWjhkOZsvS29dMOpc3Mb50+desPUP0EEwesfDcjVaw8nyUproDy7/mB+8KU962SFSZvrPRiQIJtA== ARC-Message-Signature: i=4; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=7ZMTDWAf9Dfs+of0iH248lbyPnCItYSKZ8RbkiJk+T4=; b=u12dXs0SjeP32NpYO23o1beaW+mjVJTn0YPZ1JGfT1bMdl38N5ogTQ+JvtUnA/Z0Z+wukdxUaezDlUoEEoeVDGx/igNi30U/DyhPZnBj2vvZGpEOLLGB2WhY01EV1JNp0qP52wlxJw6KUZgpxJ0NO8158hoa7EzAUrNgTYrecTcedeRoW22ihD3X1Fcd6SDMs3VH4OyYJoTplETYsSiMDyXI7s6mJ6vPMjMITP7H7XnR00RQfKMlIEZU+HPrJwlwv0fwfsVXy5fz8K8ynKduND7n2IwwzGv4ZGVlGVNQCs5MduyU6mFYFhT8c+74IFQefK3ScaWVW6Z0SGmqUNJyiQ== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.45) 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=7ZMTDWAf9Dfs+of0iH248lbyPnCItYSKZ8RbkiJk+T4=; b=ItjyJXIGVD2SCU1a8ovvt2alxQHQ78Krcrv5+/Qpv2jbyhpxYEiXVJTDsiru6ohYGuY2QLvihZbgcExuqNMJHUooaybPTw/eujlOhQbGezpRL1xiidVIywR2Hg3pF9F8FIo5AAxZqTZAzfoSuK7NkbL/wyjH5sitWYRSYUeZFPG/PsbTrb/7cUnGFPwjSZv1qQFJtkbZNhy6eIgsREP3VCsH5L8KH8jYAXD+rs98oIHxuato0l/0cdOnBwcax796X1AXFtSg1i16Thjqj3Fgu6DncA1vOi1MX0LNfCuxeiQnhp+6/MLyDanfqxtw5GUlJZi8fx37vv9nD8BNe9pHag== Received: from SmtpServer.Submit by SY7PR01MB8851 with Microsoft SMTP Server id 15.20.9052.29; Wed, 3 Sep 2025 19:47:34 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=QFkD4OsPWa7vwPQPDokCcnPEgjcv0nKB57hWSYc5XMZ/3yQdZqpRG0//c7QruG8qtBXo6kJPoKe+slmFm7glPYxYRb743cnVVZvLZiNcKWUFVsBRXz+P03P/ybcG39fq7nrmcxzrCCf+34qxpAfC7vcABdsUxR8RcN3crt0vTTc8jokan6YEdpThPvgnQRomx9Z7Evxn2U7wWE340AKGOuGzLkviFv4n7TdwPWTi1LYWfI81JiMSI2EuQR15XIHCd8f82dhnpl+Y9LJm+TSCeiomtqa5k17zaDvpO81I5L4P/7wBpobdrQW8CIXWSdEbCAiPNYlUsDVO0LnP2Z/YWQ== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=1W9cZV5+/E4xIDXnwegmJydNlY7xn0DTw60CBeJeIY0=; b=nnUWp+PkgcSJMixsU5hLfo6vwpbFbq4VhdfMZMDhrhrxPKGAhwTIJJSP/FGFYzrl5GsY+ElN/zCGDk+JvNZCwe0UWuk4VGwqbJKf6fBDBnWUzezSAJMR4O1/+1jx481xcxv4YhJYcJTBhwWCNJgeHzEX0T2hSfv6L/SfKUqR9JZmiyWmnPiDeTpTV60HpPHWaJh4t/fBY3sTProkaXdqVgdlA3Pw7m8Bp74T62NVIcrADQE1DGVy+BKtLPEz7B53ALtsybFKL6FQGKj/jwzs65auXCORbrTs4FKtl+JGFoLDuzBlOsvN0b5jbFokJM45mw7PjAb4DVP/FtrF0ozcRA== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.45) 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 SY3PPF83E426668.ausprd01.prod.outlook.com (2603:10c6:18::41f) by SY7PR01MB8851.ausprd01.prod.outlook.com (2603:10c6:10:216::22) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9052.29; Wed, 3 Sep 2025 19:47:27 +0000 Received: from SYBPR01MB7916.ausprd01.prod.outlook.com (2603:10c6:10:17b::11) by SY3PPF83E426668.ausprd01.prod.outlook.com (2603:10c6:18::41f) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9052.29; Wed, 3 Sep 2025 19:47:24 +0000 Received: from SYBPR01MB7916.ausprd01.prod.outlook.com ([fe80::db8d:69f3:76b0:38b4]) by SYBPR01MB7916.ausprd01.prod.outlook.com ([fe80::db8d:69f3:76b0:38b4%3]) with mapi id 15.20.9052.027; Wed, 3 Sep 2025 19:47:24 +0000 ARC-Seal: i=2; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=pass; b=vvtwlBNJ+g/E2e9ufPxsiXG15Kbl83cPrE42qA67qDzNnLUsf+cLIjX8QWagmJntdB4BGrkPfeji09w2VcnRABhWfcheMVLJ/DIOyzZTkNPENR+eLTjVeWQr144eKm3Q+aDq7KRl6VIRdL77wvv+5bY7bTX9NAjp3os4svy0SP4wuuLE+BcTuczdrokGkcXFvQ/4DaKwIAziDQPM5p1lhFrUSELNBEANwGXQNRYbSGK+ZpWJfcjLqTxbK9wOGx9KyPw68BuBVjXsmqDxwB/xKFGoFPjlMscG6yGokx2z4Zw8hw37P9xOp48b7bk3cnK++vzpWSCD+k6+Silg90Xd/A== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; 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=1W9cZV5+/E4xIDXnwegmJydNlY7xn0DTw60CBeJeIY0=; b=Ds2+FS9ilDtepsMMsT/aQTckFtdQd5ikmBVtC2ksIxuF6zyMWJG2fMKzN1Dp8wzifDdEEI9J4AgwE/BRQAC0rK80QkYpEWPCj7ooz14LUhSc2Mi7WWuhwlo7B2OXCeFfs2Vxr0ImIXCDRd+x7XXQjdUfmdZ8mULlDwdFI8FusdkrlxqlpJSvO4+Lr8Nl3oBpu0KfTyZ9SMaeFaupzHT96CulvBneV2c9IwT5w6439Gj4M+E8WVmsQM2emwNZZw+kptbOekfBc7cCkXQ9m9wioIFWVURpWWuTZ8nPmGQe/X+yVlzvq7cZV808rgRdvI6zYM5nVrE9MUI7lSj6JglvGA== ARC-Authentication-Results: i=2; mx.microsoft.com 1; spf=pass (sender ip is 209.85.222.45) 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 ME0P300CA0029.AUSP300.PROD.OUTLOOK.COM (2603:10c6:220:20b::8) by SY4PR01MB8072.ausprd01.prod.outlook.com (2603:10c6:10:19d::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.9094.17; Wed, 3 Sep 2025 18:15:18 +0000 Received: from ML1PEPF0000F179.ausprd01.prod.outlook.com (2603:10c6:220:20b:cafe::5f) by ME0P300CA0029.outlook.office365.com (2603:10c6:220:20b::8) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.9094.18 via Frontend Transport; Wed, 3 Sep 2025 18:15:18 +0000 Authentication-Results: spf=pass (sender IP is 209.85.222.45) 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.222.45 as permitted sender) receiver=protection.outlook.com; client-ip=209.85.222.45; helo=mail-ua1-f45.google.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.20.101) by ML1PEPF0000F179.mail.protection.outlook.com (10.167.241.70) with Microsoft SMTP Server (version=TLS1_3, cipher=TLS_AES_256_GCM_SHA384) id 15.20.9094.14 via Frontend Transport; Wed, 3 Sep 2025 18:15:18 +0000 ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1756923317; 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=1W9cZV5+/E4xIDXnwegmJydNlY7xn0DTw60CBeJeIY0=; b=fZOfsQ/HHp7Dtz2LJvwCTFIDwSZe+y1brr2wpgN0zaV0/yK0JNjnfs753xKRb74q7tF2Js EY+RQX75ukdbMrOftQMW0vrzF+0YRsudV+Emmt9zBrTVuQ/3vT0dJLFBKOHEimH4YHvrce 59sONHkj+fDu4l9p0GPjN7mbHpHG1eyjPfaaK7MLhqBMOCoZefdBUbetPY5K+Avyv6Q3Xu 1brkhjmP7AFNzAlkmx8zGAUNXfPgpg5x5K/IMdESAf/4Iqp7D+VU2lNdIE06qhNqgaeXJh ktUaHA3MD5Xb90X1oIvoxHfqCHn+iq6ruq1Gr4otG6sgK8dblAwNwiH7mmafHA== ARC-Seal: i=1; s=201903; d=dkim.mimecast.com; t=1756923317; a=rsa-sha256; cv=none; b=PZetfUgZLk5cvwpxiOKGLjY7D/CvAc8xDPLxzSZx5O1W093SfMTLQAWszdvYnTZvcU0o/A 2eBLu22QqZL1Zdum0l2h25R9SQwQzwDQwzQfmWU42/kKrlsUnxZWT6iM07gNZ9/S4FNPKu VgpuoQtVCQ0FNc9K2u2sSnW/4CiqrhT6lDe/E4K8EP9nw7U3I5dGn6P0guyM44st0Q0HxC QEkB8HfJBUxVR2VybfxVI24hZtZzL23p8TbbUrMdB0miu2VX4tPSb95SY09vmbmWlEwnB/ borgDdQTGLg5GT6h2Lge570+MWfzKPyDpRffoPrHHtR2d1qmItge+7Gcxl4OWQ== ARC-Authentication-Results: i=1; relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=MmNDmwmi; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of bennovdberg@gmail.com designates 209.85.222.45 as permitted sender) smtp.mailfrom=bennovdberg@gmail.com Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=gmail.com header.s=20230601 header.b=MmNDmwmi; dmarc=pass (policy=none) header.from=gmail.com; spf=pass (relay.mimecast.com: domain of bennovdberg@gmail.com designates 209.85.222.45 as permitted sender) smtp.mailfrom=bennovdberg@gmail.com Received: from mail-ua1-f45.google.com (mail-ua1-f45.google.com [209.85.222.45]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id au-mta-89-v2gVvFUoNLa_ndyRlGk0OA-1; Thu, 04 Sep 2025 04:15:15 +1000 X-MC-Unique: v2gVvFUoNLa_ndyRlGk0OA-1 X-Mimecast-MFC-AGG-ID: v2gVvFUoNLa_ndyRlGk0OA_1756923313 Received: by mail-ua1-f45.google.com with SMTP id a1e0cc1a2514c-890190da557so29837241.3 for ; Wed, 03 Sep 2025 11:15:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1756923312; x=1757528112; darn=mq.edu.au; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=zlzzRHsJ0ci+Srqww9KrpN0OUuEAxTzzilVlqK7NyhU=; b=MmNDmwminFyz6S7uGCmYt4gPdDc9KsUyaMqIrWt78b0OBnJB9UPr1p85PybUwVREfS +kZKpKRsG99VlZCJogD7zqUhQ6/xYiwOq+JihiJqf3TKciK+GfH2xABYw2fkX+fcsqhK oKUBOyjyq0U+V4avD7DwQFTZM4Zh+9WaotjT84dlOyPFc4Dq4bAotI0OeK+h+cBvkn4c PXXlqQS9gLcV3uACVXbsBxiiaBYgITSddytqNOSI8oh72iz1L/JlPVDOkbHLnzXGvxfZ kGhVwnyGI4Xa2gRxKRt6japEA3di7bgca33/pZBth7dQFxtTqdYxU1vxKib8mh2+fO3z Z3Ew== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1756923312; x=1757528112; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=zlzzRHsJ0ci+Srqww9KrpN0OUuEAxTzzilVlqK7NyhU=; b=CzCgG/evXP+geIp/lu8lfRigZaBp+WYTSzUQFGtdM0jioNsleMjcOswU9A3GmELR0/ Ggbwq8gJ3GwXOuUfQT+8S6EVVqUbM8QThBIwcVmA8rBS9wxGT7SisVIFsfUftFc1y1iB oPXpAQzUGraMvYrCbEe7CuKQ90eS0bCQkohwGIex78KRSzkOmn99Z19kT/i8Vap3H+Ox gN+lYYvmTYFBphHC7DrAkU6qGUKoTfGRdXdkM6i2cDVSQHu9nIBnlAhoVGdeGZZE42PR W0Zcl1XN8xudfMZNAXfIq0T0eMtxKXNOQ8zkZuhSYtVblpcnbRO+NJAcy+zG7P6uRPpO 5uGg== X-Gm-Message-State: AOJu0Yz6MHINlyPgdkP9EN5RR//OfH/lJ8J+PVELb51tGj5hmenSy4PO xojVIfRnrL3W2G0ayZiVS9KVrpCaUFAgPVs8qQoDmK6iJ8EtF51RbarLtxNLFTAgNORwKOZMZor qaeT3fkV+wt6akj+ld+s11UWn9BlI7TZh8LzKS4Y= X-Gm-Gg: ASbGnctsSTcB0l0L4tgxOXTYGW3ZulNWcpyInrgWad6PprqA2hjLX7O4xb38L9OTKzs unDLHLblAfSq30TReCRJOp0NjsCWf1TDwV3SO1j3On7uFcXyJhInWTOIx1Ee1CfkQWh8pImsjqQ X/PJbxcd5NISBLEPuWxbAkQ5f4FQxi2bjfSPl3vgvbEHkhtKa8oCU/RzUxEM7B1oOULF9VXdYzz ZfEsQZ72AZt9Xhv11QDgUZ9+nB62BUSA92P2p1h6BsRxNmnQtqv X-Google-Smtp-Source: AGHT+IHpBkW0ebCXl6Ju5brxfMH+n2bBLFzlE3W69gjxPvlFQ+c4rJJlxGOw+SWoQHn1tUUceACriuMSoZaBGSciy6A= X-Received: by 2002:a05:6102:1492:b0:51e:92cc:6e5e with SMTP id ada2fe7eead31-52b1974a54fmr5391761137.4.1756923310968; Wed, 03 Sep 2025 11:15:10 -0700 (PDT) MIME-Version: 1.0 From: Benno van den Berg Date: Wed, 3 Sep 2025 20:14:59 +0200 X-Gm-Features: Ac12FXwSMCTZGrDO1DTPM4PiSMo1CiVm3KDFQbJihLkt3dJ2BWwFugs8W1x0DXs Message-ID: Subject: PhD position in the Semantics of Homotopy Type Theory at the University of Amsterdam To: categories@mq.edu.au X-Mimecast-Spam-Score: 0 X-Mimecast-MFC-PROC-ID: jrvHsof-Q8wLZyTChDtQ_b2SvyaqE4s_83ICy3XlPMk_1756923313 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="000000000000d91539063de99536" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[209.85.222.45];domain=mail-ua1-f45.google.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[209.85.222.45];domain=mail-ua1-f45.google.com X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: ML1PEPF0000F179:EE_|SY4PR01MB8072:EE_|SY3PPF83E426668:EE_|SY7PR01MB8851:EE_ X-MS-Office365-Filtering-Correlation-Id: 7acc1639-9d22-4af1-1545-08ddeb15d689 X-Moderation-Data: 9/3/2025 7:47:23 PM X-LD-Processed: 82c514c1-a717-4087-be06-d40d2070ad52,ExtAddr,ExtFwd,ExtAddr X-MS-Exchange-AtpMessageProperties: SA X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0;ARA:13230040|82310400026|7093399015|48200799018|35950700016|32650700017|1800799024|376014|7416014|156008|8096899003|13003099007|41080700001; X-Microsoft-Antispam-Message-Info: =?utf-8?B?RUlmMDYxU2ZvZ1FET3RlZ1Rkd1M4MEFqWWZwbjJkUlVwMGZja0VJZU02UjNE?= =?utf-8?B?MHJJSjVpNEFwN2R6SGJDbjEwTk5md1VoZFU2RnVuZWlsTk5lUTZFK0dlQ3g3?= =?utf-8?B?V3dYczc3TTg0OW4vYWRkOWk2aURRVWx4SDN1ei81TE51TmUrbmpZYXl1WFBU?= =?utf-8?B?MjVtOFEyZnRxYlJla2htMm1qNmdpS21QU2h5YzBydW5YYzdGbk9wNVFTUXRz?= =?utf-8?B?a1owRUFOZTlZNzFQMFY3NEFOd2VsMW1yYUlyUkhyNysyV24zRlpSZVhyUTI0?= =?utf-8?B?QUF3d3FzNGpyNWFrRnZBemgwek13WERMZmRXenc4RWdmQTY3YUppMFVvb1F3?= =?utf-8?B?cEJJelpxUUl0US9iU3k4MVVReHViWjJhK25kQ2RDWDZGYUh1MVkvMnpzME45?= =?utf-8?B?WnZtVDZZNnVoblN3d3RLL25RM05jMnU4NTlYdVRLd1RGRzNIa3RHK2tiTWZy?= =?utf-8?B?TCtvLzZLKzk5bjRvTWErb0RTK1BXY2pHVjZQQWsrNmdBMFQvdjBOWDZBQjdO?= =?utf-8?B?bHp0SUE0dDk4OStydXpPMGJ2RFJEYUpGM3FJTS95cTFJbWxOdkdQOStxU2Rm?= =?utf-8?B?TE9teWhhMGxKWmxvSDczU204bFRQdkxkS1N3K0tad1JGQlAyc3RHR21ORFIr?= =?utf-8?B?U2FpclBRM1RlSjYyV3BtaC83T0wyZjFrU3hoMTVuQnFmb0diZXBIUjZmUnpz?= =?utf-8?B?U1ZZS09KeVE4NzVxbWthbXRMTUxCRS8yaWtZczRkc25oS0p3ZW5MczErbU00?= =?utf-8?B?d29lUU91ejV5UnJSYXlJOTUreEFMeWJ1VW54MHdQZ2d1OVE2RnN6NTZKQkx1?= =?utf-8?B?anYxY0E3OUpzRWg2M0R4MWo5aGEyUFF6R0VJaDEycGE4ekNTeW5NWWhkSFBX?= =?utf-8?B?UUI2N0xXbVR5SjUwTTl0QnZuYUJoQUQxbUQyaXpieXJDdFZSNndycndGVW5l?= =?utf-8?B?STE3MUw4VjBvYmdNYjVFb1NHNVBuaDVpNlJHMnlwQmJqUWR2OVBmYUl6UXFJ?= =?utf-8?B?c3dGWld0WjlqNkkvMWZjdkIxZUZEd1NWaW9tN1RHTVplZENYVE9xTEl0Z0dW?= =?utf-8?B?ZVZFVnF4Zms0NEtTeHlZcFJPUWFkS0VTazhTSTZPemRvVlIwZkJSTUxBMVhC?= =?utf-8?B?N2s3VzFTcjF6MHlCcjd3bWlCNFY5azNUNVFyNWpKeWpla1ZkdFVTdjhXeHFn?= =?utf-8?B?Z1Q3MllPUlgvTTd5MHlaSldaN0NEU0VQYmVOa3Z0ZmpNK0d5VFh0ajdDVzRP?= =?utf-8?B?ZHhSNzVIM1N5V0N4MUN0b3htTFFhOEpNTHdCcmZxZEpmcmpFNmV3UzFrSGx2?= =?utf-8?B?QlVKWnl2c3QzK2ZCOU9oejZOVWZlbVRVTXBPQjlvKzFaNHpVZzNJclNjZjUz?= =?utf-8?B?T0s1alRsMzBIVmc0SWlyM25NbVVFekdJWTg4VmdEd1o5clZ1bU9ncHNpSmJG?= =?utf-8?B?Vml4VnRrY0RHSFZuaStvNCtmeEY2bjFLa3pzV2dpakYzYzJkcUp0ZVRRREYv?= =?utf-8?B?eEZ3cHRFR1hyWmY2Mk1qbjlkMVRTZG1DWWRtUW5HZU9VLzFpTEJFZmdySlE3?= =?utf-8?B?VGdNblFudUd1dFpIK00wYVNLQlJaOG9NYzB2Qm43V1VnS1FIcEM3M28xQ2lq?= =?utf-8?B?ZnNZOCtnOXBhMVdVRis3WXpOVXlrd2hCU1VzZmsxUDZrS20wZ0p5Wm5ucW93?= =?utf-8?B?OU93OFErVFJySUVWVE5rNlJ0S0IwM09pTVNLbzFYdEpOOUlPS1k0cC9SUW01?= =?utf-8?B?bnJpYkRaVnA2WGdqZTkyeVo4dG1GdllWSC84TjNLdlU1Sk9IeStXbTRoLzhk?= =?utf-8?B?ZjdqWDFOcG1mZ0tpeDNBYmc4eW1aUVZVbWRXM1ZUL3UzREJJdFV4eGZQRkxT?= =?utf-8?B?MktlNitScS8zd3FWMTVLTEhlVm9mYk9scUZlSW4rUWNLaWUySitCdVJKR2VE?= =?utf-8?B?NFpkcHV2UjlaaGlIQWtNcWh5Yk53SjR2ZlVsZG5sYTJRcFZ2WndhRW9Da1lE?= =?utf-8?B?SVpJd1RJc0oyTVB3SVljcjFvcm9aSFplZzdyMVJLMU9BeGU3VmpXZmoyL3Iz?= =?utf-8?B?SjNmWWtaZ3pDb1hmZ0k1Mlg2Um04dVFydWw3QT09?= X-Forefront-Antispam-Report: CIP:103.96.20.101;CTRY:US;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:mail-ua1-f45.google.com;PTR:mail-ua1-f45.google.com;CAT:NONE;SFS:(13230040)(82310400026)(7093399015)(48200799018)(35950700016)(32650700017)(1800799024)(376014)(7416014)(156008)(8096899003)(13003099007)(41080700001);DIR:OUT;SFP:1102; X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: 7acc1639-9d22-4af1-1545-08ddeb15d689 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: ML1PEPF0000F179.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 03 Sep 2025 19:47:24.6857 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: JXOe18npiaT4I4fAG+E/Ord9uDmjCUQcV8yWiTXQ1UmMJnS4rPGEugmm7p1NPtdZnIyJwaScm3PoXDW4v8N/z8OB6DVDzceTyQ2G/Zz56SKPRQofJs9DV/1bOU3uWx7CQjoFp3vAWmoHCCliVpSPUMZCnV4erXrTMzhB8U7zbxKgJSinD5ZlczrxBaJ0K5fq X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY7PR01MB8851 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?cE5uV0crcENnM3c1bHg2N05YOUh0cmZsR0lZVzZyWG5TcVlzSHFBRjJNS1JF?= =?utf-8?B?QjJURXZPWTRhanlCMU96WW51cHRzdGUvVzBGWDJZZkpWeW8yQnpaZm1PTi82?= =?utf-8?B?STU1b04wd0VId2M3UlBRdW5ITUZmdUUwamM4RmdjdC81SFhhWFp6WjV4ZnNM?= =?utf-8?B?VHYzdTRNVEVSQWprZW11YURJU2JSY0hYR2VnVkxLcHRqTVlUK0tKOVRhSW5m?= =?utf-8?B?LzJUSEpmeHgzUmJSNUI3Z0M2TnJ4aEd1RUV4TTRVdW9lN1IxSzdSWmpmNTBN?= =?utf-8?B?azRHWVB2VTVsbnZIK0VjUzhwVW9KZUVPNytzOWxFczkvT3BiR2lvTzA2aGh2?= =?utf-8?B?amRIUFA0UUVJWFdQT3gxdWE1Z0tkS1JCam02YWlBb3F1MGlBQjlLbG9EM0ZC?= =?utf-8?B?VC9YaWtaWWx3QzlEYklvS0xrQW8ybHFDeENDdTd2UXRTbkdZMTgxdmViM2ND?= =?utf-8?B?UXl5MW82aDhKdm80akplS3hqb2QraGN6KytOOVUxZElzWmwzMVR2VG1NUnBB?= =?utf-8?B?K2wzUWlMZkVQQWFXN0hjOVovN3owQUxLbGxIY2kybnNLTFVuSktoUUc4UXI1?= =?utf-8?B?blFDWGlNU3BLSjNzMndBbmFtcDBHUjYrVHpSOHMwOWY3YU9hRnd1SmdMTE0y?= =?utf-8?B?OG5tV1J0REltRGJBTjJ5WkZPT3lER2U3L2tCc1ZEblpZTWZDMzAzM1RSQ09O?= =?utf-8?B?SHJmdzkwNTVOZEpUaklxWlVObFhKaVR5eG9xUUUrT1JxVmV1dERDaXNZU2cz?= =?utf-8?B?WFUvMUhyVHdOZlI1eldmZ2xZWWM5dkpmS0Q4ME40cGtuMkhlUStuVmwrd05r?= =?utf-8?B?MTFEUlQvZW1VbW9DaXZBOGFKdVFYMjhpbjd5dU03b2J4cmRhYkoxQkJFbHMw?= =?utf-8?B?aU0vMGxpVUNMb0xFcWk3ZTlNeFJlNDJ6QzdkZTc1OERIYWUrcmRXN1hFMjZu?= =?utf-8?B?V2tjRXJMendkTjUrR2VVOThDTndKQTYrMGEvV0t2aDNMalY4em9XODZFdFdm?= =?utf-8?B?SU1qR0EzRnJzdUhTanVTTWR3SDk2SGFua2FjcHFhaVBndWdmdFV3M1F0a2tN?= =?utf-8?B?YkdDRnRYVWpFSXNFL2VuQ2ZZNENkdktWZFAwdXNrUVZTZ3pMZEUveVlXQmlJ?= =?utf-8?B?d21ldFZjbWJ4R2x0Znl2RGcrbWZlQmNxZDF4WUt2SVVOYjNmSHQ5c2dZa3Jl?= =?utf-8?B?MHZhM0VkR25xYXJzcDBpUDhPdVRsYXVEU1ZsWGh6aWZnUGVLUGtxUG9VWlBt?= =?utf-8?B?ZTc0ZnAxRThvR2JwZVU1OS9JMXNoem9kSFN0UjNXTVlvZitpak1iUmJKSG1k?= =?utf-8?B?SWc3V09MdlQrbXZ3c0FjMHlGN0gyTEJaQjJOdnNFQm9CVHI1MnlzSThkWEFV?= =?utf-8?B?ME9LUiszWWhPcHUzNUREd29DWTN3amloNWRaY1ZaV0Y4dlFxMG80UEZ2K2t0?= =?utf-8?B?RTc4R2RCaXFQa0xkbTFZeWxqQTRwSmpWank2dk1OMDl2U0phQzNWZURJUDZO?= =?utf-8?B?WjRyRzVoUCtSeDU4cHJYclFPNTRwSEhSNHAreUlaM3d5WkxQa2JOWWhvRFA1?= =?utf-8?B?VWgyYVkrc0d2SVR5QWEzZUMzRXppeVNnMGI3ZlErbS8rRmpJSGQxMDcxRUUz?= =?utf-8?B?REg5TExhV052VEl0MDB5dWdFakgwdzd6TUl3R2VBaVFUTjZoZVhpb0UyaytQ?= =?utf-8?B?UmRSd3JWa2ROR3h2Q2V4eU9tcXFhQXBlOElsc291Mm1qOS82N1k3SndPbHhE?= =?utf-8?B?SlVZSXNmRG9OYWJrK3R6eHJnWUVWanpabHNqdzlwbzFtRDByTjRTK1R3T3RX?= =?utf-8?B?VXNSazdKVjZSeWgzMDVvb0hmWXRybTZWU3BOTEw5Y2lCTzIvSHN2eXFvSWhC?= =?utf-8?B?TnBLN0d0WHl6RHJvT0srbldhcDRmRlBMeXJmTTViWVhFZ3c9PQ==?= X-OriginatorOrg: mq.edu.au --000000000000d91539063de99536 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Dear colleagues, I am looking for a PhD student to work on a project in the semantics of Hom= otopy Type Theory around effective Kan fibrations. The student would be housed at the Institute for Logic, Language and Comput= ation, which is part of the University of Amsterdam. The deadline for apply= ing is 27 September. More information about the position and how to apply can be found here: https://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/15777/PhD-Pos= ition-in-the-Semantics-of-Homotopy-Type-Theory Feel free to forward to interested candidates, or contact me if you have an= y questions about the position. With best wishes, Benno 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 --000000000000d91539063de99536 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Dear colleagues,


I am looking for a PhD student to work on a project in the semantics of Hom= otopy Type Theory around effective Kan fibrations.


The student would be housed at the Institute for Logic, Language and Comput= ation, which is part of the University of Amsterdam. The deadline for apply= ing is 27 September. 


More information about the position and how to apply can be found here:


https://= www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/15777/PhD-Position-in= -the-Semantics-of-Homotopy-Type-Theory


Feel free to forward to interested candidates, or contact me if you have an= y questions about the position.


With best wishes,


Benno

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