coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD studentships at the University of Strathclyde

From: Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg AT strath.ac.uk>
To: agda AT lists.chalmers.se, eutypes AT cs.ru.nl, types-announce AT lists.seas.upenn.edu, homotopytypetheory AT googlegroups.com, coq-club AT inria.fr, spls AT lists.cent.gla.ac.uk
Subject: [Coq-Club] PhD studentships at the University of Strathclyde
Date: Mon, 4 Nov 2024 11:03:01 +0000
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=arcselector10001; 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=x72KHRhloT8J7Z7wojqcQKME2l6n1ujSFbrk8kI/NKo=; b=k9MpON8aEceEblqi1h4vfPkPS1I1CP7g7Sr8oeC4PcDB2I9ViXDpF0Arj4OmK86Ns6nqj1ZKEFF7a1LqmnL8GUgceYKXKs2Ykm8MUkD/v0G8ePKomrIAhHoS87JoJekgE5REpr0BHJEBeirmziD9HdQ2J5PnDr2ozZNeues+ndUQzCNLqXH/ow5OlQpMu4ck7SzzABd7P+Qgc4AJbn4E2svKLaiYcb5UlW6EFnTjlu3ERBlKhRIEmBVL/ZOYMk7WtlggqtqgT91UaHKCGJoldk1PlgBBewcLZ7JdvDHvoLXLBhnT3KEQgVc27cnlwKL3FmOykSdvcyHhoqPFZWx9/g==
Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=TclAjebNNELxeRhc13SICcLoG7O6kkYnJuL7u7ptso/bOocSfl1u8Je3ENUkWM2oVbFmUsALbHV4Hae9mER/JE168qCgWIfl29DtDfQ1mqWBFwgD2TVqWpyiUNNuFEDogwKcxOw28EGh8V4lFuo4KBB5xO3HispRRBOilU8jLshAyVawv+1k9mVHX8G00XMn45gsprMVu0FoB/IuhMGFuxYljWLq9Szn88StwMTH582hqM2j2yFCmG/l6AvUv+mknXnQuAewaV/ct8Bg0THCD/mmb9xfHq1x0y9H4Vbp1cHcmMEKYMI8vX7dOWLINxs/3Zjf7YlmjxVAtEexDDQKuw==
Authentication-results: mail3-smtp-sop.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=None smtp.helo=postmaster AT CWXP265CU009.outbound.protection.outlook.com
Ironport-data: A9a23:NQFRhqDCwBiChRVW/wnow5YqxClBgxIJ4kV8jS/XYbTApDxz3zYGx jQcCGmGbP2IZ2L1KowgYIu0pxsC6pSHy9UyOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6j8lkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/YuGYTdJ5xYuajhIsvvb80s01BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc53ToLVXt+MUxMGcJDYZIqrYpOGBt0 NVNfVjhbjjb7w636JmEetE22JkIEZGzbcUYp21qyizfAbA+W5ffTq7W5NhemjAtmsRJGvWYb M0cAdZtREmaJUQXYxFOUMp4xb727pX8W2UwRFa9q7A673LSz0p316LhLtPRfpmEQt9OlEuCq Urd437wHhFcPdfZ1DntHneE37eXw32gBt1LfFG+3sZyq0e4+FM0MSc1DkOxv96Q0WqBe+sKf iT4/QJ19vJuqyRHVOLVVBqh5XWAoxQ0QMtVC+R86QeXy6OS7RzxO4QfZjtIadhjqcwpSCc23 02OmYqwXWY26eTLD3WA6r2TsDW+fzAPKnMPbjMFSg1D5MT/pIY0jVTESdML/LOJYsPdIB+u7 TGxnHcCoYojhp5bh/uC/HPiqmf5znTWdTId6gLSV2Ojywp2Yo+5eoClgWQ3C94Qce51qXHR7 RA5d9ii0QwYMX2avAOnKNjh8Zms7veBdSDfnlN0A5Az8DL0oib5JNkJvnd5OVtjNdsCdXnxe kjPtAhN5ZhVeny3catwZIH3AMMvpUQBKTgHfq6PBjatSsErHONiwM2ITRXPt4wKuBR3+ZzTw b/BLa6R4Y8yUMyLNgaeSeYHyqMMzSsj327VTp2T5034iuLAOS7KF+xebAfmggUFAEWs8Fu9H zF3Z5ri9vmjeLOuPXi/HXM7cQ5VcCBnW8yeRzJ/L7bcc1U3QAnN9MM9MZt6INY5wMy5Z8/N/ 3qnXVRfxka3jnrdMW23hoNLOdvSsWJEhStjZ0QEZA/ws1B6ONrHxPlFK/MfI+J9nMQ9lqEcc hXwU5naahi5Ymido2xFBXQ8xaQ+HCmWafWmZHT6PWZnI8c/GGQkOLbMJ2PSycXHNQLv3eNWn lFq/lqzrUMrHlw4UpTle7i0wkmvvHMQvut3UgGaapNQYUjguswiYSD4kvZ9cYlGJATh1wmq8 V+cIS4Zgu3R/K4z0t3C3p6fo6mTTuBRI0t9Hkvg14iQCxX0xGSY7LV7YL66RgyFDGLQ04e+V NpR1MD5YaEmnk4Vko9SEIRL7KMZ5vn9q594zghLE2j6UHG2Box7I12t/8pGhotSzJB35Cq0X UOu/IFBGLOrYcnKLn8YFDAHXM+ii84Gu2D1w6wuAUPY4CRXwuK2YX9KNUPRtB0HfapHDow15 MwA5ugU0lWboTg3OI+kiit0yTy9HkYYWf96iqBAUZ7ZsSt1+FRsepeGNzTX5quIYNByMkUHB D+Yqa7BprZEzHr5bHsBOinR7NVZmKgxlkhG/H0aK3SNv+j1tPs98RlS0DYwFyB+7BFM1cBtM WlKaWxxA4iz/AlTucsSZFD0Rjl9ByCY9HfhlHoPtmnSFHezWkL3cWYSBOeq/WIiyVx6QAR1x r+j5VjAbSfLZ+D0hys7Zl5koafsTPt37Qzzp/qkFMWkQbg5RwrarIa/Q2g2hyXbKNwWvxDZq dlQ/ewrV7DJHnMPqKhqU7ul8+wZd0GZAGkTGP1O7L0DR3rBSWvjxRmPNEGDVcdfLNPa8UKDK pJPJ+Aecz+cxSqxvjQgKqpUGIBNndkt/8skRrzwAHwv6p+zj2ZMoY2K0DrTn0opSIheqtk8I YbvaD6yKGycqn9KkWvrrsMfGG6HTfQbRQ/7zsan2f4oEs8djeRSbk0C6Lu4kHGLOg9B/RjPn gfiZbfT/tNy27ZXgIrgPaVSNTqaceqperyzzzmylNBSYffkE8TE7VoVo2a6GTVmB+IaXtAvm ImdtNLy4lj+g483dGLkgLiEKbhC4JSjfehQM/+vFkJgowm5ZJbO7ScAqkeCEr4YtPNG58Kie Rm0V9voS/4RROVm5SN0bwpwLk8jLprZP4ncoRGzlfCuMiQm8BfmKYqn/ED5bGsAeS4vPYb/O zDOuP2vx455qqIUDxoqX/hNXp9JMQK6ULoHbPz0jyGTVUOzs2OBu5zjtBsu0i7KAX+6C/TH4 YrJaxz9VRaqsoTK8Y1piJNztRgpE3pNu+k8UUYD8dpQiTrhLmo5AckCEJcBULd4rzfT0czmW TTzc2cSMyXxcjBaexHa4t64fAO+BPQLC+jpNA4S4EKYRCenNryuWII72H9b3E53XT//wMWMC 9IUoCTwNyfs5KBZf78Y4/jjjNp3wv/f+Gkzxnn8tM7PGDcbP6QB0S1wPQhKVBGfKfr3qmfwG TEXS1xHEWaBcmygIfY4LjQRUFscsSj0xjolUTaXzZyN88+HxelH07vkN/u1zrQHa98QKaUTQ W/sAVGA+H2SxmdZrJ5BVwjFWkOoIanj8gmGwK7fqck6tJ6A0j55Yug/xXJeCsY/5ARYDlXR0 CG25GQzD1iEL0YX36CKzQIO+NR6VXdk4/QlSuLgjWeurPD754Gxl9uWIMbTMo3qorTj+UxTB ioRBKpUi0PDryPq/FGSqdxCzmFqwqgt+b3sSTwyR4/y1B6nDnJefFykP4fWyPoJmEB5Kk5om Gp9HjnzFE9Lns9C4uw8oOokXw==
Ironport-hdrordr: A9a23:Ul5yHq7rowtr3Kn06gPXwNbXdLJyesId70hD6qkXc3Jom62j+/ xH/pwgvyMc5wxhOk3I9erhBEDiexzhHPxOkOws1N6ZNWGM1VdAR7sC0WKN+UyCJxHD
Ironport-phdr: A9a23:NM0a5BSfT2A7XUWk9x/8IMue3tpsosyQAWYlg6HPa5pwe6iut67vI FbYra00ygOSBcOBuqwP0bKempujcFJDyK7CikxKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxB sVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizewb69+I A+ooQjVt8QajpVuJroswRbVv3VEfPhbymxvKV+PhRjw4du+8oB++CpKofIh8MBAUaT+f6smS LFTESorPWMo6sD1rBfPVQSA6GcSXWUQiRpIHhPK7ArmUZfrsyv1rfRy1S+HNsDrV780WDCi7 6B2SB/0jSoMKjA0/H3LhsF2kalWpg+qqR5izI7OeIybN/Rwca3dc90HW2ROQslfWCNaD4Ogb IYCFfYNMfpGo4T/oVYFsBuwBROrBOPq0jJGhmX20rMn3OQ7EAHG3xErEcoJsHTOsdr1Kr0dU eSxzKLVzTvDaOlW2Szm54fWaBAhruyHULV+ccrL10YgChnFjlSTqYD/OTOV0f4NvHWF7+V6U eKvj3crqw92oji13ccjkZfGhpgayl3f7iV53Jw1KsekSE57e9KrCodfuzuHN4t1W84vRXxjt ykmxLMco5G7YDQKx4o9xx7Zc/GJfZWF7g7sWeuNLzl1hnJrdba7ihi98EWtye3xW8e63VtJr SdIkdjBuH4N2hDN9sSKVPRz81mu1ziBygze6+JJLEYpnqTVLJ4hx6Q/lpsVsUnbBS/2hF/2g 7WKdkUk4OSn8fjobq/7pp+fMYJ/lwLwMrw2l8G/H+g0KBUCU3SG9eimybHv4VH1TK9XgvErk 6TVqI7WKMUHqqO3BgJZz5ov5Ay+Ajqj0dkUgWULIVdbdB2djoXkPlTDLfD+APyinVmslCprx +vaPrL/GJXDM3nDkbb/crtl90JRzhc4w8pF6JJOEL4BJer+Wk/vu9zcCR80KxK5zObmB9tny I8TWGKCD7GXP6/OrVOF4vgjI+6RZI8Jozn9LOUl5/jzgnMjgV8dZ66p3YcJZ3+kAvRmIkKZY Xz2jtcGDGcKog4+TOvtiF2BSzJce3GyX6ck6jE6DoKpE5vDS5itjbCfxiu3A4Faan1cBlyRD Xvka5+IV+oRZC+TOsNhlyYLVbmlS48vzxGuswr6xqJpLurO5CIXqIjj1Nl25+HJkxEy8iZ0A NmD026XS2F0mnoERzEx3KBlukxy0UmM0bJ3g/FDDtxT++lJXR0mNZ7c1eB1Ecz9VhjcfteKU FqmRM6pDikrTt0t298Of1p9G9K6gxzexyaqGaMal6SXBJwo9aLRx2T+J8Fky3rfyKYhi0QmT dBUOG29hq9/8hDTCJTTn0WYkaaqb6Uc0zTX+GeN12rd9H1fBQd/XaztWXEEelCQptTw4kbPV aToErljegZc1d+aJ7BiYcavl0gAQvOncMjPe2+q3m62AxGVwLiBRI7rYHkGmj7QAVNCjhge+ 3DAOAQjQm+hpGfZEDt2BE7+e07w8eR5smKTQUgzwAWHYFdmyqKuvBUSgLjUQPQKm7kApS0Jq jNuHV/70ciSQ8GYoxFJeKRHfch761pBySTWswU7N5fmMqMxqEQZdlFZpU7izRR0QqNHi8Q0p XcuhCR1M7mS3UlOP2eWx538ILzUbG/15hyxYqrSn1/Zys2c970AwO8ksVz/vEegHQw/8CM0g JFuz3KA68CSX0IpWpXrXxNvn/Abj7TTYy1mopjRyWUpKq6s9DnLx9MuAuIhjBemZdZWdq2eR 0fpC8NPIc+oJaQxnkSxKAoeNbVc7qM4JcKlMf2BwqK1NeJk2Tyhl39N7Zpy+lmQ7SNgSqjB1 NAYwKLQxROJAg/1l0zpqcXrgcZBbDAWEHC4zH3qHoNdfKxxO4AME2uwKsmzg9t5nYXnVmRX3 EW/HVoa2ImgclyPbA+1xhVegGIQp3Hvgi6k13p0njUu+7KYxzDLyv/+eQAvEVF7fDM80HzRe dDlydcHQEKvcg4l0gO/4lr3zLRao6I5KHTPRUBPfG79KGQKvrKYkL2EboYP7ZoptX4SS+Gge RWBTaa7pRIG0iTlFm8YxTYhdjjstI+r1xp9wHmQKnp+th+7MYl52Avf6drARPVQwitORS92j iPSD0S9ON/h9MudlpPKuOSzH2y7UZgbfS7uxIKG/Cy1gA8iSROlkvypm96hFw8g3THy090vW yLStxzxeIbDzLigOP5nOEBjQkL/qoJ7Fox4jooslcQIw3FJ4/fdtXEDkGr1LZBawfejNjxUH WdNmoaNplG8hh4GTDrB3Y/yW3SDz9E0YtC7ZjhTwSch94VRD7/S6rVYnCxzq17+rATLYPE7k C1OrJlmoHMcnewNvxIgiyuHBbVHV0dCMCD2lhfO6dekoLteYGLqf7+qz0Bzh9+JF62Yqx1cH n/yPIohV3wVjI03IBfX3Xv/55uxMtfKYN4Jtx7SlRDag/ZcLJZ0mP0QniBqI23VpmE/wvI7y xVlm4y59tviSS0l7OeyBRhWMSfwbsUY92T2jKpQqc2R2pimApRrHjhjsILAdfuzC3pSsP3mM 13LCzggsjKAHqKZGwaD6UBgpnaJEpaxNnjRKmNLhdllQRCcIgRYjmV2FH00hJM1DAGpgsrma ktn7zQVo1D/sABGx/hnHwLjSG7DpEGhYXEpS9CTIQFX4QdL+0rOVK7Wpr8pWXgAp9v49FTLc zXFLw1TRXkEQEmFG0zuMvG16N/M/vLZTuuyIv3SYKmf/OlXVvOG35Wqge4Et36HMsSCOGUnD uVuhxAFBCggXZ2Bw3NWEnJE8kCFJ9SWrxq95CBt+8W28fCwHRnq+ZPKELxKd9Nm5xGxh66Hc e+WnidwbzhChfZujTfFzqYS2FkKhmRgbT6oRP4OryPBVqPT3KlQFRIFYid3ccVP9bk20xNCE dXHkNrp1vhxhbgoCB0WMD6p0tHsfsEML2ynYRnJHkuHLrWFYzvM2c3paKe4DLNXlv5euge/k S2HCUb/PnKKnH/0VFr8VIMExDHeNxtYtoandx9rAmW2V9PqZCqwN9pvhCE3y7k51TvacHQRO j9mfwZRv6WduGlG1+5nFTULvR8HZaGU3jyU5O7CJtMKvOt3V25qwvlC7i1yyqMJvn0cAq0v3 nOU9pk3/hmnirXdlmIhCUIR7G4N3MXS4yAAce3Y7sUSBCyCpUpVqz3WU1NT+pNkEoG95voWk 4CV0vq1cHAbrZrV5ZdOWpKScZrcdiJnaV2wR1u2REMEVWL5bDmDwRAC1qnUrjrM8dA7ssa+w pNWE+0CDQVnGK9CUhY3W4BSRfU/FjI8z+zBhZZRtyPn9UvfGJ0B7MKACqPaAO2xemyQ1eAWP kJRk72kdd9BZtWjgx4wLQQj+eaCU0vIA4IXq3U4PFZt+RdDrCAlHGZrgxq3OETwuTcSDaDmx Bdu01knOL1/+mu0uAU5fgKS9nl3zRN53NzhhXr5nCfZCqC2UMkWDiP1sxN0KZbnW0NuahX0m 0V4NTDCTrYXjr16dGkthhWO8Z1IUeVRS6FJenpyjbmeeuko3FJAqy6m2V4P5O3LDoFnnRcrd pjkpmxJ2gZqZto4baLKI68Bwl9Vj6OI9iims4J5iBcZPFoI+XiOdTQgk3M4DuN4egGVprQ9r wufhzFEZW4AEeIwpe5n/V88POLGyD/817lEKQa6MOneSsHR82nMmMiUQ08hg0MFk04WtbNy0 Molbw+VTxVylv3IT01PbJKab1gMMZk3ljCbZyuFvOTTzIggOoy8ErutVuqSrOMPhVriGg81H oMK58BHH5+20UieI920SdxNgRgr+gnvI02ISfpTfxfe2jkdrs2lzZwx245HKi8UBWE4PyKt/ bzavAACm+aZVcs2JH4RGJYHfCFTOoXyi2tCsnJMASPimPoe0xSH5iTgqz74JwbMV4A9OdypP Us9Ttar5T847q66z0bN9YnTLH37MtIkvcLT7eQdpNCMDPYeHtwf+w/M3oJfQXKtSWvGF9W4c oPxZ4cbZtvxEn+mU1a7hlrdqu/qIMykMqjOiAquWIUG6OFzMxg4KdW0CjFYEhw2uuJRvcqUh CUoXKoDO0C1nDlmb/35JxqE2NKzRWrrMSFRU/RU0eS9YfpQ0jYoaei5jnAnS8Nip9Q=
Ironport-sdr: 6728a9e8_e3qmmM8aNK4YwO9LUiVP2kVRFGpuNLhfBzkYiC1cL1wJDVq xEM4hIjxUq0p+GVhkKGSTY/4hiFvNg488om9OWg==

Dear all,

The Department of Computer and Information Sciences at the University
of Strathclyde is welcoming applications for PhD studentships. At least
four fully funded positions are available for UK home students, and
funding covers tuition fees, a stipend for living expenses, and a
small travel budget. *Unfortunately, the funding provided is not enough
for non-UK tuition fees.*

Applicants in the area of the Mathematically Structured Programming
(MSP) Group are strongly encouraged to apply. Within MSP, we see the
mathematical foundations of computation and programming as
inextricably linked, and study one so as to develop the other. This
reflects the symbiotic relationship between mathematics, logic, and
programming — any attempt to sever this connection will diminish each
component.

For more information about MSP, please see:

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

If you are interested in applying, please contact a potential
supervisor as soon as possible, and *before 25th November 2024*.
Potential supervisors in the group are:

* Guillaume Allais: type-driven programming, correct-by-construction
methodology, implementations of type theory, generic programming,
proof automation, user experience of interactive compilers.

* Robert Atkey: type theory and computational complexity, resource
awareness in logic and programming languages, substructural logics,
applications of mathematical structure to programming language
design, domain specific languages for specification and verification.

* Neil Ghani: category theory, type theory, functional programming,
game theory, machine learning.

* Jules Hedges: applications of category theory, type theory,
functional programming, ... in economics, machine learning,
statistics, control, ...

* Ross Horne: concurrency and logic, and their applications to
analysing threats to security and privacy.

* Clemens Kupke: coalgebraic modelling of systems, logical
verification/model-checking, fixpoint logics and their
game-theoretic semantics, automata theory and automata learning.

* Conor Mc Bride: dependent type theory, functional programming,
effects and handlers, programming language design and metatheory,
and the category theoretic underpinnings of all of the above.

* Jan de Muijnck-Hughes: trustworthy systems using type-driven
approaches; namely applications of type theory, dependently typed
functional programming, and programming (& domain specific) language
design and metatheory.

* Fredrik Nordvall Forsberg: dependent type theory, especially
homotopy type theory, and its semantics and applications,
constructive mathematics, categorical semantics of programming
languages.

Best wishes,
The MSP Group
University of Strathclyde

[Coq-Club] PhD studentships at the University of Strathclyde, Fredrik Nordvall Forsberg, 11/04/2024