phd2025-JARSS.html

### default.html

<h2>PhD scholarships at the University of Strathclyde 2025</h2>

<p>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. <strong>Unfortunately, the funding provided is not enough
for non-UK tuition fees.</strong></p>

<p>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 &mdash; any attempt to sever this connection will diminish each
component.</p>

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

<ul>
<li><a href="http://gallais.github.io/">Guillaume Allais</a>:
  type-driven programming, correct-by-construction methodology,
  implementations of type theory, generic programming, proof
  automation, user experience of interactive compilers.</li>

<li><a href="http://bentnib.org/">Robert Atkey</a>: 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.</li>

<li><a href="https://www.strath.ac.uk/staff/ghanineilprof/">Neil
  Ghani</a>: category theory, type theory, functional programming,
  game theory, machine learning.</li>

<li><a href="https://julesh.com/">Jules Hedges</a>: applications of
  category theory, type theory, functional programming, ... in
  economics, machine learning, statistics, control, ...</li>

<li><a href="https://personal.cis.strath.ac.uk/ross.horne/">Ross
  Horne</a>: concurrency and logic, and their applications to
  analysing threats to security and privacy.</li>

<li><a href="https://personal.cis.strath.ac.uk/clemens.kupke/">Clemens
  Kupke</a>: coalgebraic modelling of systems, logical
  verification/model-checking, fixpoint logics and their
  game-theoretic semantics, automata theory and automata
  learning.</li>

<li><a href="http://www.strictlypositive.org/">Conor Mc Bride</a>:
  dependent type theory, functional programming, effects and handlers,
  programming language design and metatheory, and the category
  theoretic underpinnings of all of the above.</li>

<li><a href="https://tyde.systems/">Jan de Muijnck-Hughes</a>:
  trustworthy systems using type-driven approaches; namely
  applications of type theory, dependently typed functional
  programming, and programming (& domain specific) language design and
  metatheory.</li>

<li><a href="https://fredriknf.com/">Fredrik Nordvall Forsberg</a>:
  dependent type theory, especially homotopy type theory, and its
  semantics and applications, constructive mathematics, categorical
  semantics of programming languages.</li>
</ul>

<p><img src="images/msp_phd.png" alt="The University of Strathclyde campus"></p>