Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.

Stream: community: positions

Topic: Funded PhD position at University of Birmingham, UK

Sergey Goncharov (Dec 17 2025 at 22:31):

A fully funded PhD position at the University of Birmingham is available under my supervision, with scholarship for one UK home student.

The position is in theoretical computer science and will be hosted by the Theory of Computation group at the University of Birmingham. The intended research directions include category theory, type theory, and related areas.

Prospective candidates are encouraged to contact me directly, asap and before Christmas. Please include a CV and a brief description of your research interests and motivation.

• About me: https://sergey-goncharov.org/
• About Birmingham Theory Group: https://www.birmingham.ac.uk/research/centres-institutes/research-in-computer-science/theory-of-computation

Notification Bot (Dec 18 2025 at 10:23):

A message was moved here from #community: positions > Funded PhD positions in MSP Strathclyde, UK by Nathanael Arkor.