Postdoc in Category Theory, Computer Proof Assistants and Computer Algebra Systems

Delft University of Technology

Posted: 6 October 2026 - Delft, Netherlands

View on careers.tudelft.nl Back to all openings

About this opening

? This summary is AI-generated from the source advert. Check the original posting for authoritative details before applying.

This postdoctoral position at TU Delft involves research on category theory and its application to computer proof assistants and algebra systems. The researcher will design and implement connections between these systems, publish findings, and supervise students. A PhD in mathematics or computer science is required, along with research experience in relevant areas.

Position details

? These details are extracted from the source advert. Check the original posting for authoritative requirements and dates before applying.
  • Role: postdoctoral researcher
  • Employment type: full time
  • Research field: Computer Science
  • Research topic: Category Theory
  • Language: English
  • Start date: 1 March 2027

Related openings

More at Delft University of Technology More in Netherlands More in Computer Science More about Category Theory Browse all open jobs