The Coq mailing list

[Eelco Visser <E.Visser AT tudelft.nl>]

Dear Coq Club,

We are planning to use Coq for proving language consistency properties in the Language Designer's Workbench. Therefore, we're looking for candidate PhD students and Postdocs with experience in the use of Coq and preferably some experience in language/semantics engineering. 

regards,

-- Eelco Visser

Professor of Computer Science at Delft University of Technology

Email: e.visser AT tudelft.nl
Web: http://eelcovisser.org  

---------------

PhD and Postdoc positions in Semantics Engineering at TU Delft

The Department of Software and Computer Technology of TU Delft has
open positions for PhD students and Postdocs 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 research ranges from language engineering (deriving efficient
implementations from high-level declarative language definitions) to
semantics engineering (searching for consistency proofs for language
definitions).

The grant provides funding for five researchers at PhD and postdoc
level. Candidates interested in all aspects of the project are invited
to apply.

For more information about the position see:

* Project: http://eelcovisser.org/wiki/projects/ldwb
* Eelco Visser's homepage: http://eelcovisser.org
* PhD positions: http://department.st.ewi.tudelft.nl/jobs/job/3
* Postdoc positions: http://department.st.ewi.tudelft.nl/jobs/job/4

Submissions will be considered until the positions have been filled.