Friends,
Come join us as a Chancellor’s Fellow (Lecturer or Senior
Lecturer with a reduced initial teaching & administrative load
for you to build a research portfolio) in the Mathematically
Structured Programming group at the University of Strathclyde.
- Location: Glasgow, UK
- Salary: £41,421 to £56,921
- Hours: Full Time
- Contract Type: Permanent
- Closes: 5th January 2025
Our team covers a wide research area from pure mathematics and
logic to compiler engineering, and we use and contribute to a varied
set of tools internally (e.g. Agda, Idris 2, Dafny, Haskell, OCaml) and
build our own too.
More details and how to apply: