The Department of Software and Computer Technology of TU Delft has a postdoc position in Semantics Engineering in the NWO VICI project The Language Designer’s Workbench. Automating the Verification of Language Definition of Eelco Visser.