Dear all, (apologies if you receive this multiple times; feel free to circulate to students who might be interested in these offers) I'd like to advertise a funded PhD position in the CS theory group at Swansea University, to be supervised by myself. The topic would be about exploring connections between (linear) ??-calculi and automata theory, hopefully using semantic methods. The official advert, that can be found at https://www.swansea.ac.uk/postgraduate/scholarships/research/computer-scienc... gives some administrative details and some ideas on the research directions that could be explored (I would personally also be happy to discuss other ideas as long as I would be a particularly good fit to supervise; my webpage might give you some idea about my interests: https://cs-web.swan.ac.uk/~pierrepradic/). Eike Neumann also has a funded PhD position to offer on a project about looking at dynamical systems with a focus on exact real number computability that I'd also like to advertise https://www.swansea.ac.uk/postgraduate/scholarships/research/computer-scienc... The stipend would be ??16,062/year (UKRI rate), for a duration of 3 years and the tuition fees are covered by the funding. The closing date for both calls is July 29th. While the application procedure is detailed in the links I gave above, we would welcome prospective candidates getting in touch via email (p.r.a.pradic@swansea.ac.uk for me, e.f.neumann@swansea.ac.uk for Eike) beforehand. All the best, Pierre Pradic [For admin and other information see: http://www.mta.ca/~cat-dist/ ]