diff --git a/phd2024.html b/phd2024.html index d6f38a2..9e70b72 100644 --- a/phd2024.html +++ b/phd2024.html @@ -11,9 +11,10 @@

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