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. The formal vacancy is now open: https://careers.tudelft.nl/job/Delft-Postdoc-Category-Theory%2C-Computer-Pro... 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 is for one year initially, extendable to up to three years, and ideally starts no later than March 2027 (a later start can be discussed). The application deadline is 1 November 2026. Please apply through the online portal linked above; applications sent by email can't be considered. Informal questions are very welcome. Feel free to email me at B.P.Ahrens@tudelft.nl before you apply. Please feel free to forward this to anyone who might be a good fit. Best wishes, Benedikt