coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD or Postdoc in Semantics Engineering in Language Designer's Workbench project at TU Delft

From: Eelco Visser <eelcovis AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] PhD or Postdoc in Semantics Engineering in Language Designer's Workbench project at TU Delft
Date: Fri, 8 Jul 2016 15:35:54 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=eelcovis AT gmail.com; spf=Pass smtp.mailfrom=eelcovis AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf0-f66.google.com
Ironport-phdr: 9a23:OR4XNx00iG09GfJZsmDT+DRfVm0co7zxezQtwd8ZsegUIvad9pjvdHbS+e9qxAeQG96Ks7Qf06GI6OjJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWtXNWKxJrsn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT4r9Zf9HFbvOtk/MpdW437eb45RPpWFmcIKWcwseDmsRLEBTWO/WARSC1CnxdMCA/b7QrSUZL4sy+8ve14jnrJdfbqRKw5DGzxp5xgTwXl3X8K

We have open positions for PhD students and Postdocs in the Programming Languages group of Eelco Visser at TU Delft. If you would like to provide a contribution to our work on language engineering, semantics engineering, and/or language design in the context of the Language Designer's Workbench project and the Spoofax Language Workbench, and you have a strong background in programming languages, language engineering, and/or verification you are most welcome to apply. Please include a motivation letter explaining how you could contribute and a CV showing your background.

In the project we are exploring a new approach to type systems and name binding based on the scope graph framework (ESOP 2015, ETAPS best paper), which we use as the basis for static name resolution and a uniform model for memory in dynamic semantics (ECOOP 2016) and mechanized verification in Coq; see links to publications below.

Candidates are expected to start in the Fall of 2016 and applications are due August 7, 2016

For more information see

https://department.st.ewi.tudelft.nl/jobs/job/5/phd-or-postdoc-in-semantics-engineering

-- Eelco Visser

Professor of Computer Science, TU Delft

http://eelcovisser.org

The Language Designers Workbench
http://eelcovisser.org/wiki/projects/ldwb

## Publications

Scopes describe Frames: A uniform model for memory layout in dynamic semantics (ECOOP16)
http://researchr.org/publication/PoulsenFrames2016

A constraint language for static semantic analysis based on scope graphs (PEPM16)
http://researchr.org/publication/AntwerpenNTVW16

A theory of name resolution (ESOP 2015)
http://researchr.org/publication/NeronTVW-ESOP-2015

DynSem: A DSL for Dynamic Semantics Specification (RTA 2015)
http://researchr.org/publication/VerguNV15

A language designer's workbench: A one-stop-shop for implementation and verification of language designs (Onward! 2014)
http://researchr.org/publication/VisserOnward14

IceDust: Incremental and eventual computation of derived values in persistent object graphs (ECOOP16)
http://researchr.org/publication/HarkesIceDust2016

Unifying and generalizing relations in role-based data modeling and navigation (SLE 2014)
http://researchr.org/publication/HarkesV14

[Coq-Club] PhD or Postdoc in Semantics Engineering in Language Designer's Workbench project at TU Delft, Eelco Visser, 07/08/2016