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 members only listing…

Make job publicly available.

Find Your Best Opportunity

Tell them AcademicJobs.com sent you!

Job Fulfilled

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.

Know Someone Great?

This is a members only listing…

About the employer

Hire Experts… Post a Job

Roles… Create a Job Alert

Related Jobs

Related Research Grants

Grants to USA, Canada, and International Investigators for Cancer Research

Grant to a USA, Canada, or International Oral Historian for an Indigenous Oral History Project

Grant to a USA, Canada, or International Scholar for Oral History Projects for Crisis Situations

Awards to USA, Canada, and International Entities to Recognize Books on Oral History Scholarship

Grants to USA, Canada, and International Junior Researchers for Retinal Health Projects

Grants to USA and International Nonprofits to Improve the Lives of Latin Americans

Grants to USA, Canada, and International MDs and PhDs for Research Related to Neurofibromatosis

Grants to USA, Canada, and International Researchers to Investigate Neurofibromatosis

Related Conferences

191st Meeting of the Acoustical Society of America

IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) 2027

Acoustics '27 Brussels

17th International Conference on Theoretical and Computational Acoustics (ICTCA 2027)

83rd International Conference on Agricultural Engineering LAND.TECHNIK AgEng 2026

International Conference on Immersive and 3D Audio (I3DA 2026)

2027 Heavy-Duty Sustainable Transport Symposium

2027 Automated Transportation Symposium

2027 COMVEC™

IEEE International Conference on Vehicular Electronics and Safety (ICVES 2026)