Postdoc: Computational Category Theory & Proof Systems

Delft University of Technology

Delft

On-site

EUR 41,000 - 64,000

Full time

5 days ago

Be an early applicant

Application generator

Stand out for this role — generate a tailored resume and cover letter in about a minute.

Get past ATS filters

Benefits offered by this job

Relocation assistance

Dual Career Programme

Flexible working week

Job summary

Delft University of Technology in Delft invites applications for a postdoctoral research position in category theory, computer proof assistants, and computer algebra systems. The project aims to connect proof assistants with CAP to enable verified and efficient categorical computations.

The successful candidate will design, implement and publish open-source software, supervise students, and collaborate with the Siegen group.

Qualifications

PhD (awarded by start date or submitted with defence) in mathematics, computer science, or a closely related field
Research experience in interactive theorem proving/formalisation, computer algebra, or category theory – demonstrated by publications, a thesis, or a substantial software contribution
Demonstrable interest in the other two, and willingness to learn them to working depth
Practical programming ability and comfort working with a substantial existing codebase
Ability to work independently and to collaborate across the maths/CS boundary; good written and spoken English
Experience in, and willingness to contribute to, student supervision and teaching

Responsibilities

Design and build the connection between a proof assistant and CAP to enable categorical computations with CAP's efficiency
Publish results and present at conferences and workshops
Contribute to the open-source libraries of both projects
Supervise BSc and MSc students and possibly teach
Collaborate with the Siegen group and other related communities