PhD positions
Computing and data
43 days left
PhD Position Systematic Derivation of Formal Languages and Their Correctness
Radboud University Nijmegen via AcademicTransfer · TU Delft, Netherlands
What the advert says
From Semantics to Syntax — Systematic Derivation of Formal Languages and Their Correctness Job descriptionFormal 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...
Extract only. The full description, conditions and application form are on the original page.
The facts
| Level | PhD positions |
|---|---|
| Field | Computer science, Programming, Informatics |
| Institution | Radboud University Nijmegen via AcademicTransfer |
| Where | TU Delft, Netherlands |
| Funding | Not funded by a EU programme |
| Posted | 17 October 2026 |
| Deadline | 29 November 2026 |
| Listed via | EURAXESS (European Commission) |
Open the original advert
Applications are made on the institution's own page, never here.