Research Fellow: Monad‑Based Programming & Semantics

A prestigious research university in Birmingham is seeking a motivated researcher to contribute to the ‘Higher-Order Monad-based Programming and Reasoning’ project. The candidate will analyze research findings, supervise students, and contribute to writing funding proposals. A higher degree in a related field and strong analytical skills are essential. The role includes developing research objectives and disseminating findings through publications. This is a full-time, fixed-term position until December 2027. #J-18808-Ljbffr