<div dir="ltr"><span style="color:rgb(36,36,36);font-size:14.6667px">Dear all,</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">The School of Computer Science at the University of Nottingham</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">in the UK is seeking applications for 10 fully-funded PhD</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">studentships: </span><a href="https://urldefense.com/v3/__http://tinyurl.com/ten-phd-2024__;!!IBzWLUs!UeJtmvJtx850hhSFkwqzEM0NntZ_iVd8O6sS8xOB8SN0fpPhMueqy6PJO_0qWS-6hhmg82LOXdjSNB-Q1iXZD_c0MXUCpQuJ_8EluQ$" target="_blank" rel="noopener noreferrer" style="border:0px;font-variant-numeric:inherit;font-variant-east-asian:inherit;font-variant-alternates:inherit;font-stretch:inherit;font-size:14.6667px;line-height:inherit;font-kerning:inherit;font-feature-settings:inherit;margin:0px;padding:0px;vertical-align:baseline">http://tinyurl.com/ten-phd-2024</a><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">Applicants in the area of the Functional Programming Lab</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">(<a href="https://urldefense.com/v3/__http://tinyurl.com/fp-notts__;!!IBzWLUs!UeJtmvJtx850hhSFkwqzEM0NntZ_iVd8O6sS8xOB8SN0fpPhMueqy6PJO_0qWS-6hhmg82LOXdjSNB-Q1iXZD_c0MXUCpQsf9STGcQ$">tinyurl.com/fp-notts</a>) are strongly encouraged!  If you are</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">interested in applying, please contact a potential supervisor</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">as soon as possible; the application deadline is 7th April 2024:</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">  Thorsten Altenkirch - constructive logic, proof assistants,</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">  homotopy type theory, category theory, lambda calculus.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">  Ulrik Buchholtz - homotopy type theory, synthetic homotopy theory,</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">  proof assistants, constructive mathematics, and related topics.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">  Graham Hutton - not currently seeking a new student.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">  Nicolai Kraus - homotopy type theory, higher category theory,</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">  constructive mathematics, and related topics.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">  Dan Marsden - category theory, logic, finite model theory,</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">  diagrammatic reasoning, foundations of computer science.</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">Best wishes,</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">The FP Lab</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><span style="color:rgb(36,36,36);font-size:14.6667px">University of Nottingham</span><br aria-hidden="true" style="color:rgb(36,36,36);font-size:14.6667px"><div><span style="color:rgb(36,36,36);font-size:14.6667px"><br></span></div></div>