Graham Hutton

The Functional Programming Lab at the University of Nottingham is advertising fully funded PhD studentships for research in functional programming and related areas of programming-language research. The opportunity is suited to students interested in topics such as Haskell, Agda, type systems, programming-language semantics, and formal methods. The advert indicates that the lab is open to potential research topics, including interdisciplinary directions such as scientific computing and type systems for physical units or measurement uncertainty, provided the project has an appropriate semantic and functional-programming focus. PhD researchers would join the Functional Programming Lab and work in a research environment centered on functional programming, programming languages, and rigorous reasoning about software. Professor Graham Hutton is available as a point of contact for applicants and provides additional guidance for people applying to him. The post advertises fully funded studentships and invites excellent candidates to apply.