« Back to Vacancies
Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems
TU Delft (Delft University of Technology)
Postdoc · R2 Recognised researcher
Delft, Netherlands
Deadline: 01 Nov 2026
1.01 Mathematics, 1.02 Computer and information sciences