NetherlandsGrant / funding call
PhD Position Systematic Derivation of Formal Languages and Their Correctness
Delft University of Technology via AcademicTransfer
Deadline
29 November 2026
Description
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...
Sectors
Computer science»ProgrammingComputer science»Informatics
Want to know if this call is right for you?
Sign up free: Bandolo compares the call with your profile, company or professional, and tells you how well it fits.
Sign up free