[Agda] Permanent lecturer/senior lecturer position at the University of Strathclyde

Fredrik Nordvall Forsberg fredrik.nordvall-forsberg at strath.ac.uk
Fri Nov 29 18:08:25 CET 2024


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, and me), and are great fans of Agda, with several of us
involved in Agda development. 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: £41,421 to £56,921 (Grade 8); £58,596 to £65,814 (Grade 9)
Hours: Full Time
Contract Type: Permanent
Closes: 5th January 2025
More details, and to apply: 
https://www.jobs.ac.uk/job/DKR108/strathclyde-chancellors-fellow-in-mathematically-structured-programming
=================================================================

The Department of Computer and Information Sciences at the University of
Strathclyde seeks to appoint a Chancellors Fellow 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:

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

* Category theory, including categorical semantics, and applied
   category 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. Your Fellowship will normally be at lecturer level (Grade 8) for
5 years, with the expectation that you'll meet our promotion criteria
within that period and be transferred to senior lecturer. Exceptionally,
where you have a strong track record in research leadership, you can be
appointed at senior lecturer level (Grade 9), with expected promotion to
Reader within 5 years.

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.






More information about the Agda mailing list