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.
Robin Kaarsgaard (Oct 28 2025 at 12:57):Dear colleagues,
I am looking to recruit two junior researchers in the area of (models of) quantum programming languages at the University of Southern Denmark: one fully funded PhD fellow, and one postdoctoral research associate for a three year term.
The researchers will work with me on developing new abstractions, (categorical) models, and programming languages for quantum programming.
For more information about the positions, including how to apply, see the links below.
PhD fellowship: https://fa-eosd-saasfaprod1.fa.ocs.oraclecloud.com/hcmUI/CandidateExperience/da/sites/CX_1001/job/3266/?utm_medium=jobshare
The application deadline for the PhD fellowship is December 1, and December 15 for the postdoctoral researcher. In case you have any questions about the positions, it's easiest to catch me by email on kaarsgaard@imada.sdu.dk.