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.
Sam Staton (Aug 22 2020 at 16:13):Hi, I'm looking for a postdoc to work on probabilistic programming, possibly including categorical theories of probability. Maybe you saw my CPS tutorial or talk.
Closing date 17 Sept 2020 (NB our HR use noon UK time!).
Do get in touch with any questions!
Sam Staton (Mar 17 2023 at 13:10):Hi, I'm looking for three more research associates (postdocs) in Oxford. Job ads here and here; do apply to both.
The funding is based around probabilistic and quantum programming, but the work topics are fairly flexible. As the essential criteria I put
Expertise in one or more of the following areas (in alphabetical order): category theory, measure theory, probabilistic programming, programming language theory, quantum theory, statistical machine learning, or theory of statistics, evidenced by published papers.
Oxford is a lively place. Here's my current immediate group. Beyond myself, there are quite a few category-theory-sympathetic people in CS (e.g. PL, Quantum) and lots of interaction, with various informal seminars etc.; also there's even more in maths and over in Quantinuum etc..
As always, let me know about any questions, if you're curious, or if you know people who might be.