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.9 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_EF,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: from mail-il1-x13f.google.com (mail-il1-x13f.google.com [IPv6:2607:f8b0:4864:20::13f]) by inbox.vuxu.org (Postfix) with ESMTP id 805162AF29 for ; Thu, 14 Mar 2024 17:08:46 +0100 (CET) Received: by mail-il1-x13f.google.com with SMTP id e9e14a558f8ab-3663022a5bdsf13385135ab.3 for ; Thu, 14 Mar 2024 09:08:45 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1710432525; cv=pass; d=google.com; s=arc-20160816; b=QxKYm3KuscFUqj24hxuXeghT4ZT+qXk9p2QcZ8RaIzQwj1tki/AA/uozv3qKT4zb25 c4ZXPdAcLhgs8UB2vvjTx6De2JHuyP7L+ja7T//EfWDsPNAabOymH31RVZOlVM3cusFe Pph1Jgr0G6ZBRoaIilRe3EIGgMnHa/HBF5STSYujtMLBuLYa/VGHPO0z7kSXnzpAvYl5 ekVfY0C4hhU5azJIsDcf3BmVWtLl2hS1pC0QVgIv1nf4EtX+eXpaLVFxOUcl5mecEtoE es7yBOLZ8nch8UWkYHB3W0D3eEIzt2Ja0spCfOLCSM+q7VPexqVhfwrjHvEuHousE6Cl yueQ== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:mime-version:content-language:to:subject :from:user-agent:date:message-id:sender:dkim-signature; bh=ZW5JDXWSx8UPEKkqBjC7rGpBGxqfZlW2BneM/pbBgKQ=; fh=Tmpts2iN9+NpSTx10zRx16YSczVGjWgkiSmgcPHBuFA=; b=kLEtaizlCC/eZrmX486hHps3h57j1OLo5kwoWmvLxJV6YpA9AHKgT/LT8Yf2FKyk/l j6SKwV7J4XLUJV5X1N8eN3RAs7At0GSN4ZvwVDkj+TLgvg0YpbVLnc02HEtee5YUzqKd SXTPjmgDgJACjiC/MPRN81+YM6gpHLy+ait6iDPBi0MeWzUpY1NNKVkptipdG752MW1J 8w+oyb54hL08HIc7SE3GvmI1ac5YuOwS2BtKgWEc7gj3NHU1HZzpaE/QymAkidwAqwrL VM1eYbQVi0yQm1fQOSDEyGjuwXDSI4aAne5uBgzWugkfpjWq5sE78ivwXEJnEwgG6NYC 0spg==; darn=inbox.vuxu.org ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@strath.ac.uk header.s=selector2 header.b=A6SkGqyW; arc=pass (i=1 spf=pass spfdomain=strath.ac.uk dkim=pass dkdomain=strath.ac.uk dmarc=pass fromdomain=strath.ac.uk); spf=pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f403:261b::701 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=strath.ac.uk DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20230601; t=1710432525; x=1711037325; darn=inbox.vuxu.org; h=list-unsubscribe:list-archive:list-help:list-post:list-id :mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:content-language:to:subject:from :user-agent:date:message-id:sender:from:to:cc:subject:date :message-id:reply-to; bh=ZW5JDXWSx8UPEKkqBjC7rGpBGxqfZlW2BneM/pbBgKQ=; b=sUwCGuHZbqQx9Fdquc0yv6UOwwaOuFzzNN6RfvCYSCx9kcC8GUzhHXbzLS/3zDATk6 mKPRnITsDNItrn8kS9rIQGNc39SY9oz43adOst9ygIq1p9VJl1ptix8gxdu+qNAp+R4P dbT/vHKlHY1ZfuRlsefTWpZl+FGXEMTx9v2tJ8oa+b0Ok/670LGAdKi0OlCXZ/T/4Es/ HKXZIGd0QQ+1DMorJGIOtkLY0U6BvBnZDH/cv1QzptsUyV2CLU/oGOG2hLFG0XQK3/A4 5QPUIjnYvrnmhfpTySYhXJ/cng+P4fA5XSkx1k3DZQWey+IL6i7YbWVkB+4TfmVnz/9o Bn+g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1710432525; x=1711037325; h=list-unsubscribe:list-archive:list-help:list-post :x-spam-checked-in-group:list-id:mailing-list:precedence :x-original-authentication-results:x-original-sender:mime-version :content-language:to:subject:from:user-agent:date:message-id :x-beenthere:x-gm-message-state:sender:from:to:cc:subject:date :message-id:reply-to; bh=ZW5JDXWSx8UPEKkqBjC7rGpBGxqfZlW2BneM/pbBgKQ=; b=W+o0zMSzQReRsdwCDBsFHFACdatDiATcFrhcLhW5WgUijprpPt9HtOwukE/N5smLoN /vq/OVZGMlNOv/DsyU5F18GScGhP4fHO1qMTJrTYhyTd9zsclL1G0Qp0o+cjeD/lesFi u9jNdjlc4XF+ngF3tClUZ8sQXcTuyLbFRsk2eCKZxrn/Xpc3ObtFulV9UjJCElAYbWxi GPhaXn3EJomgq6wt4vT+rSFAPdve4EkLViJxAL1EhtjW1evDzmKSRr0a8ar4j450uEIj sW20nY+KbZxCzmaXX292/igYZG7CE2WinoCXfH1RDJv9eM5zk+txAsDO4aNW075enmdq c16g== Sender: homotopytypetheory@googlegroups.com X-Forwarded-Encrypted: i=3; AJvYcCVmZMlLGQ6S52qyFKKTLwBSm9HcCwzuI8YERMxq8aY9RPS2+if0gnCWkGC/Zhuy9tO426WDI1J0kp9CmatZ+y0ZHA== X-Gm-Message-State: AOJu0Yw4NsFYWQoe1Wbg3n1koKzmIFFXxdvRczNSdbfCZhQs+vdilP+H klEVc1daMdr8zj9qhlKPktYoWbQg8cea20z+w/VOY6vur8RSUnFB X-Google-Smtp-Source: AGHT+IF/RT+8zf6nwpiDovOh0GQJtyOCwuzHXFgYBguhvD/pX3OQqM2urwNPUjcyKpcT4AjSBpxqpw== X-Received: by 2002:a92:c104:0:b0:365:c6d9:2d63 with SMTP id p4-20020a92c104000000b00365c6d92d63mr2393777ile.0.1710432524699; Thu, 14 Mar 2024 09:08:44 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6e02:1548:b0:365:c70a:a9ff with SMTP id j8-20020a056e02154800b00365c70aa9ffls768011ilu.0.-pod-prod-01-us; Thu, 14 Mar 2024 09:08:41 -0700 (PDT) X-Forwarded-Encrypted: i=3; AJvYcCUZKz8U2OWt1zpYLArEX1MyPPc1ynx+tjPbVbhF3+icEAO2jKpSpIp/9HTSmVALVGzfS1yUB1lTnIPqVy/nSML49tluUWgA/yffHVbYDy3vUlUykw== X-Received: by 2002:a05:6e02:cc4:b0:366:35d6:70a3 with SMTP id c4-20020a056e020cc400b0036635d670a3mr2116486ilj.7.1710432519584; Thu, 14 Mar 2024 09:08:39 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1710432519; cv=pass; d=google.com; s=arc-20160816; b=VxQTkmJ9ynwNBpspE+dkNKykzCKtIhXBxa6pPfN13zOItZRbdtrNFjdLxIpa8wqqrH rTDRdH9EdJ7yOt+/CbTgNocPOMKcg+BtvUPBIUsU0Q25Qm2jwWpbEjZtfC1+iZNNeRCC woXKIO6zvX2Y4KOGvmz7E4yHFC7TaWaRRxM1sIUlMiq1kstc//yQuWQKHNUW/cnvIscu vppe1drCtpeQ40lEgw98+JlpYqY1ukN/ps/KggaImJxZIn1fFp43MLF8Q1nia1UElYYa ruikW3qhQ2NCkSNAhEybUIX4aJTXonVPVbBw/m8BDuZUOCA+rjl2l28bfG0Ie98n+Wiq j9JA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:content-language:to:subject :from:user-agent:date:message-id:dkim-signature; bh=7LbJyc27CUkEA9/utS6fl9tNI4SeIX/8Scsih2dKlRM=; fh=J3W2P4hBV5fIwoynnykFLsV9e8fgDjzlh1G91LroYwo=; b=jjEOZMDrtA190Elaa6N7SvEMZx/DifNYv88Z9r9RG6ESq616n5wuxjNMDKVkvuKy9Z FmS49l0Ouq4uMoqeikpfm4nVIzK1jZd4Pmvv3fC8ZARhFuhuxQdo3R3EokZ0guQavyk7 WJtgiZAs9Geg76YiCn7SLCmM7Qsx//QvOgY6JHqxTw5jvKvb4w7Qqa5oaglPPh+2S8rg P0eAAJOUIbJNeZdgGi/AlxJFGo+ZQ37IBngQ6AhawZWXymFtXCyw84luUmyZWZCsFG9y sGnqd9ndKg/JZ3/No6e71m7Vb4SAbSDyzWNIo2SnOMud9BvTVhjmr/a/q3Glvq3tVdzx n/tQ==; dara=google.com ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@strath.ac.uk header.s=selector2 header.b=A6SkGqyW; arc=pass (i=1 spf=pass spfdomain=strath.ac.uk dkim=pass dkdomain=strath.ac.uk dmarc=pass fromdomain=strath.ac.uk); spf=pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f403:261b::701 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=strath.ac.uk Received: from GBR01-CWX-obe.outbound.protection.outlook.com (mail-cwxgbr01on20701.outbound.protection.outlook.com. [2a01:111:f403:261b::701]) by gmr-mx.google.com with ESMTPS id bt10-20020a056e02248a00b003662ddff48esi103590ilb.1.2024.03.14.09.08.39 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 14 Mar 2024 09:08:39 -0700 (PDT) Received-SPF: pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f403:261b::701 as permitted sender) client-ip=2a01:111:f403:261b::701; 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 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: [HoTT] 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 Content-Language: en-GB Content-Type: text/plain; charset="UTF-8"; format=flowed 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-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: LO6P265MB6063:EE_|LO0P265MB7074:EE_ X-MS-Office365-Filtering-Correlation-Id: dea8db5d-215a-4a6e-6095-08dc44410195 X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: 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: 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-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?WUtHOEpLeUMvcFk1SHg0QTU3eGpWUVY3WHVqbUdrdFN1cFREQ3R0OTFJL2Rq?= =?utf-8?B?ZmhsWno1a1RYSFExTmFtOXUzd1BkSk4xM3FJdk9nRlhQaXplYlVpb1BFUmdY?= =?utf-8?B?TWttZFZEQmVSVWVRMFlwdUY4ODJPU0xSdnhYQzFJNGpvSGNkcTl5TnVHWDhZ?= =?utf-8?B?VW4vQUlRbGV5NTBjV2dVYkdSUlZSZG5sekJsY0I0Q3FCWGJzZTdPUmtmdjlx?= =?utf-8?B?THg4Z1o2K01OWHBXelJYbG5FQ0ZIaWI2RnVVQ2NZWnRLOHFkakxEZlJGcndQ?= =?utf-8?B?cXBvUzR1bUltYnJaSWQ4UlZDUFByVXJheVdzREQzMURuMVpEaXp1ZjN6M0Jm?= =?utf-8?B?U1dmWW1GakhCb0xHTzNUUVRsUFkyK2hvSDlyUzV1Mmt2QnQxVXZIbjVQNEs5?= =?utf-8?B?TEtWY3ZLNUpIdE5EWi9BVjdScUV6R0VjQWRqdkY0a0dNYkhnZkFicTdRMS8y?= =?utf-8?B?L0dSWmVTVXl0TC9OY0p1S0RkRDgzZGZhYWVvWmtFenk3VC9kZ3RFL0Nadis2?= =?utf-8?B?Z1hrb1VJR09yL0RXNkVCa2poRGViM0VIUi9aUlU1RUtFSmNDb3RYdCtqcVZ0?= =?utf-8?B?eWdGa2R2VjN6Vk5idFczbjdPbmF6Y2JLZVBITEJsSmlqNXN1eC8wSVF5cmVl?= =?utf-8?B?ZThFb29IdU9tWE5oUUZHUGhCbC9QVkdXaEtXd1lTV21wS3MrdDREMVhIUysr?= =?utf-8?B?RVFuaVhiZzhuVWpRZHczVmJPQzJYRWNtOXdjVDhGREtCTnNjL3V6TVNXRVRr?= =?utf-8?B?Uzk0eGpKeW5QeVFJeThmTlBDc2N4d2pKLzRlSmJPUDhXUkovbmdab0NWK2lp?= =?utf-8?B?djVoN2JZMVZiZUtwVmJTK3ozUjZZWURCS3lnTGlFb09seUdNallod21MMmJH?= =?utf-8?B?WG9oZkkwQzlNdUgwNVJoU0pQdk5LVkFOYjdDYysyQ3BzWmxxMGl4Y3pCWG1R?= =?utf-8?B?NFpjWWVKdzhVQ3Y2aGlFV3Q4V2M4MVNvbVhHRDFUTGdRaC9vdlo4WitxbzBQ?= =?utf-8?B?NDRqL3FDVVdwQVdEbmpVTDl3WGJ0NGRPMkNuVkdWeHN6cGlrNG44MGVyZDRu?= =?utf-8?B?dGdNWVByQ0NFb0dURzlKWDZORkZoaHpBKzBZR0JEY2ZQaDV6MGpyeXlONS9E?= =?utf-8?B?RWFjR0dNbEVNUERwZnNycGQ0SEZMNUIyQXhteEpvbEtoamtjMXZzby8wTWQ0?= =?utf-8?B?YWFHSmNKN0p4VXJJZ3JEMVZLeHA5d2Q5Q2dnUUdsdDJJTkNWQ1ZHZzFOdUl3?= =?utf-8?B?d2tHVllhSnB1QkgvUEVEY3FUN3NOd2o3NmJkK3pHekZURkhRMkY5bHN5eWxQ?= =?utf-8?B?WWdUNVBhZHRwenJITU1xbkVyZk9OdTZtejV2S2F5TitRUERyNWtFZzdXcWk0?= =?utf-8?B?eUd3Mml5a2pRSUE0aUtDbEtGdWR4czdDT01HdGU1OFlxK3V0dkRXbWhzdk5V?= =?utf-8?B?WTlGWEtVN2hWaDJXa082S1B0Yld0aXZpbHcrMUthMTFqemFSd3F2dVF2OS9h?= =?utf-8?B?WTlwR29mSlg4cHBNVENFak9Vc1lqUDBnNm50d0YwV1pTNkhwVEdjZ0dvcTlq?= =?utf-8?B?WC9iRHQwby9vSUNmU1MwdzhTWnNVSHZOMjlBRzVQVENLU2poSHF3NW51enpQ?= =?utf-8?B?Z3IyMEp5alpmS2NwSGVvTVhJUWhTK3ZGN0ZIMCtsY2ViWTlLdHZlVXlDdDE4?= =?utf-8?B?M1hvY1ZKVThrYzBONGRpUWJSZm1VeGh5d0dORmpkQVl5cnpyUEZ2MHc3NThG?= =?utf-8?B?Q0pOdEt1M1RGcUpPQjJ2bE5mYlZ0cWxjQU1JN3BZQmpSazdKQytoT1I0OGNZ?= =?utf-8?B?Nys5UXN6eDExK3VrQjQrWHlCckpHR25hd3QxakNZclFTNUY1VUhyTWs5cTBt?= =?utf-8?B?YVowNTZyWnJqREtvTlpCM0lOM1FnZUFTYmd6VDRaMnhqYWhVTG5BTEdiZUZr?= =?utf-8?B?amRaZkJKcDNjMTRzWk5aWUhCNHA3OTAvdCtoRFdxcDRVVis3clpjSjV5TjdU?= =?utf-8?B?SngyZTc2dnNTT29WWkNSaHZIVUVTSGpaR0NzbHF0RldvTUdYRnRxdzB2RU44?= =?utf-8?B?aEpNeDVoZXR2bWxQdk8zM1lzWGl2a3B6enozY2x4bEdQLzhKMmo4L2pnekR1?= =?utf-8?B?azlHdTNHendTZHRMNGtCMjFQTDl3elVzTGExQWlBeTBqMEpjQTFlS3FneFhk?= =?utf-8?Q?cngSjUoflQCzgjovk/EluWVRVp+MJx7SHxcgAoPFzprp?= X-OriginatorOrg: strath.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: dea8db5d-215a-4a6e-6095-08dc44410195 X-MS-Exchange-CrossTenant-AuthSource: LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Mar 2024 16:08:37.0531 (UTC) X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted X-MS-Exchange-CrossTenant-Id: 631e0763-1533-47eb-a5cd-0457bee5944e X-MS-Exchange-CrossTenant-MailboxType: HOSTED X-MS-Exchange-CrossTenant-UserPrincipalName: 4ETeH5Vi/jo8osXwypdu4JUgfRF81yzhy+ULlkkbEyT0JS2Jmh/FciS+Ex8oD2Hc0akyHBV8FnWdcV6ksJSej8Dde4GQWGWPKAxfbMIgGqD0iWejucQOLJL74+1fVG3K X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB7074 X-Original-Sender: fredrik.nordvall-forsberg@strath.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@strath.ac.uk header.s=selector2 header.b=A6SkGqyW; arc=pass (i=1 spf=pass spfdomain=strath.ac.uk dkim=pass dkdomain=strath.ac.uk dmarc=pass fromdomain=strath.ac.uk); spf=pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 2a01:111:f403:261b::701 as permitted sender) smtp.mailfrom=fredrik.nordvall-forsberg@strath.ac.uk; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=strath.ac.uk Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , 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/research-fellow-599328 Kind regards, Radu Mardare Neil Ghani Fredrik Nordvall Forsberg -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/e21f6403-479c-431d-8a0b-e0e4fa574c40%40strath.ac.uk.