Permanent lecturer position at the University of Strathclyde

[Fredrik Nordvall Forsberg]

Dear all,

The Mathematically Structured Programming research group at the
University of Strathclyde is advertising a permanent position. We have
several type theorists in the group (e.g. Conor McBride, Bob Atkey,
Guillaume Allais, Vikraman Choudhury, and me), with an interest in
homotopy type theory. Please feel free to contact me or any other
member of the group if you have any questions.

Best wishes,
Fred

=================================================================
Location: Glasgow, Scotland, UK
Salary: £37,694 - £46,049 (Grade 7), £47,389 - £58,225 (Grade 8)
Hours: Full Time
Contract Type: Permanent
Closes: 1st April 2026
More details, and to apply:
https://www.jobs.ac.uk/job/DQS044/lecturer-in-mathematically-structured-programming-790646
=================================================================

The Department of Computer and Information Sciences at the University
of Strathclyde seeks to appoint a Lecturer in Mathematically
Structured Programming.  We welcome applications from candidates with
expertise in a range of topics in the mathematical foundations of
computer sciences and applications, such as:

* Category theory, including categorical semantics, and applied
  category theory;

* Logic, including modal and temporal logic, model checking, and proof
  theory;

* Type theory and functional programming, including semantics,
  metatheory, and implementation;

* Formal and mechanised mathematics, including certified programming
  and the use and implementation of proof assistants.

You will join the vibrant Mathematically Structured Programming group
(https://msp.cis.strath.ac.uk/ ), which is internationally renowned
for its research in the mathematical foundations of programming
languages. 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. We have a strong partnership with the
Scottish Programming Languages Institute (https://spli.scot/ ), and
our work finds impact through our productive links with industry.

As a highly motivated scholar, you will contribute to the research,
teaching, and administrative activities of the group and the wider
department. We expect you to have ambitious academic goals, and an
understanding of how to bring in the grant income required to fund
those goals. The University of Strathclyde is socially progressive and
offers a supportive and flexible working culture. As a Department we
have had exceptional recent successes across all of our activities, so
you will be joining a energetic, happy, friendly and forward looking
department keen to do more. We are committed to equality and diversity
and work hard to ensure equal participation and equality of
opportunities for all. The CIS department was recently awarded the
Athena Swan Bronze level award.  We strongly encourage applications
from Black, Asian and minority ethnicity, women, LGBTQIA+, disabled
candidates, candidates from lower socio-economic groups, and
care-experienced backgrounds.