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.2 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE, HTTPS_HTTP_MISMATCH,RCVD_IN_DNSWL_NONE,RCVD_IN_MSPIKE_H2, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from AUS01-ME3-obe.outbound.protection.outlook.com (mail-me3aus01hn2216.outbound.protection.outlook.com [52.100.209.216]) by inbox.vuxu.org (Postfix) with ESMTP id 3E703267A1 for ; Thu, 14 Mar 2024 19:25:08 +0100 (CET) ARC-Seal: i=5; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=jmjfre701ijCz7DdEk3Wn5DM4XtQD7+LiI3uD6wNpcOdQY/qAEEEibYSnzrcmQADf9UBLiXVdLcazPePKQXrrlKEHDv1fdrFX7abDN8jS4flQJsewoX3QViecgAGL8Tx9l4Qh6Rnw0ZyDtR2Oxs6CMVxUqxxLuDWK3Mc0FbQTW0LCM4TkEQucTj6c+sEhWNQznXimv0HeGRhXUY0ZAR8sqVq3fs/TNbW9NcbnbWI/tgutwn21LMzcEfnNzNoGhIw7kLytOohGql7Y4mjkaf2f4FLN2Euk+/rzWHQAsgmw2TDTJmXziPNifT6g2MCuokl65fOA4P/j+VUZ4Q/tUmRfw== ARC-Message-Signature: i=5; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=TkxX7ixETUzU2cmAdBkerH7fSON7fkRJTgXdkUvUcBQ=; b=Re6ktXd6WiElDbD/CvySkzT1SvMvCRGrcz0ork0Sb+mL12aTdMo97k0aF6BBthj21HGt+kC8HyvNBNeb4LcfCXtOAcRBW3FX3QJFXdNe/sEGvpIgkdpD9KEegjzIpzMiz2HtBTSdlm2BcauUGwV2pzuECXb0AKPA/Ux5VkO3tn4svjq695ZXFjaleNKcPCrVmDA5pW1q7YJ631ZeylScTpmdIlxqpUPxQUTxB2h5GxUdU0t9LkMLVh0zfszZp/tIHOMfKjPV9LqyPuJB9MvKn0z/x2e1IOMnK8zaktWF6VLPp+5f6JhETpf269HpR4iSxAmFzwF19TSM7tI4HpdJPA== ARC-Authentication-Results: i=5; mx.microsoft.com 1; spf=pass (sender ip is 40.107.121.132) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=strath.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=strath.ac.uk; dkim=fail (signature did not verify) header.d=strath.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=TkxX7ixETUzU2cmAdBkerH7fSON7fkRJTgXdkUvUcBQ=; b=uTQ3+jAKqFTmuNK1jMfEm5+n7uZlju5WaNi0LgjCpVsSD+dyBjKlsPfZPQ2jdQMVOej/nzqY5809hIo9LivT36xPvzBEuLEokYliPWgFw4jIWUtwQBEpAUMTjNnXC1FM8MERZCKIu/CLVZJK2Q0KqzcPnAKwFTOJ6mwNiTKHPMSzQCjYZupHtf/cgQPlMXXxtxrDQzzizUO+ql8EJXbB2moILr7cvuZHv23gphbm/nJuQf+7kIsQgiFp5EVeYmFMyzC6sykqPicF8XvUp8DOVzb0WsE71XhIoEY5FEfIPMAuWQz1mlgVO0wP3WjLngyrGof3QqJHP0NzhoRXdnQf0g== Received: from SmtpServer.Submit by SY6PR01MB7429 with Microsoft SMTP Server id 15.20.7386.21; Thu, 14 Mar 2024 18:25:05 +0000 ARC-Seal: i=4; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Z/bwajgNUgsIQVvZomDUOXfAT8EYLKyq8JnnAkqBWX8Rx+35v9win2UuzFdU73e/gMdaXU1d+JEGM2SnyJ9SiJKG66dSW6aAQeoZ0R40luSMi+HFy9z7mJcjjSaD66y4Tzi6aGD1XNAEfXgNp7SyQ0Iav78DY5/jfj/F8AK08rI3eL2hU7mX9fsDg6/W14Dz85FI61eBu8GyrO8OVmX1fH80bN0vTGpBVNn+D46eFytiEwf168ksgEyoZd+lyXy5/LPJKvWpnOfrRXTzl48r3doekzvQho8oTuLWSpdW2qBCZLGsstsinumLOIgBi/CqsDgdDuaT1KxOHd+Zh06Pvw== 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=tRHI/w5WRRoQQDH1iE5s+C98hDEdtA6OAsFkfBCOnNI=; b=c2D5Muu91OojKPCPXyCHcehwyQ90f8Sfm8DKukMIFmAymP9XjSo0vHMKbKlEnbPuYhiVAMamQZ7TfDQpBVbDNF1lUmeN4k18IlerScPq1H/v06z+oWI10p8q2h2XK2i5BdSgpBguB1c1dYVKyHqiwpU0f20XAj/UAZu0zakhhaXQ6PdtKvv9uof69GwL+gK7TP8sx1PE7oJrGQQjVeIzi+3yG3L3Y/t0RZjjYhTYzKQi3RFtN/Kuo50H//CuPv00nb5NgxA01JarykWSPifUIsIjy8HDqRzqXxdtvDpK45nffu53jVo6XSygPvnrw+v5EQcZfbOngAmM+H4eguzwLw== ARC-Authentication-Results: i=4; mx.microsoft.com 1; spf=pass (sender ip is 40.107.121.132) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=strath.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=strath.ac.uk; dkim=fail (signature did not verify) header.d=strath.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from SY4PR01MB7185.ausprd01.prod.outlook.com (2603:10c6:10:146::12) by SY6PR01MB7429.ausprd01.prod.outlook.com (2603:10c6:10:164::10) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.21; Thu, 14 Mar 2024 18:24:57 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com (2603:10c6:201:11::21) by SY4PR01MB7185.ausprd01.prod.outlook.com (2603:10c6:10:146::12) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.21; Thu, 14 Mar 2024 18:24:53 +0000 Received: from MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::2ebf:6b0a:b593:ebdd]) by MEAPR01MB2632.ausprd01.prod.outlook.com ([fe80::2ebf:6b0a:b593:ebdd%6]) with mapi id 15.20.7386.020; Thu, 14 Mar 2024 18:24:53 +0000 ARC-Seal: i=3; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=pass; b=Ok+44sELpOYggTgKOetFcCqAxacfQaRCwpQBPVbsFifvSEm9UyGrWkmTrCStZAXI5zJ/20owwtx5oQHZ+zGXOS0OtEDi+e/CP8RAGo5JG5ZEb9TpjHa/LP9JLDCqS+P+COQCBMX5QxJu1eWuy2+gp88a+HR9eX8pRLA6HWtQoJuXGrv7VzsSbNk5TzgVpB3r2qN2tV8tQsC7zo7HFN+yep+iTq6/sitY+PggY+Mwrn+OfNfaJx8t4dNS/0KndDoFcE4PRAw/j5DyDzq7jb+IlDgYi2nvnOks7RyLdkYOtyGgtDvxwu8uNREt8fX3/e+cl6JcHLrADST8TiMQpuJdwA== 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=tRHI/w5WRRoQQDH1iE5s+C98hDEdtA6OAsFkfBCOnNI=; b=eE0M/2OqMIiOxQ8RqelEmTEDBZWOzdMBZa/mn4MSnePnAYciSMDZGqgJdh/Ls9RaOOOtge4iwCzqhGpXcFtJoHJw4XK3JW14o+se9vOh7SRLh6s7IrNlVWgezMVx7ElAzx6vUg6J/4Ta/xJfadMl6+2O2WU9hKXoptv4fIJ+ZyD9XmHmmVDfZALHUT+UspBPOOjCeOrH+DpgAiDoblzbayk3Wsga/lKFSk3U8QEryvLDbRehgCkVhf7gmWQn+e7+P2R0L1Ql8zx21Z8WMLjx06sr5339THD91E05wsUoiw8xn0Nh9z1ZgETM5scmHOgsv3hv/dz3eyL5y3oM4BERUg== ARC-Authentication-Results: i=3; mx.microsoft.com 1; spf=pass (sender ip is 40.107.121.132) smtp.rcpttodomain=mq.edu.au smtp.mailfrom=strath.ac.uk; dmarc=pass (p=none sp=none pct=100) action=none header.from=strath.ac.uk; dkim=fail (signature did not verify) header.d=strath.ac.uk; arc=pass (0 oda=0 ltdi=0 93) Received: from SY5PR01CA0115.ausprd01.prod.outlook.com (2603:10c6:10:246::7) by MEYPR01MB6694.ausprd01.prod.outlook.com (2603:10c6:220:12d::6) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.21; Thu, 14 Mar 2024 16:08:47 +0000 Received: from SY1PEPF00005A3D.ausprd01.prod.outlook.com (2603:10c6:10:246:cafe::89) by SY5PR01CA0115.outlook.office365.com (2603:10c6:10:246::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.20 via Frontend Transport; Thu, 14 Mar 2024 16:08:47 +0000 Authentication-Results: spf=pass (sender IP is 40.107.121.132) smtp.mailfrom=strath.ac.uk; dkim=fail (signature did not verify) header.d=strath.ac.uk;dmarc=pass action=none header.from=strath.ac.uk; Received-SPF: Pass (protection.outlook.com: domain of strath.ac.uk designates 40.107.121.132 as permitted sender) receiver=protection.outlook.com; client-ip=40.107.121.132; helo=GBR01-CWX-obe.outbound.protection.outlook.com; pr=C Received: from au-smtp-inbound-delivery-1.mimecast.com (103.96.22.101) by SY1PEPF00005A3D.mail.protection.outlook.com (10.167.241.36) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.12 via Frontend Transport; Thu, 14 Mar 2024 16:08:46 +0000 ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=dkim.mimecast.com; s=201903; t=1710432526; 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=tRHI/w5WRRoQQDH1iE5s+C98hDEdtA6OAsFkfBCOnNI=; b=BKOymOSipYR6/ELX80tWDz6vJuduaSNmS5RpahCmkgz2FcMWLAdoIhp3NME5QD0i+PO/+s diBbnlgVBc7zoZgGJUFQaUNvF4J5WF+9ulNaQmuLKG4dWBHsrnDZpwiwgPkEsMP5hFFyvm Hs16Aq3dtglO7nV+yQWUiD5J2IuBkA+Rf1Huk5TAtZwZugNXnYHmJVv0IMiEO9SAE6sTUu Nh/E5wnX3EWYCU9I8QbOZCt2qpZtRdCDwcleLsEqg/7Eft2+oBWKVzCkfidJvHKnTC40J7 AAg5T6lR3KNKL201LtQC5LfVNC37zFN+fQA90PJCiXtAKyTNmo/KxWNXhOqBCw== ARC-Seal: i=2; s=201903; d=dkim.mimecast.com; t=1710432526; a=rsa-sha256; cv=pass; b=kJI3QAfCFiVK9SvHsDY2kdiTc6WqYTICgewQxUquFuhj/swpcyiWv6BX7Y3fbEOg7UnUk5 QgjGBZDQ8iUY5ZeJqmhChVyNsfngQsBiYFU7MCRpF9645rpg7aMUw2UH57CESqixhCjAiN eCRYYGuvKTqdGcExrvM9TaaGkFa69ON7RmW8VCIgS0pf2aKDTwoZ09A3+ajwXcybZlisyT DUs7vz2fh0FZEGgk33ZxZeb/iZP55paf4bG5nTXnEgVJBW+TeD7S9H5XaxrsiR6V1lH40A QSK0zLBDXPsjTQb4+g5Clib1vLgBZECtqz6e48RPWpcqJd3+X0zU269Z3TOZ2w== ARC-Authentication-Results: i=2; relay.mimecast.com; dkim=pass header.d=strath.ac.uk header.s=selector2 header.b=A6SkGqyW; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=strath.ac.uk; spf=pass (relay.mimecast.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 40.107.121.132 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.ac.uk Received: from GBR01-CWX-obe.outbound.protection.outlook.com (mail-cwxgbr01on2132.outbound.protection.outlook.com [40.107.121.132]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id au-mta-94-35qjJBvwOsuYdWxh1D1-yA-1; Fri, 15 Mar 2024 03:08:41 +1100 X-MC-Unique: 35qjJBvwOsuYdWxh1D1-yA-1 ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=mbQiPXRb0MKNuNW/WGiBrjtoDspQf4v+x+XfDD9zwD3PuoD+YVP7Snkv92xOOAxvWHuULvdQFBlGOPtBTDJXdQ5KOzN8DiL12QL4eJVavobwWlYYzge4Y6LGbGYcQS46QyeTqsYBLWw3/Br6Za9YH+1kl6uzzGTn11OX7jAmxHLMtf747gqdTPdi857QsvBw2j8b2MbUPh0BXo80mUUbkF7oIkWJOt9/RAo1NGajK7Mz0tWnWiEf4UT7ct2xURC8U7aaz8pQS0iQOLPUxbRZsuVOS8+WllweHxeUdL/TVuq2m0ug6PB8qq+PLjagYK1o83IOd5uQjcwuNYhBRYB9vA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=7LbJyc27CUkEA9/utS6fl9tNI4SeIX/8Scsih2dKlRM=; b=aeoC+ESFbqGmBqO+tyUS13TSPfAXLI8LZRyJkvDRNS/WcVUxW0PoINh+Rhk9K1IkbgDlI5c48LwI7WRADCzgR5WAwr6Y68TrDtFkNOf/PU119QVRogBbAoSjXro1dj8MMhRN9rMK3iay8+3EHRncCqnabu8df6og/ywsZJCjXIqTfQi/6iUY6ki2HKJ9wiOb2TAZH4nL7LvvjvHD9t6RAjwzOEWg+OtO+UnmDTsNMvafw12dymnSCnWsFBCl99GwdHBFWhPN1mBfSbZvrEocAbaveniYIDldwg1FaJ0YZPueypCl/hPDe36OKeSuzRZOCZB5CtvVWAGCcTsbq5ANAA== ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=strath.ac.uk; dmarc=pass action=none header.from=strath.ac.uk; dkim=pass header.d=strath.ac.uk; arc=none DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=strath.ac.uk; s=selector2; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=7LbJyc27CUkEA9/utS6fl9tNI4SeIX/8Scsih2dKlRM=; b=A6SkGqyWWI2IO6NPo4SIz3JBWy47BR79v1+muZ3q+SU886tLTMYqfCQkvAsIxugi5SLd+SadMq17H6QUprAd8bKq06hhBAw95B4t+6+HlT2au+6Wk723tG9GzfoOuf+qBYRyxoFyE3UwItzUzyVs3y3U4DQeV/OEvEnyJKhplQOPpIsWIZm9RgfwuT5HOoq5vMMij/lp91MpsWgzbOsd4XLhKAEKc6TBqNm8WCNvGEuQz8rQFOviaBqqZMZrB9iA4nr6/RwD6WpmlnaMSxf38FWXWc1RzdCkh0nW+VF+02kntZ+gd4zjpnvfgcUnnoCLerwmNm0G3F/GgeCVm6ZgKQ== Received: from LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2a6::5) by LO0P265MB7074.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2ec::14) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.7386.21; Thu, 14 Mar 2024 16:08:37 +0000 Received: from LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::e42f:5b74:2591:145d]) by LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::e42f:5b74:2591:145d%5]) with mapi id 15.20.7386.020; Thu, 14 Mar 2024 16:08:37 +0000 Message-ID: Date: Thu, 14 Mar 2024 16:08:35 +0000 User-Agent: Mozilla Thunderbird From: Fredrik Nordvall Forsberg Subject: Postdoc position at the University of Strathclyde To: coq-club@inria.fr, Agda mailing list , types-announce@lists.seas.upenn.edu, logic@math.uni-bonn.de, homotopytypetheory@googlegroups.com, categories@mq.edu.au, spls@lists.cent.gla.ac.uk, msp-interest X-ClientProxiedBy: LO4P123CA0371.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:18e::16) To LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2a6::5) MIME-Version: 1.0 X-MS-TrafficTypeDiagnostic: LO6P265MB6063:EE_|LO0P265MB7074:EE_|SY1PEPF00005A3D:EE_|MEYPR01MB6694:EE_|SY4PR01MB7185:EE_|SY6PR01MB7429:EE_ X-MS-Office365-Filtering-Correlation-Id: dd0ef6f7-e807-4fca-717d-08dc44410766 X-MS-Exchange-SenderADCheck: 0 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam-Untrusted: BCL:0 X-Microsoft-Antispam-Message-Info-Original: bCohOumckTIYzupp8L66N3PjaoUGkLtUcqkNFggrTBgO/xJWjKUZSJ1TLtVN6d6YIaj7esmCylPjnqQSWmENvKIs+nOgjzMDeohgAb+KH00qd6CV7h8wyiPT9SWc9YiYD9Bprc6beLzToxj7qbTRg5W0bmV/tKpML2JvlZ/pk2+M2nCL0t1SlwwGSVXd/McJ6vkxd+oMxeQ93IYzLHzpONauSjjAOXjUUvlhY7xsBFE32AXkFdljxggfkkgqqElSTPXLPpucOarfxbu3Ljop5ajJ6xgmpXkVBSUxXN7emuYi1Jk2ztX7yzXxSFG4vHasSVZFch+LzFYW4/SnCxMZ+xsKJ5sxI7C+V7XZAV9SLQ/yc/zXiIPWP9y3KIDtkABT6BiweNGpzGLTwMTaxQMFm276I54Boql/wn7RFzpvtuNBsp2JAxM1ZBECKG8IGFbTm4neNEM8S7AAjdoAKUjydkKWTFVs2fTwU7zgkqf9bQe2jo41OoIYZuqekB0dZjOXhjNQDdm99Su/BhlKB+0q5jDrL+8CXuiEzNB/75vGLeCPW1EJn+IFSHMhC9SKkkhhAd83dO5eex4AjO1pMhNNfQ4crBBYImbVRdnmJARmTIU= X-Forefront-Antispam-Report-Untrusted: CIP:255.255.255.255;CTRY:;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM;PTR:;CAT:NONE;SFS:(13230031)(1800799015)(376005);DIR:OUT;SFP:1102 X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB7074 Authentication-Results-Original: relay.mimecast.com; dkim=pass header.d=strath.ac.uk header.s=selector2 header.b=A6SkGqyW; arc=pass ("microsoft.com:s=arcselector9901:i=1"); dmarc=pass (policy=none) header.from=strath.ac.uk; spf=pass (relay.mimecast.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 40.107.121.132 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.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=_12403150308440041" X-EOPAttributedMessage: 0 X-EOPTenantAttributedMessage: 82c514c1-a717-4087-be06-d40d2070ad52:0 X-MS-Exchange-SkipListedInternetSender: ip=[40.107.121.132];domain=GBR01-CWX-obe.outbound.protection.outlook.com X-MS-Exchange-ExternalOriginalInternetSender: ip=[40.107.121.132];domain=GBR01-CWX-obe.outbound.protection.outlook.com X-MS-Exchange-Transport-CrossTenantHeadersStripped: SY1PEPF00005A3D.ausprd01.prod.outlook.com X-MS-PublicTrafficType: Email X-MS-Office365-Filtering-Correlation-Id-Prvs: dea8db5d-215a-4a6e-6095-08dc44410195 X-Moderation-Data: 3/14/2024 6:24:50 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: JxODZ/K9h9NE6ANLGGWyrwKdpsxjpYdCsvc/wE+pYmQNqyQIzO+Hj9QPN0WMAu91di2a9vgdDbl0wO4ddPVfNNQy+2A9i1LQ1+7AWkdn7TuD9+biyQsv0sbLbPDZGUC/HraNFYwAx+psaJ+rVtOJjRuJ4sOsYztQMvPab6NkGnlJgSm0uR9/1YSxjRceWhJ+YQkhgHSh/KTOur+q7dkhIOH3CgEa+wF5cUq4BWwNNZUQ8uBkZ60cnt95L4Dlahxb0woIPTUKpoO/Cj1GSTFBd+mukv9RZbKLMrZFmM8JxBEFTjGShiIyIYQ5t8RwLcWbZAbRkIrV18L8HN4TfHPL2tRIpb4tVG8lrxhepigukPRYofq9KxZ0211AJEf8Rglq5949GHyfkb5tYo0/+B2zJPhvaSkUq+nTYZx4kOKoIs1nkKVvTuN/G3NsFms1QfN2r0qPfPH6u+kU6IU0arHvJI3BSv0PGxM/4HT7ha87eCWR6G73NtZJiOc1c2Vz0pty2M/qgzZNzWMl5WH/cCBckcEEYNiJ6YPJyC/XCRyMMkI/2idd6GudgL0M0YsWKt0jTOEuL9W4p60iClm2t4YtiwXAY14ZP7N/EUxayNEZ4aQ/H1+2NWdbMKGDtWMCWwrW/yLeR7ror5EP7Kci7zz0TI2iNwvUX/IdRHpLowqQNn2vtni3vW7oTrU9E6bJEe2I+GeJ/qOm5fTVPWXHyEVYG7YbpCjzn5w3bZ6UnRP5bBx15PWccrBKYObrApKdtSwvAYQ8euwCFY3bRaYvPYslqAQGKcJQrGpRNAaGygnj00c= X-Forefront-Antispam-Report: CIP:103.96.22.101;CTRY:GB;LANG:en;SCL:1;SRV:;IPV:NLI;SFV:NSPM;H:GBR01-CWX-obe.outbound.protection.outlook.com;PTR:mail-cwxgbr01on2132.outbound.protection.outlook.com;CAT:NONE;SFS:(13230031)(1800799015)(376005)(35950700004)(32650700005)(82310400014)(7416005)(32820700001)(41080700001);DIR:OUT;SFP:1501; X-Auto-Response-Suppress: DR, OOF, AutoReply X-MS-Exchange-CrossTenant-Network-Message-Id: dd0ef6f7-e807-4fca-717d-08dc44410766 X-MS-Exchange-CrossTenant-Id: 82c514c1-a717-4087-be06-d40d2070ad52 X-MS-Exchange-CrossTenant-AuthSource: SY1PEPF00005A3D.ausprd01.prod.outlook.com X-MS-Exchange-CrossTenant-AuthAs: Anonymous X-MS-Exchange-CrossTenant-FromEntityHeader: Internet X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Mar 2024 18:24:53.6577 (UTC) X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 6qAvHvdBX8jBy/SXXh2YLbPDTfbOkLfrh5/CsQkwESV4I2FztN2+WAtVY66hMvEIJQQcNmuWN+ekhFymC/pjFcvllzz35qoMYNAw8atjy2B1b34rwERRY0L4C5JtSeADUiowHqzRq1B/hCSfWw1s2Dp7fnev4BbUuHpmKXEdvzs4CY90vXKEg6/7JYkHik63 X-MS-Exchange-Transport-CrossTenantHeadersStamped: SY6PR01MB7429 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?eFhUVkJjUE12Q1E2bCtQaG90QzRDMlQ3M092cVJuZ0N4eno5ZHJuT0NySmtr?= =?utf-8?B?TUNrNzdicEg0VE5LUDBwSkgxZGZMaFpTcXA3bWd2ekFQY3JBaVBHVnZBTGlr?= =?utf-8?B?U1REMEx3SEh2MnFUOFZ2WVZjUkhjem5SSnhIZmpCd20wY2ZFVG0vK2xnbDll?= =?utf-8?B?SGIxMDJYUUhFTEw1OVowK3d0dklVTjQvb0hoRWZrRTFwcDM1WWdld1BwZzVW?= =?utf-8?B?UnN1MXd3MjVNQlhEeTF5eVMwWXg0OGxFVnJBdVAxcE41RnFQdzRzSmpXYnds?= =?utf-8?B?TkdQYVFPUjFwZ1ZQUUpyeUI4b1EyaXhzd2lZY3VHTUpXSEpoNlA5S3lsMlpU?= =?utf-8?B?ekcxUW9xMzNpbU05dmp5QXFLQjZRMUZmR3JBSisweTdUbGJrU05wc29OU1FB?= =?utf-8?B?c1Z6aUkzTS8ra3RIMiszVWxzK3VpemlSMVI5VERMNmxPd3o3alBWcHpkaFpN?= =?utf-8?B?WmE3c0Vlb3NQYWowWmNJQkpONTFweDJjdlgzN0lrem92VVBIcW1tbElIcFoy?= =?utf-8?B?anJzR0VWUkphQkNhdm9yZGw5ck02empSRG1lbnpFRlhEZDljNzJScXRyQWZs?= =?utf-8?B?Ump4aHlYMEpRVVptalcrT2Z6RVFHSTlPSGtOUUlQRm9HakhzcU5LU05QR3B5?= =?utf-8?B?ZkI2UzlDTHFSTUoyeHZua2I4RStlK3B1VWpNVkpXbmdHWGlMZkRvVE5Ud0Ra?= =?utf-8?B?S0Q2TWNRdktSWUFka0xvVHZhRG9sdDFneStDbDJsSTRBckhMRTh5WDdtVUlw?= =?utf-8?B?UnlDQy9QamhvTm5MajdnZU4xSXU5V0NqRkpwUTd2RXRzZyttdkZsSWF0Q1pJ?= =?utf-8?B?Y3N6SDVxK2pHQWthOVlrdk5XdXNHQlYrOFJnNXkrVGJ5OS9aeDNOZE1URm16?= =?utf-8?B?T2xBSWh6clorbkpCaXBlbHRFYm1HM09DTmI0U0t4SzZ1dUNzSEorVzgwc2Zs?= =?utf-8?B?cER5cXFlUFV5SitRZWNJNmpXajluWTVWRVcxVU9NWDRTNmFnbXZvUTdNNG8x?= =?utf-8?B?TkZ1RmRXTXRTMmR0aDFuNkhhK2NRZWRVVEMxQU5zTjN2WEw2N2ZYU1E4dFU1?= =?utf-8?B?VGZkeE1EWFRCZFZjL0t0YnRXajZOT0RwVWNsaTliREQxMUNkQVA1OHhvKzE1?= =?utf-8?B?clNCTTdLMlRLS1lkQnlXeERtbnIrSWk3Qm5jclJ4SHp4Z3FzeThLSDlPT3Fi?= =?utf-8?B?VFA3VFk5Q0taVDJ5L3hrdEpmbTZOTUtSc0VVN2h2ZWNiU0sxTnpWQlh0QkZC?= =?utf-8?B?WXdRdFp2aU9hWFB5c3JTTFd6eXN5UFQ0dmVrYkYzWmt4TjdkSDZoMkxhT1VY?= =?utf-8?B?cGt1b3cxZjFISE9RcmQ2aVRBdmF0QjB5RDYweDRDcEpsVmJYZmxadVpINHFk?= =?utf-8?B?bUJkY0Y4RDNjb3RJek5wUVNaN0hMUXFGNU1ZMVVTVU9jb2tEZldSR2VLeFN6?= =?utf-8?B?alhJOVYzQU9BQU5MdEJXMXVjMkk0MktBNDVWSmVpZDFUVW4wVmt5MG1jM1Nr?= =?utf-8?B?bGk1dDVSbXphdjMwV2ZIMERzWEZtV29FZHB1Qkw1SHRIWGR1OWlPd0RzQjlB?= =?utf-8?B?TWVUdDJYZzg3QTczY0lQK21pQlBUN0dXTnVUbTBrVVVTSVF5NEFnazNxQ2Vq?= =?utf-8?B?YXFUY3UrZnZPZ3hTQks2V2t0a2NWalhKbXlEMThRVllHMjl4cGNjN3FuSDFk?= =?utf-8?B?cS9KWVlvYnkyWE9paml1OUxDbDVDWHJpWUxqY1RKWnRmYS9tTW1mcUdFTzB6?= =?utf-8?B?UDJuanpONXVYTFI5VmVwcHlJcE8zTzkvU1VTUVZCUVhmbUsySlB4WWdna0pt?= =?utf-8?B?bVU2b1pISEZ1Uk8rZmlveTIrOEVabE1OOEdHL1dsem9jUGQzM0F4b2habmc1?= =?utf-8?B?R3VTNjFiMURhc1RHSWFqUDg4bmhuc1hOdk9KeW1WS0E3WlBQWGgxd3N0Z0Fr?= =?utf-8?Q?ZLMtOSN4JpSNycHlvIiewe0wykc/jIrL?= X-OriginatorOrg: mq.edu.au --MCBoundary=_12403150308440041 Content-Language: en-GB Content-Type: text/plain; charset="utf-8"; format=flowed Content-Transfer-Encoding: quoted-printable Dear colleagues, We are looking to recruit a postdoctoral researcher to work with us at the University of Strathclyde (Glasgow, Scotland) on our EPSRC grant EP/Y000455/1 A Correct-by-Construction Approach to Approximate Computation. This research is aiming at combining techniques from logics, model theory, type theory, category theory, continuous mathematics and AI for developing the foundations of approximate (quantitative) computation and apply this to programming and learning paradigms. More details about the project can be found here: https://personal.cis.strath.ac.uk/r.mardare/projects.htm The call for this position, with a deadline of 31 March, can be found here: https://strathvacancies.engageats.co.uk/Vacancies/W/5820/0/421067/15019/res= earch-fellow-599328 Kind regards, Radu Mardare Neil Ghani Fredrik Nordvall Forsberg 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=_12403150308440041 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=UTF-8 Dear colleagues,

We are looking to recruit a postdoctoral researcher to work with us at
the University of Strathclyde (Glasgow, Scotland) on our EPSRC grant
EP/Y000455/1 A Correct-by-Construction Approach to Approximate
Computation. This research is aiming at combining techniques from
logics, model theory, type theory, category theory, continuous
mathematics and AI for developing the foundations of approximate
(quantitative) computation and apply this to programming and learning
paradigms.

More details about the project can be found here:
https://personal.cis.strath.ac.uk/r.marda= re/projects.htm

The call for this position, with a deadline of 31 March, can be found here:=
https://strathvacancies.engageats.c= o.uk/Vacancies/W/5820/0/421067/15019/research-fellow-599328

Kind regards,
Radu Mardare
Neil Ghani
Fredrik Nordvall Forsberg
 
 
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=_12403150308440041--