Vacatures laden…

1 derivaten vacatures in heel Nederland.

Populaire steden

Top 5

Aemstelredamme11009 Rotterdam5720 Utrecht4951 Eindhoven3571 's-Gravenhage3115

Alle locaties bekijken

Vacatures worden getoond

Delft University of Technology (TU Delft)

PhD Position Systematic Derivation of Formal Languages and Their Correctness

12 dagen geleden

Voltijd
Contract

€ 3.204 - € 4.051 per maand

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.

Delft, Nederland