Dear all, The MSP group at the University of Strathclyde is advertising a permanent lecturer position. It is a great place to do research in category theory and applications. Please contact us if you have any questions! — 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-prog... — 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. -- Vikraman You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>