Postdoc · Delft University of Technology (TU Delft)
Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems
Official page- Type
- Postdoc
- Organisation
- Delft University of Technology (TU Delft)
- Location
- Delft, Netherlands
- Deadline
- 1 November 2026
- Found
- 13 October 2026
About this listing
Postdoctoral research position on category theory, computer proof assistants, and computer algebra systems. Job description Computer proof assistants and computer algebra systems have complementary strengths.
Last checked 13 October 2026.