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.
Benedikt Ahrens (Sep 16 2026 at 09:26):Hi all,
I have funding for a postdoc position at TU Delft on combining computer proof assistants and computer algebra systems in the area of category theory, and I would be happy to hear from potential applicants before the formal advert goes out.
I am looking for someone who is interested in all three of proof assistants, computer algebra systems, and category theory, and who has some experience in at least one or two of them.
The position ideally starts no later than March 2027.
If you are interested, please email me at B.P.Ahrens@tudelft.nl with a short note about your background and your research interests. Informal questions are very welcome.
Please feel free to forward this to anyone who might be a good fit.
Best wishes,
Benedikt
Benedikt Ahrens (Oct 06 2026 at 12:45):Further information about this vacancy: the official job opening is now online, at https://careers.tudelft.nl/job/Delft-Postdoc-Category-Theory%2C-Computer-Proof-Assistants-and-Computer-Algebra-Systems-2628-CD/1373970157/.
Please don’t hesitate to get in touch with me (B.P.Ahrens@tudelft.nl) with any questions about the position.