From 08742c2b52f1763ee71d1678754fdd49aea77c06 Mon Sep 17 00:00:00 2001
From: Fredrik Nordvall Forsberg PhD Position: A Correct-by-Construction Approach to Approximate Computation<
Structured Programming group 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, Clemens Kupke, 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