Postdoc position at TU Delft

Announcements
1

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 what you are interested in. Informal questions are very welcome.

Please feel free to forward this to anyone who might be a good fit.

Best wishes,
Benedikt

2

Further information about this vacancy: the official job opening is now online, at Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems Job Details | TU Delft.

Please don’t hesitate to get in touch with me (Benedikt, B.P.Ahrens@tudelft.nl) with any questions about the position.