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