(New) Lecturer in Mathematically Structured Programming at the University of Strathclyde in Glasgow [UK]

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

You will join the vibrant Mathematically Structured Programming group which is internationally renowned for its research in the mathematical foundations of programming languages. They 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. They have a strong partnership with the Scottish Programming Languages Institute and their work finds impact through our productive links with industry.