At a glance

Degree background: Masters degree in mathematics, computer science, or a related field

PhD position at Delft University of Technology: key facts

Opportunity type: PhD position
Organization: Delft University of Technology
Location: Delft, Netherlands
Field / discipline: Computer Science, Mathematics, Humanities
Application deadline: 29 Nov 2026
Funding / compensation: Paid
Duration: See source description
Last source check: No source check recorded

About this phd position at Delft University of Technology

Original title: PhD Position Systematic Derivation of Formal Languages and Their Correctness

conducting this research, both individually and as part of a team;
participating in scientific life at TU Delft and in the Netherlands, for example by attending and organizing seminars;
participating in scientific life more globally, including publishing papers and attending workshops and conferences;
contributing to teaching in computer science, providing the opportunity to gain teaching experience.
Masters degree in mathematics, computer science, or a related field
Experience in both category theory and theoretical computer science (e.g., type theory, logic or programming language semantics), or a strong motivation and ability to learn them.
Experience with a proof assistant (e.g., Agda, Rocq or Lean) is a plus, but not required.
Enjoyment of precise mathematical reasoning,
Ability to work independently and to collaborate across the maths/CS boundary;
Excellent written and spoken English
Willingness to contribute to, and possibly experience in, student supervision and teaching
Motivational letter
Transcripts from your Masters degree (if available).
You can apply online. We will not process applications sent by email and/or post.
Please do not contact us for unsolicited services.

Research labs in Computer Science, Mathematics, Humanities at Delft University of Technology

Explore directory profiles and compare research interests. A shared university or field does not confirm that this position belongs to a particular lab.

Search related research groups and labs

Add application deadline to calendar

Before you apply

0 of 4 ready

A preparation checklist, saved in this browser on this device without an account. It does not sync across devices. The official posting determines eligibility and required documents.

Read the official posting and confirm the role is still open
Check degree, skills, language, location, and work-permission requirements
Prepare only the documents requested by the organization
Check the deadline and submit through the official application channel

CV, motivation letter, and supervisor email templates

How to apply

Apply via AcademicTransfer. Check the original listing for required documents and submission instructions.

Apply via AcademicTransfer

Source and listing information

Application source: AcademicTransfer. Listing details may change; confirm them on the source site. A source check confirms page availability, not endorsement of the organization.

Report an outdated or incorrect listing

PhD in Systematic Derivation of Formal Languages and Their Correctness