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.
Gioele Zardini (Aug 21 2026 at 08:27)::megaphone: I'm looking for a postdoc to join my group at MIT! (https://zardini.mit.edu/)
We make the design of complex, interconnected systems mathematically rigorous and computable. We build the theory — compositional co-design, applied category theory, compositional optimization, contracts — turn it into algorithms that actually scale, and apply it to autonomy stacks, layered control architectures, multi-agent systems, agentic AI, and networks such as mobility and energy. Deep theory at one end; solvers, toolboxes, and case studies validated with state-of-the-art industry partners at the other.
I am looking for someone with a PhD, completed or imminent, in a related field, who brings genuine compositional and structural thinking together with the ability to implement it: you design the algorithm, you prove the properties, and you ship the code. I care about curiosity for architectures — how decision-making, control, learning, and hardware should be organized rather than merely tuned — and about independence and taste in choosing problems worth solving.
To apply, complete this short form: https://forms.gle/SLsaiqxCYpsPLXGg7
Review is rolling, with a first pass on September 15, 2026. The position stays open until filled. Please share with anyone who fits! :folded_hands: