From 594785bb2c23933e9c5d5b0583a767048efeadd0 Mon Sep 17 00:00:00 2001
From: Fredrik Nordvall Forsberg PhD Position: A Correct-by-Construction Approach to Approximate Computation<
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 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. Note that unfortunately tuition fees for +international students are not covered by the position.
The successful applicant will become part of the Mathematically Structured Programming group at the University of Strathclyde. It is