PhD position · Delft University of Technology (TU Delft)
PhD Position Systematic Derivation of Formal Languages and Their Correctness
Official page- Type
- PhD position
- Organisation
- Delft University of Technology (TU Delft)
- Location
- Delft, Netherlands
- Deadline
- 29 November 2026
- Found
- 17 October 2026
About this listing
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.
Last checked 17 October 2026.