Lecturer in Mathematically Structured Programming (790646)

The Department of Computer and Information Sciences (CIS) 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 science 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 (MSP) group, 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, 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. You should demonstrate significant promise in your discipline with a record of achievement in your career to date, and demonstrate a potential to attract research funding

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.

For informal enquiries about the post, or working at the University of Strathclyde, please contact Fredrik Nordvall Forsberg, Head of the Mathematically Structured Programming group (fredrik.nordvall-forsberg@strath.ac.uk).

Research Starter Grant

The Faculty of Science offers a Research Starter Grant to all new full-time, non-professorial, academic staff within the Faculty. The Grant may be used for any purpose that assists staff to establish their Strathclyde research career and to assist in attracting additional funding for research from external sources. Any grant awarded will be to a maximum of £10,000, and the planned expenditure of the award is normally for a period of 18 months.

Type / Role:

Subject Area(s):

Location(s):