From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10812 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Fredrik Nordvall Forsberg Newsgroups: gmane.comp.lang.agda,gmane.science.mathematics.logic.coq.club,gmane.comp.science.types.announce,gmane.science.mathematics.categories Subject: Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct) Date: Mon, 10 Oct 2022 14:00:27 +0100 Message-ID: <3117088e-3cbd-b7d3-f044-18dba76456c6@strath.ac.uk> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; Format="flowed" Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="1542"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.11.0 To: coq-club-MZpvjPyXg2s@public.gmane.org, Agda mailing list , types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, logic-o02PS0xoJP/q4qjOmvqfQQ@public.gmane.org, homotopytypetheory-/JYPxA39Uh5TLH3MbocFFw@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, spls-idqoXFIVOFIotOt06XmFvYXGvZO2VSpW@public.gmane.org Original-X-From: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Mon Oct 10 15:00:31 2022 Return-path: Envelope-to: gcla-agda@m.gmane-mx.org Original-Received: from knota.ita.chalmers.se ([129.16.222.121]) by ciao.gmane.io with esmtp (Exim 4.92) (envelope-from ) id 1ohsOV-0000Db-LW for gcla-agda@m.gmane-mx.org; Mon, 10 Oct 2022 15:00:31 +0200 Original-Received: from knota.ita.chalmers.se (localhost [127.0.0.1]) by knota.ita.chalmers.se (Postfix) with ESMTP id 0217020844; Mon, 10 Oct 2022 15:00:31 +0200 (CEST) Original-Received: from GBR01-CWL-obe.outbound.protection.outlook.com (mail-cwlgbr01on2056.outbound.protection.outlook.com [40.107.11.56]) by knota.ita.chalmers.se (Postfix) with ESMTP id BEDC21FC06 for ; Mon, 10 Oct 2022 15:00:29 +0200 (CEST) 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 Original-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 Original-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 Content-Language: en-GB X-ClientProxiedBy: LO2P123CA0060.GBRP123.PROD.OUTLOOK.COM (2603:10a6:600:1::24) To LO6P265MB6063.GBRP265.PROD.OUTLOOK.COM (2603:10a6:600:2a6::5) 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/vkZ6i pS2CyFpF+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?MTd0b3hBb21qMFF0TUl6UVhZSWxpVnFGcnVkMU 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-Mailman-Original-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=strath.onmicrosoft.com; s=selector2-strath-onmicrosoft-com; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=mquwCLXX+yyZ3Re2Z3iTMN08YK2KQDzfxoPqHKokgGE=; b=o0F36jD8XV5b0nnotRO/i0Vaj9E7aXpujZBIaDgd1d/SG0XQIPoQ/IQPtQgWtaKBDp7kkr87eCQz4+YI/aEpoTDzlfyPMHKKqHJSHC3oWMLqIQEO6AhBPisPhv9rWiR5VoR7vAArhYWVYrSY+nT6L90flN0ej+g6VjbMeJt3FR0= X-Mailman-Original-Authentication-Results: dkim=none (message not signed) header.d=none;dmarc=none action=none header.from=strath.ac.uk; X-BeenThere: agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org X-Mailman-Version: 2.1.35 Precedence: list List-Id: All things Agda List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: agda-bounces-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org Original-Sender: "Agda" Xref: news.gmane.io gmane.comp.lang.agda:13044 gmane.science.mathematics.logic.coq.club:23157 gmane.comp.science.types.announce:10516 gmane.science.mathematics.categories:10812 Archived-At: 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