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.
Fabio Zanasi (Jul 24 2024 at 13:37):I’m starting a project on categorical probability theory in September 2024. We are investigating axiomatic calculi of string diagrams for categories of probabilistic processes, also with applications to Bayesian inference and probabilistic graphical models.
Two postdoc positions will be available to work on this project at University College London, with starting date between October and January, and end date August 2025 (with the possibility of extending for one more year if the project is approved for a second round of funding). Funds will be also available for travelling to conferences, workshops, and research visits.
The project requires a PhD in Computer Science or Mathematics (or close to completion) by the starting date, and previous research experience in at least two of the following areas: applied category theory, probabilistic programming, (Bayesian) probabilistic graphical models.
If you are interested in applying please contact me directly via email at f.zanasi@ucl.ac.uk. (Note I do not check Zulip very regularly so if you write me there I may miss it.)