PHD POSITION

PhD Position Systematic Derivation of Formal Languages and Their Correctness

Deadline: 29 Nov 2026 · 17 days left

Institution: Delft University of Technology (TU Delft)
City: Delft
Country: Netherlands
Field: Computer science and AI
Type: PhD position
Deadline: 29 Nov 2026 · 17 days left

About this position

From Semantics to Syntax — Systematic Derivation of Formal Languages and Their Correctness Job description Formal languages, such as type theories and program logics, let us state and prove precisely what software should do. Today, each new language is designed by hand: experts invent the syntax, then check that it really means what it should. This is slow, and it has to be redone for every new problem. This project explores a different approach: start from the mathematical meaning of a language and derive the language itself from it, together with a proof that the two match. Several recent ty

Who can apply

Nationality and visa rules

PhD Atlas has not checked the nationality or visa rules for this call yet. Read the official page before you apply.

We only state a rule when we have read it on the official page. Any note appears here once it is checked.

Deadlines and how to apply

Applications close on 29 Nov 2026 (17 days from today). Apply on the official page; PhD Atlas does not collect applications.

Read the official call and apply

Official call: https://www.academictransfer.com/en/jobs/364823/phd-position-systematic-derivation-of-formal-languages-and-their-correctness

Always read the official call and the nationality rules before you apply.