Logic List Mailing Archive

CfA: Lecturer in Mathematically Structured Programming, University of Strathclyde, Glasgow (UK), deadline: 1 April 2026

Dear all,

The Mathematically Structured Programming research group at the University of Strathclyde is advertising a permanent position. We have several logicians in the group (e.g. Clemens Kupke, Bob Atkey, Vikraman Choudhury, me), and are generally interested in constructive logic and mathematics.
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.



--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php