[Agda] PhD position at the University of Strathclyde

[Fredrik Nordvall Forsberg]

******************************************************************
*** 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 at 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