[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
(apologies if you receive this multiple times; I forgot I was not subscribe
to the mailing list when sending the first time around.
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://urldefense.com/v3/__https://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-su-phd-comparing-2022-rs125.php__;!!IBzWLUs!R7A4yMrvFKLoUeZK32bK-tUR4OP24eS5xrgxdVemzC8AXleJbacokVlMACo9MoN0-CF0w2q5Vgnln9SFfqCDW-iytvajlJ-VbwOu9lfCtg$
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://urldefense.com/v3/__https://cs-web.swan.ac.uk/*pierrepradic/__;fg!!IBzWLUs!R7A4yMrvFKLoUeZK32bK-tUR4OP24eS5xrgxdVemzC8AXleJbacokVlMACo9MoN0-CF0w2q5Vgnln9SFfqCDW-iytvajlJ-VbwOb3pXbUQ$
).
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://urldefense.com/v3/__https://www.swansea.ac.uk/postgraduate/scholarships/research/computer-science-epsrc-su-phd-robust-2022-rs122.php__;!!IBzWLUs!R7A4yMrvFKLoUeZK32bK-tUR4OP24eS5xrgxdVemzC8AXleJbacokVlMACo9MoN0-CF0w2q5Vgnln9SFfqCDW-iytvajlJ-VbwNMq3ArYw$
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 ([email protected] for me,
[email protected] for Eike) beforehand.
All the best,
Pierre Pradic
