Delft University of Technology

Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems

Closes: Nov 1, 2026

Postdoctoral research position on category theory, computer proof assistants, and computer algebra systems.

This is a Preview Listing…

Finalise to make live.

Find Your Best Opportunity

Tell them AcademicJobs.com sent you!

About the employer

Delft University of Technology

4.0 Star Employer Ranking

Join Delft University of Technology (TU Delft), a leading institution in technology and innovation, offering a dynamic work environment, extensive research opportunities, and a commitment to societal impact.

Visit the employer page

Hire Experts… Post a Job

Post a Job

Roles… Create a Job Alert

Related Jobs

October 7, 2026

View All Jobs

Delft, Zuid-Holland47

Postdoc in Quantum Lattice Boltzmann Methods

Delft University of Technology

Delft, Zuid-Holland73

Postdoc Distributed Spaceborne Radar Systems

Delft University of Technology

Delft, Zuid-Holland58

PhD Position Future Energy Infrastructure Planning Under Uncertainty in collaboration with Stedin

Delft University of Technology

Delft, Zuid-Holland71

Postdoc Explainable Human Behavior and Affective Predictions

Delft University of Technology

Delft, Zuid-Holland77

Postdoc Explainable Human Behavior and Affective Predictions

Delft University of Technology

Delft, Zuid-Holland49

(Junior) Researcher for Computational design workflow for 3d printed footwear

Delft University of Technology

Delft, Zuid-Holland54

PhD Position MRI Flow Measurements in Inertial Dense Suspensions

Delft University of Technology

Delft, Zuid-Holland78

PhD Researcher Decision Processes and Strategies for Adaptive Reuse of Buildings

Delft University of Technology

Delft, Zuid-Holland73

PhD Position in the Fatigue Performance and Weldability of Next-Generation Structural Steels

Delft University of Technology

Delft, Zuid-Holland65

PhD position in the fatigue performance and weldability of next-generation structural steels

Delft University of Technology

Post a Job View All Jobs

Related Research Grants

Grants to USA, Canada, and International Nonprofits, IHEs, and Agencies for Frontotemporal Dementia Research

Deadline: Feb 9, 2027

Fellowships to USA, Canada, and International Researchers for Reproductive Biology Studies

All USA, USA Territories: American Samoa (USA); Guam (USA); Puerto Rico (USA); Virgin Islands (USA); Northern Mariana Islands (USA);, USA Compact Free Associations: The Federated States of Micronesia (USA) Marshall Islands (USA) Republic of Palau (USA), International, Israel and Canada.

Deadline: Jan 15, 2027

Related Conferences

To Be AnnouncedUSA

Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems