Postdoc
Computing and data
20 days left
Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems
AcademicTransfer · TU Delft, Netherlands
What the advert says
Postdoctoral research position on category theory, computer proof assistants, and computer algebra systems.Job descriptionComputer proof assistants and computer algebra systems have complementary strengths. A proof assistant checks each step of a mathematical argument against a formal foundation...
Extract only. The full description, conditions and application form are on the original page.
The facts
| Level | Postdoc |
|---|---|
| Field | Computer science, Informatics, Programming |
| Institution | AcademicTransfer |
| Where | TU Delft, Netherlands |
| Funding | Not funded by a EU programme |
| Posted | 6 October 2026 |
| Deadline | 1 November 2026 |
| Listed via | EURAXESS (European Commission) |
Open the original advert
Applications are made on the institution's own page, never here.