PhD in Systematic Derivation of Formal Languages and Their Correctness

Delft University of Technology; Delft; On-site; EUR 38,000 - 52,000; Full time

Job summary

Delft University of Technology invites applications for a research position where you will conduct research both independently and as part of a team, and participate in scientific life at TU Delft and in the Netherlands by attending and organizing seminars.

The role involves contributing to teaching in computer science and gaining teaching experience, with a Masters degree in mathematics, computer science, or a related field, plus an interest in category theory and theoretical CS, and

Qualifications

• Masters degree in mathematics, computer science, or a related field.
• Experience in category theory and theoretical computer science, or a strong motivation and ability to learn them.
• Experience with a proof assistant (e.g., Agda, Coq/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 supervise teaching.
• Transcripts from your Masters degree (if available).

Responsibilities

• 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.

Skills

Mathematics

Theoretical CS

Category theory

Proof assistants

English language

Independent work

Teaching supervision

Motivation letter

Transcripts

Education

Masters degree in Mathematics or Computer Science

Tools

Agda

Coq / Rocq

Lean

Job description

Responsibilities

• 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

Qualifications

• 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)