PhD position in Programming Language Verification

The Department of Software and Computer Technology of TU Delft has a
four year PhD position in Programming Language Verification in the NWO
VICI project of Eelco Visser:

"The Language Designer's Workbench. Automating the Verification of
Language Definitions"

The objective of the project is to unify work on semantics engineering
and mechanized meta-theory with work on language engineering and
language workbenches in order to support language designers in the
creation of sound language designs. The Language Designer's Workbench
will provide declarative meta-languages to enable language designers
to build high quality compilers and IDEs, while also verifying
consistency properties of their language definitions. We will build on
our previous work on the Spoofax Language Workbench and integrate work
on compiler certification from the semantics engineering community.

The grant provides funding for five researchers at PhD and postdoc
level. The focus of this first position is on proof engineering for
verification of programming languages. But candidates interested in
all aspects of the project are invited to apply. The candidate should
have a strong background in programming languages research and a
demonstrable interest in one or more of the following topics: type
systems, type inference algorithms, program analysis, program
transformation, compiler construction, theorem proving and proof
assistants, verification of language definitions or compilers,
mechanized meta-theory.

For more information about the position including application instructions see

http://department.st.ewi.tudelft.nl/jobs/job/3

To meet the early application deadline please apply at the page above
before June 15. Submissions received after June 15 will be also
considered until the position has been filled.