****************************************************************** *** PhD Position *** A Correct-by-Construction Approach to Approximate Computation *** Mathematically Structured Programming Group *** University of Strathclyde (Glasgow) ***************************************************************** Applications are invited for a fully funded UK PhD studentship in the areas of type theory, category theory and/or logic, under the supervision of Dr Fredrik Nordvall Forsberg, and Professors Neil Ghani and Radu Mardare. The research will be part of the recently EPSRC-funded project "A Correct-by-Construction Approach to Approximate Computation", which seeks to develop type-theoretic tools and frameworks for approximation. The position is for 3 years, with a start date of 1 October 2024. It includes both coverage of fees and an stipend, and is open to UK-based applicants. The successful applicant will become part of the Mathematically Structured Programming group (https://msp.cis.strath.ac.uk) at the University of Strathclyde. It is likely that you will also work with the other members in the group, which include Conor McBride, Robert Atkey, Glynn Winskel, Jules Hedges, Guillaume Allais, and currently 10 PhD students. We are located in the city centre of Glasgow, with plenty of both culture and nature nearby. Scotland is a great place for theoretical computer science: we have active collaborations with researchers Edinburgh, Heriot-Watt, Glasgow and St. Andrews. Applications, requests for further information, and other informal enquiries can be sent to: Fredrik Nordvall Forsberg fredrik.nordvall-forsberg@strath.ac.uk If you are interested, please get in touch as soon as you can. We hope to appoint in early March. Best wishes, Fred You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files | Leave group | Learn more about Microsoft 365 Groups