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.0 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,MAILING_LIST_MULTI,RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 2432 invoked from network); 10 Oct 2022 13:00:32 -0000 Received: from mail-wm1-x33c.google.com (2a00:1450:4864:20::33c) by inbox.vuxu.org with ESMTPUTF8; 10 Oct 2022 13:00:32 -0000 Received: by mail-wm1-x33c.google.com with SMTP id k2-20020a05600c1c8200b003c3dd3aa638sf4483500wms.1 for ; Mon, 10 Oct 2022 06:00:32 -0700 (PDT) ARC-Seal: i=3; a=rsa-sha256; t=1665406831; cv=pass; d=google.com; s=arc-20160816; b=wj6BfaLy+6zW+5cItHR4p0GJO0SyM/Y8ppvsBEZiM/7v8xTm5UfJ5CfVs50CGFhmSh B65xVKzIEha6ZzXJlXE8hiZguyBqiTWLHMwABK5QAB+KGBR2MPY10OAigt9pEFxst01H z/5V9rnN+F6n/bGCpUmH7GTP8qfdKxRqvDuiY7Zc+fNNe1N5wFg3yxVXgOGnlE/o4Zd/ VDV53i0KvUiQIFh/Qfyu0KrQdIbOJvXQzmhdoIkKg60y1Z8fdmJAraQcqbkaX8Z0PLGg DMsfQpXFoJ74A0w2GeMx5T/OhnnE0evQOQNoS/jAN2c+lsOQjPYE7oU/z+SpVy7NjaiL Udmg== ARC-Message-Signature: i=3; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:mime-version:to:subject:from :content-language:user-agent:date:message-id:sender:dkim-signature; bh=gumPb0W6KldD4sxh1dfpODP9RdOPu01jiMO9GMSEbDA=; b=E8fKQvPbpwMYzrcq+ThXZ1pur70EyrUCpvGqDau33ZfM61YfZ9R7uT7LuA7Oy/YFqV uqnD1SNEiWiODpeiDyiDmJaZH89cIiKu1+cz0pLlHk0ITF4XLE0CBv3YHNAij/NHdM7f Y/Pz19AGZz/gokbY3KXtTiC1GfBmezKAixhar2XHnNUEN6n/5+5u4Zm3G+7L+FeadMiT Okx1nVYGxykQvBn6fSKUC+ROsFdkcE0uw5eqta9WlKUv5l/Xlef2i6ksMkm35ERhyAym skwfc6NMij7jhnNjtBm5iI7VLgNWqXN23+fpFEPm71lXqP7dYQUcOpYzz1V+dtLjxMSW PwyA== ARC-Authentication-Results: i=3; gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=o0F36jD8; 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 40.107.11.82 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=20210112; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:x-original-authentication-results :x-original-sender:mime-version:to:subject:from:content-language :user-agent:date:message-id:sender:from:to:cc:subject:date :message-id:reply-to; bh=gumPb0W6KldD4sxh1dfpODP9RdOPu01jiMO9GMSEbDA=; b=LKy6xRBdj8msaLKDp/395vmFb245914qDqtv9WLT40SJp70o44t8S1cW3PG8k75WoD G5RWE5HB2Snx3Gt3f1XNxFZENBHpFRDSPGv4huHaSnD6sp8vSSYX6nt596pPM6VD5/Cp HxdkqdBrjJMSVq0QfQZYRvD5kBeFhsKizN2/6lMRaAaqPsS4EiojZ/PCSReSwt2yYYZ3 kj1209AWEW/6yuQpfOawljA3oT/AckmzCUQtpilpYjDO7emrsvgGfuciceZp34Ql1r1O n3cTpNYGP9d9fAJa6QLFwmOQwxqo9rVgcuQgBXVpViu9hXoPpP/8RNMSzKV59haVRvKQ 4hEQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=list-unsubscribe:list-subscribe: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:to :subject:from:content-language:user-agent:date:message-id :x-gm-message-state:sender:from:to:cc:subject:date:message-id :reply-to; bh=gumPb0W6KldD4sxh1dfpODP9RdOPu01jiMO9GMSEbDA=; b=m5mVMixMh/+kMJZL/edqaKuUJoPHgp8PurDKRIM6YJ6ls3z1vYaENOcm8UFrw1RoIR dQLIbGtqk8jXWXP/v3TPAfQ1CeB+rSoqYHalUq8Vm1ow9cIcxXPX5SSbXU0NwRfl79wm eR5GXlXLaBDJ8et0uc7GW1FPxC0gAHxceBvnsKZ/bHmYtFJhnDBEJ9NWNpPXMG6uiP6e AhhYHiq83l7eDJZhSS34C3QbZkvOpSirtY757wPhgdF7l8jeMij5E/o6vwsKUSLm9wwq uEKhi8r6+YWOjKl9hEnfY5o3/hDIgITRkaq5Frnzm4HRS4h7mqLMPyWLItmKFe6GBEuZ z74w== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: ACrzQf17JJv0fviFW9eFS+L/Brwp5enHU6qp3Yke2PC88tf9+W67lGRv raEUdbOhlPzcTRtQc5eRF9c= X-Google-Smtp-Source: AMsMyM5KVD615YTBJRhcCvdRQhJ5bP5PyNXOgc3EeJkRQaY2Ppr9cVNZKewL4Y66znvn4+qXH9HYqg== X-Received: by 2002:a05:600c:3c8e:b0:3b4:d224:ae27 with SMTP id bg14-20020a05600c3c8e00b003b4d224ae27mr12678280wmb.187.1665406831258; Mon, 10 Oct 2022 06:00:31 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:600c:1d99:b0:3a5:a469:ba0a with SMTP id p25-20020a05600c1d9900b003a5a469ba0als7087274wms.2.-pod-canary-gmail; Mon, 10 Oct 2022 06:00:29 -0700 (PDT) X-Received: by 2002:a05:600c:10cc:b0:3c6:c1b4:2476 with SMTP id l12-20020a05600c10cc00b003c6c1b42476mr83232wmd.175.1665406829453; Mon, 10 Oct 2022 06:00:29 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1665406829; cv=pass; d=google.com; s=arc-20160816; b=ReJGso0/8+Nu0eB+COPk8CB8B5kt2yEt+1SrJL+lKTbX8rsPVR9fjcRHBxDedcT8ml VsgruUylEzVvz4Msf95VipMDLqtE7oAHRztOUin5N+/oHQTPNFqO68Hv1hqqs71V19J2 KwI3WGVpS+DvwKEjWvsisoiB/vVF55WGMXDrLTzrrFYNhM5JPOVwetmkp6zKRBcjP9Gr Gm/gFphg2m+Lwt2RVpjRZgaT7Hpe98gIFKXH/4Bc6Lcqp3h8cnlpZulYzx8iBKhmYf7l vpZXg4R51ghKpSCTZcj8W2YO0tMw2/VuC7dFRj+CxhLr8cLSH7aRHZ6mNUFiM2ANcu5t ayKA== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=mime-version:content-transfer-encoding:to:subject:from :content-language:user-agent:date:message-id:dkim-signature; bh=mquwCLXX+yyZ3Re2Z3iTMN08YK2KQDzfxoPqHKokgGE=; b=FJHkz49lZXT2p/ickUlBcLD0tzuskKTczxT4xBtp2YazdiCH3lpa/NENasY1TQV/3W dF0SYuEg/61iwdsisbGqdmhl1o/hRs5sxDNT6sApCpgLjUI/kiS32InbVjCdGH7ATHxr cRVYiQkyBvMirLUyw7dqoHdlc5HVfm+/0qOPRLaFsjan2RRljiBkwruVx+ra/Fx325FL rXHYRsAVIboqCkQfnmaA9XRzK1t7QO5cjo2Cn3G/vu1kbFkbemrhQTydBlQ4vR5Ci9cN lNB36+yYSVd04K1RimUeNqWvvU2vT9V+K4//rgkQuZIsw05cWhGbBabQahAUhJgp/+Mf FIwA== ARC-Authentication-Results: i=2; gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=o0F36jD8; 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 40.107.11.82 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-CWL-obe.outbound.protection.outlook.com (mail-cwlgbr01on2082.outbound.protection.outlook.com. [40.107.11.82]) by gmr-mx.google.com with ESMTPS id 125-20020a1c1983000000b003a66dd18895si737038wmz.4.2022.10.10.06.00.29 for (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Mon, 10 Oct 2022 06:00:29 -0700 (PDT) Received-SPF: pass (google.com: domain of fredrik.nordvall-forsberg@strath.ac.uk designates 40.107.11.82 as permitted sender) client-ip=40.107.11.82; ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=odc3cB96lol81e7olDJ5I9M54eYhj7d6KyKkc2kAon6jTkyPBTDp5VxwRsnIx0ow1aYQDKMEEMRFYWguZnlLCkU3uZ+gfhZzE8ZIj8YvxgcBuHoRlcAm/wze1LUquOYYTf2SuL2fvONxBTxGJh5wE3OlM0rnnnnlbmK9bn0THLygQKCuErkYyFDYS1++pDACjtl/qb00nlhTjt8AOnPtM+dLz7+2RuvRvl/FWDRt8d25rTh4RJY4RhPJ0qTg+ECaiFtG7YdjMe/AaZI6EY6kOQtFvAb6GQ35e3/owGPJqMdSgdnxgsR69KJ7E/vJcZ1iG8eDUyWTdYLHMX6ngnOTsg== 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=mquwCLXX+yyZ3Re2Z3iTMN08YK2KQDzfxoPqHKokgGE=; b=f6BIYs2cxYb7CPhonqkTUBielNoybIKxSKDH8DZoI6jQpVgXxWIGG6v4t/w/BDlHy+ZwSWXRiVgbxgL5QrHJaByqjkYjTAxIbhO2c9cLQqSCVkdvCS/+7qETXGhqVevI+04pKV/mwZu/pyEOQoonuDB18ekaXyNbSu5GXlajR4E5rJX/QXB+VaUFPDbCPixEp8j+2AEEYGLKO05ftwxOTKsC4k68mS5NKDqvn/AwOO4OopTDjA/3gQ5mwJxKAWA3gMriMHzgLE+JWUn0jXUF/SpE2rt54H7JAz+Nj+/YelJGlavMGHS48kYkmOTmbUQRdsEmKMOa6lZUYfCtSTmekA== 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 LO0P265MB6804.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2e9::7) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.5709.15; Mon, 10 Oct 2022 13:00:28 +0000 Received: from LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::744c:fb25:e454:20a5]) by LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM ([fe80::744c:fb25:e454:20a5%4]) with mapi id 15.20.5709.015; Mon, 10 Oct 2022 13:00:28 +0000 Message-ID: <3117088e-3cbd-b7d3-f044-18dba76456c6@strath.ac.uk> Date: Mon, 10 Oct 2022 14:00:27 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.11.0 Content-Language: en-GB From: Fredrik Nordvall Forsberg Subject: [HoTT] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct) To: coq-club@inria.fr, Agda mailing list , types-announce@lists.seas.upenn.edu, logic@math.uni-bonn.de, homotopytypetheory@googlegroups.com, categories@mta.ca, spls@lists.cent.gla.ac.uk Content-Type: text/plain; charset="UTF-8"; format=flowed X-ClientProxiedBy: LO2P123CA0060.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:1::24) To LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2a6::5) MIME-Version: 1.0 X-MS-PublicTrafficType: Email X-MS-TrafficTypeDiagnostic: LO6P265MB6063:EE_|LO0P265MB6804:EE_ X-MS-Office365-Filtering-Correlation-Id: 96c72256-251f-4ce3-70b6-08daaabf67ec X-MS-Exchange-SenderADCheck: 1 X-MS-Exchange-AntiSpam-Relay: 0 X-Microsoft-Antispam: BCL:0; X-Microsoft-Antispam-Message-Info: FaFCorHXKgafkoKUKt8rUgFBsoZ0xriqrU4QZsBuVgSDQek7x1Ou57QuL5zMmPcWIEl9roGtssesQW44rgpgBj2brSG8OH0JMgm1+Wwuy2pkmyKc3Ua5lulFO4D+AieGbJjUZPLqDEzl93qGD9ObELbIwXQO5YBPRHQr165c8DS00oNCh7tncReiSIJQa3Uhao0Rn88ycwmqpF46ruRfsFjhjY04LCTazsn3W72XGNUqEOR0n4GGqR8ZHzskd9K04+cVL49ea614poJTeF9IlVrLmWkyBiSGtFyjJzhpzZYli58Bfqm9wkctec56xbO9rLX0uOUDWkzvZOVEw5UHCutUZ+/MGx+GWjZAg7wBsPqF5n6+9v/bNAw5g/Cj1OPQHdYogOjB3+EbxNBKe61DbLbxUuCyqdVVXTO2yyfGXRcos95ELR0o5Q8bfrXHjCMwcTA4+a7Pc1wjasYVIgPxC/5VCe+z/JrS1RM8v9QrqXAFwsRGiNAVdLTwW4hJvz5eJ3Nr3U1P/x+CI3meDqfZLPO5bXoagjQ3YJbFu6agvylOVOxyswGsWg0mXuZLQk7QvkV5q8odTYbvhR21OoWkw/cZqDZx4N0kI2iNuWv6Hcrgwm3Zc+sAce8ZrZbeFDzIi9NQ2OYGr+LAl0cYJDDRcVZS4qaHj2uob/uFKFQ1rM2QIhfwJuJMQkbwEck287klHWrJfkh/feRcOYnPevscX4bv2AcVdfMbWEUhULaG1145EIKr+ZToo4C/vkZ6ipS2CyFpF+XiEU+A8/7LVQi9o9Om0WJwwhcKK90+RCH0e2ar1F1QattuQcj/1ZLeWRat 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:(13230022)(4636009)(346002)(136003)(376002)(39860400002)(366004)(396003)(451199015)(83380400001)(66899015)(31686004)(86362001)(31696002)(6512007)(2906002)(38100700002)(36756003)(8936002)(8676002)(5660300002)(66556008)(66476007)(41300700001)(66946007)(316002)(786003)(186003)(6486002)(6506007)(26005)(966005)(478600001)(41320700001)(2616005)(45980500001)(43740500002);DIR:OUT;SFP:1101; X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1 X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?cFBVVS8wKy9yVHZzWlRvbmk5VGw1YVZmOGliNW1tb2FpVlR5N1pzdzcyNmVM?= =?utf-8?B?elR2TnFsb0lQcnR1V3Jwdm5zWmZJMWs2YXJRR3E4bXV6c0QyR1RGeUIwdFVa?= =?utf-8?B?MjhlY1plRzF3enBOdFlVQ1FCeHBGa21QdURSLzZNNTUvbDdhQUU0SzlyMkN5?= =?utf-8?B?eUt6aXorWXoyYUcrUHpub1kwRXYxMGI3NDU4ZUZFdktENk05bmxIeVByU3A1?= =?utf-8?B?Y1F3MEpDYUNCNnhXekhiLzE5VHY1UkVEVndQOEVMOVFpNVhkN2s0TDN0RnIy?= =?utf-8?B?THBqM21mdk12TjcrUVZ5ZVVXc2k4blhNWmN4SmRFTnRpeVovbmVldDVXSVV1?= =?utf-8?B?SkN5aG5LbXNIaXZ6T3A5Q2gzWnQvRjJFY0MvQVV1aHdCanBQb0dOdzIxS2lj?= =?utf-8?B?Vjg0cXhLaXBOZSsydzFYVHR2dFhBcFYxWFVoWDdGSnE1WWpaaTd0Rk5BMXli?= =?utf-8?B?NWhkRjFQSXF6VnNjNVRuNHJRd0lKMTZvUVliQndVaTN3SEpMWWpwcDdnWm80?= =?utf-8?B?d1N6ZjYvZ3p6RklzdnVvWlE5WHRFaVBSbnA0SjRYOFp1MWZZcktVRG56aHR2?= =?utf-8?B?WllpbHZFQk10WU9TUDN0NXVma01LeVRIRGtXdWdzZXJHWEVaWVpjMWR2OWFz?= =?utf-8?B?MTd0b3hBb21qMFF0TUl6UVhZSWxpVnFGcnVkMUE0NUQ3TUN2VTRTdy9TKzQ5?= =?utf-8?B?ZG5WOTJUa21qRitTaFVjNGwxMDdUY29DMXRXMGxMS0RhQXNWVlptRGU0bkRr?= =?utf-8?B?QTNSN05Pbm9waHFxN29pd1dqTlY5VUNTMDVMTlhqdnZCRXhaRXpZSXFCQzhP?= =?utf-8?B?dGs4QVJtbFlSQ2lEbS9hdSt0cGFZNHkvbjF6SGhBL2s1cS9CK0ZhbjFJRzlK?= =?utf-8?B?OFRvcEFaS2cxcTFRTjU4M0tTVFpQbDlVd1orVlhPR2V5K01DcWZ0OVNuMnVw?= =?utf-8?B?a3V4UVdWdjh0bUl6K1lNRkZYSmh5bnd0UERNc2gvVlJsaW5iUTdQVmJONGRw?= =?utf-8?B?WDFMSWJZZlFDZVBaWlhVbTVIbnorSkN5N01yOXg1MVU0cjYxNUF5SG10YXM4?= =?utf-8?B?WWtjTGo3N3V3R3lMSzVhRGhFMW9LMkdtZkN0aTJMdUhrVkhEOSsvN2VjVE5Z?= =?utf-8?B?MEVlQVVObGZBYXVkTkE0cVJCbzVkQy9BZDJmNDZvZm9yNFo5ZDQyTkJwZUE1?= =?utf-8?B?OHNCZVkrR3pISlgvNDNTL2FtZ3lBbjRHWjFXV3pXZjd1VHM4aG9Mc2VONFBv?= =?utf-8?B?OE44alNDS3RWTmp3OW5ucWdzZmduWjFpTmlPU1NHdlNaSmlUK0FjbURkZ3BY?= =?utf-8?B?aFhYM3ZHV3B5Q0FEc1dMZjQ2MzdWaEFKWTdqSzg4QnVycSt3bldrU3UxSlho?= =?utf-8?B?Si9tMC9DSXNPWHpLczJ1dWlXRWRlcHg1elNCZXpQOWMzYWxkdTFJbDl3VmI1?= =?utf-8?B?ZEJFeVR6UXduQmlpUEM0SXV1SysycjdUQ1ZkczZtNkJtdDVRaWVJaHpNL3FO?= =?utf-8?B?SUQ1Q24vZk1XNlBWQmthZFQzaXBzVFE3KzhSMzB2THlsei9rNnAwSTdEM0gw?= =?utf-8?B?UkkzekhacjdGZzBmdGI1QUpPRHlNaU5QLzdDbkJlNHhQbnVPK0Juc3lzNjBG?= =?utf-8?B?WkpURndTZGU3RU9ZZ0RWZW5kN2lGMkR2VEt5UDFQT0RXbXNsZ0Z4NjB0dkVC?= =?utf-8?B?cVhYd2huNTB5QXdyV2MyMEFhbVB5c0VCKytLUktrQUh6YitDR0RpUUwrZFM2?= =?utf-8?B?NVh2S1dLVUZlNlZlNHRpc292TWQybUtmZ3NUcmR3TzBZYno4eDJBb3NublRT?= =?utf-8?B?RWI0OEhrdGxJMmNla2Rwa2FnWkJGMXdhNWlDaWZNV0NyUlk1ZGVjYlQwMGNw?= =?utf-8?B?UnpNd05uaStMZng5WGg3ZVlEeDlSaUE4MmpVUjhHbWlBRDkyTm42UWhkbUFT?= =?utf-8?B?dGFIUnJpZ29zYTJGS1hhQlJ2Q2lzUTR3Q1ZLMS9FREszcEcrYnBrUkdqaERG?= =?utf-8?B?M1Q0VlFOOXFMcWJmY2tCVHRXNDN6dXI1N0pzQ1QxYk02cjhTR0JDcVNjQVNF?= =?utf-8?B?cnhYZEdEMnhlUXJ2YUdDS2NCb2FGNHlFaWRMVUdSbkhodWYwS3k2a3JZdE9V?= =?utf-8?B?U3ExRHpvOWdCSU9YR1ZPeXkwemoyY1JxMGJqcWtodmVRWlh6VE5sQVpnSEI1?= =?utf-8?Q?6xOrxuNgfGHmD32U+0uwQc3HxgG4RZj5/Bu0WjWlrBzG?= X-OriginatorOrg: strath.ac.uk X-MS-Exchange-CrossTenant-Network-Message-Id: 96c72256-251f-4ce3-70b6-08daaabf67ec X-MS-Exchange-CrossTenant-AuthSource: LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM X-MS-Exchange-CrossTenant-AuthAs: Internal X-MS-Exchange-CrossTenant-OriginalArrivalTime: 10 Oct 2022 13:00:28.6620 (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: EhXFqbwtaCqUXc5VqQHdiqa8Y9pZYmLBnhWSkR7f8M9Zv3KagcI7jUMlwsHOLdknxHoFz+vmVZjnIdQh+QQI/2W/B+oSjDNwca7SIyoQAZSeqZTOxNkJdkgO/cga3VzH X-MS-Exchange-Transport-CrossTenantHeadersStamped: LO0P265MB6804 X-Original-Sender: fredrik.nordvall-forsberg@strath.ac.uk X-Original-Authentication-Results: gmr-mx.google.com; dkim=pass header.i=@strath.onmicrosoft.com header.s=selector2-strath-onmicrosoft-com header.b=o0F36jD8; 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 40.107.11.82 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: , List-Unsubscribe: , Dear friends, The Department of Computer and Information Sciences at the University of Strathclyde, Glasgow, is currently advertising permanent positions at the Lecturer or Senior Lecturer level (Assistant and Associate Professor respectively in American English) with an initial five-year reduced teaching load: https://www.jobs.ac.uk/job/CTO120/strathclyde-chancellors-fellow-in-computer-and-information-sciences-434447 The application deadline is *Sunday 23 October 2022*. You will see that the ad asks for expertise connected with Trusted AI and Data Analytics, but this should be understood broadly. In particular, we believe that type theory, category theory and logic are excellent technologies for establishing trust, and the Mathematically Structured Programming group welcomes applications from type theorists, dependently typed programmers, category theorists, and logicians; we would be happy to help you develop an application. Please contact Head of Department and fellow category theorist Neil Ghani if you are interested, or of course me or anyone else from the group if you have questions. (I'm employed as a Chancellor's Fellow, so would be happy to share my experience of this particular position.) You can find our group website at http://msp.cis.strath.ac.uk/ . For opportunities to join us at more senior levels (Reader and Professor), please contact Neil Ghani directly. We also have an opening for our next Head of Department! https://www.jobs.ac.uk/job/CTN847/head-of-department-and-professor-in-computer-and-information-services-479106 Best wishes, Fredrik -- 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/3117088e-3cbd-b7d3-f044-18dba76456c6%40strath.ac.uk.