The School of Computer Science are seeking applications for a Lecturer in Computer Science

We seek lectureship applications from researchers who have a strong research background and excellent publication record in any area of functional programming, complementing and enhancing the existing research team, which has a strong focus on parallel programming models and implementation, resource-aware functional programming, dependent type systems, refactoring, static analysis, and performance modelling, and deep connections with the Haskell community. The candidate should be able to form links with and work collaboratively with other research groups in the school, and contribute to teaching and course design across functional programming and theoretical computer science, especially logic and semantics.

Information on how to apply.