PhD in Formal Languages & Correctness: Systematic Derivation

Delft University of Technology

Delft

On-site

EUR 38,000 - 52,000

Full time

14 days+

Get a reply from this employer

Your resume and cover letter, tailored to exactly what they’re hiring for.

Get past ATS filters

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.