coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Permanent positions at the University of Strathclyde

From: Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg AT strath.ac.uk>
To: coq-club AT inria.fr
Subject: [Coq-Club] Permanent positions at the University of Strathclyde
Date: Tue, 7 Jul 2020 17:35:59 +0100
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
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-SenderADCheck; bh=FoxdRTPY1VXKkJraFxL7rKdAmpoZu8pSWlrpT06aXFA=; b=H5IF8mkg4kAbI2vyhJlA6xingW6H6oyf9ZnKkWwm/y1vrbLkHh08nqpbqhSittuQi16sKNmgbIB+1knHDKQTMiJVux6sYs5ADKMB6cV1dwXnPV5VAHgF0hGwBBS35jt35A+HgkKYUwv8bfB97nHP5U5aGYsEjiCpfvjYyIfJ0OfyrWvM8fwlHZJpZTuWCAF+S3Lgc+cm7NP6FNc/SE8nXkeLUYPWBfH5PQ5MLMbHxJIWzLM4mRS5lBH+RAEslpq8eD2fRVzLD+7Yjc8llBSHHVbY6ZJeqkfcYRe916stZb6kWVej7PrryUefsFMhMoot3RokRLGXnkTXQ8R5xIPAdw==
Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=dOk5Tcc/zl/qja0Kw7f2sw6nFlFr1E5EiNhN1RUZbVNWbRpBhnDgLjRhILrqCeCFhKI3Dr38FyFmVbkQ5lslil6GE7JUdHPFKnVlGJNEa6cdZTgT3slEcTaX1vTjGOuZQ3f3VtOBV3msEHMufaHyZkll2QsfqmiaqZW3BrsX8Sap3FvvaExkNWfbAi3YCBwIh+h9lwlic8AoLyEInGDYvpXA/pIYoy6rVYhM+gc6E6Q+b2od3RYfYloWbL/GeSld85YEHULhWTqoovwfyuDbP7el1HXVMWj46CutS06O/Ws+a1c1oXmQY1RbxUGC0XLG46KX3ld+OaaJ3bJ9wcZg1A==
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fredrik.nordvall-forsberg AT strath.ac.uk; spf=Pass smtp.mailfrom=fredrik.nordvall-forsberg AT strath.ac.uk; spf=Pass smtp.helo=postmaster AT EUR04-DB3-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:0XoE3BLqO7eCCDFCGtmcpTZWNBhigK39O0sv0rFitYgXKvX8rarrMEGX3/hxlliBBdydt6sazbOL+P+9ESxYuNDd6S1EKMQNHzY+yuwu1zQ6B8CEDUCpZNXLVAcdWPp4aVl+4nugOlJUEsutL3fbo3m18CJAUk6nbVk9Kev6AJPdgNqq3O6u5ZLTfx9IhD2gar9uMRm6twrcutQXjId4N6o8yhTFr3lIdu9LwW9kOU+fkwzz68ut/JNv6Thct+4k+8VdTaj0YqM0QKBCAj87KW41/srrtRfCTQuL+HQRV3gdnwRLDQbY8hz0R4/9vSTmuOVz3imaJtD2QqsvWTu+9adrSQTnhzkBOjUk7WzYkM1wjKZcoBK8uxxyxpPfbY+JOPZieK7WYNUXTndDUMlMTSxMGoOyYZYRAeQCM+hXoZXyqVQBohu/HgSsGODixyVUinPq06A30eIsGhzG0gw6GNIOtWzZotXvNKgMTO+11qjIzTbeZP1O3jf98pXHcg47rvGIWbJ7bMrfyU41FwPelVqft5blPzyI3ekKvWib9fRvWv+1i24mqAF9uD6vxsA2iobUmIIa0FTE9SFgzIY7It24UlV7bsW6H5tKuCGXLJB2Qt84Q25ypCY6yqcKtoSncyQQ1ZQnxAfSZvqaeIeH/hztTvyeIStkhH17YrK/gQ6//Eekx+DgVsS4zUhGoCVLnNTPqH0A1RPd58aER/Zg4kusxyiC2gTd5+xaLk05l6TVJoIvz7M0ipcetUDOEC/1lUjwkaSYeEIk+u2y5OTmZLXrvoScN5Nuig7kLqQumtazDv4kPQQUQmib+vyw1Lnk/U3/XrpKiv03krHdsJ/AI8QUuLK5DxVJ3YYk7hayCSqt3tcAnXQfI19JZAiLg5X1N1zMOvz1DO2zjlSsnTtzxP3LOqftDovCI3TdirvtYLVw51RCxAYuzt1S4Y9fBKsbL/LpQEDxscTVDh8nPAywxObqENpz2Y0CV26TDaKVKa3cvEKG6+42JOmDf5EatCz6K/g4+/7hlng5mUIbfaa0x5cXcGq4HvN6I0qHfXXsntYBEWAMvgYkS+zqlUGCUTpUZ3a1XKIw/C00CIWjDYvbR4CthqKO3DujE5BZemxKEE2AHWvqeomeWvoAciKfL895njwBT7ehSosh1R+0tA/9zrpqNuTU+jcGup3+zth15u7TmQs09TxzFcSSzn+NQHtwnmMMXjM20qd/oVZmyliYz6d4mfNYGMdI5/NVSAc1L4Lcz+xgB9/oRg3NZMqJSFW+TtW8HT4xVs4xw8MJY0tlB9qiiQnD0zO2DL8RiryEH4c58rnc3nj0P8Zy0WzK1Kgnj1k8Q8tAL3eqhqBl91ubO4mcmEKA0q2uaK403SjX9W7Fw3DdkltfVVteS6jJR3EcLm3Rt9jn70fGB5GpE68tPxFOgZqMMKZGcNzqy1NBXvv9MdDaJmy2gXy6CAyH7qiQdoP2eyMU12PACx5XwEgo4X+aOF1mVW+aqGXEAWk2TA69UwbX6eB77UiDYAos1QjTMx96y6C85h5TjPfaVvBBhutV6hdkkC19GROG5/yTDtOBowR7e6AFPYEm/E1OyWKfvgc7I5/ydvk/1G5bSBx+ugbV7zsyCohElpR1/l4X9lIubI6yixZGfT7e2o3sMLrKLGW05Aqod6PdxlDZ1pCR57sL7/M77V7kuVPwGw==

Dear all,

In the near future, the University of Strathclyde will announce a call for

** five-year research positions leading to permanent appointments **

Indeed, it is reassuring to see the university continue recruitment despite the Covid situation. The Mathematically Structured Programming group in the Department of Computer and Information Sciences welcomes applications from type theorists and dependently typed programmers, and would be happy to help you develop an application. Please contact Neil Ghani <neil.ghani AT strath.ac.uk> if you are interested, or of course me or anyone else from the group if you have questions.

Please also forward this message to others who might be interested.

The MSP group
=============

The MSP group's vision is to use mathematics to understand the nature of computation, and to then turn that understanding into into the next generation of programming languages. We use ideas from category theory, type theory, and logic to do so. The group consists of Dr Robert Atkey, Dr Ross Duncan, Professor Neil Ghani, Dr Jules Hedges, Dr Clemens Kupke, Dr Jérémy Ledent, Professor Radu Mardare, Dr Conor McBride, Dr Fredrik Nordvall Forsberg, Professor Glynn Winskel, and our PhD students.

For more information, please see our group website, and our individual websites linked from there:

http://msp.cis.strath.ac.uk

Glasgow and Scotland
====================

The University of Strathclyde is located in the heart of Glasgow, which Lonely Planet Travel Guides hail as "one of Britain's most intriguing metropolises" (https://www.lonelyplanet.com/scotland/glasgow/). It is less than an hour away by car or public transport from the Scottish Highlands. Southern Scotland provides a particularly stimulating environment for researchers in theoretical computer science, with active groups in this area at Heriot-Watt University, the University of Edinburgh, the University of Glasgow, the University of St. Andrews, and the University of Strathclyde.

Best wishes,
Fredrik

[Coq-Club] Permanent positions at the University of Strathclyde, Fredrik Nordvall Forsberg, 07/07/2020