PhD in Formal Languages: From Meaning to Syntax

Delft; Delft; Remote; EUR 38,000 - 49,000; Full time

Benefits offered by this job

Relocation assistance

Dual Career Programme

Job summary

TU Delft invites applications for a PhD position focusing on the systematic derivation of formal languages and their correctness. You will work under supervision in the Department of Software Technology and use Agda for verification.

Responsibilities include independent research, seminars, publishing, and teaching contributions, with a 4-year contract and relocation support as part of the benefits package. English proficiency is essential.

Qualifications

• Masters degree in mathematics, computer science, or a related field.
• Experience in category theory and theoretical computer science, or strong motivation to learn them.
• Experience with a proof assistant (e.g., Agda, Rocq/Lean) is a plus.
• Enjoyment of precise mathematical reasoning and English proficiency.
• Willingness to supervise students and teach.

Responsibilities

• Conduct this research individually and as part of a team.
• Participate in scientific life at TU Delft by attending and organizing seminars.
• Publish papers and participate in workshops and conferences.
• Contribute to teaching in computer science and supervise students where possible.

Skills

Category theory

Theoretical computer science

English proficiency

Teaching collaboration

Education

Masters degree in mathematics or computer science

Tools

Agda

Lean

Coq

Job description

TU Delft invites applications for a PhD position focusing on the systematic derivation of formal languages and their correctness. You will work under supervision in the Department of Software Technology and use Agda for verification.

Responsibilities include independent research, seminars, publishing, and teaching contributions, with a 4-year contract and relocation support as part of the benefits package. English proficiency is essential.