15 PhD Positions in EU Horizon 2020 MSCA-ITN project MoSaiQC: Modular Systems for advanced integrated Quantum Clocks
Ongeveer 11 uur geleden - Universiteit van Amsterdam (UvA) - Amsterdam
The Spoofax team at TU Delft is pursuing a broad research program to develop a language workbench that supports high-level declarative language definition, …
The Spoofax team at TU Delft is pursuing a broad research program to develop a language workbench that supports high-level declarative language definition, the generation of programming environments (including editors, parsers, type checkers, and interpreters/compilers) from language definitions, and the (automated) verification of properties of language definitions and their implementations.
One line of research in this program is concerned with the formalization of the name binding rules in programming languages. To that end, the group has developed a theory of name resolution based on scope graphs, and applied it in the design and implementation of a meta-language for static semantics. In dynamic semantics, scope graphs provide a uniform model for memory at runtime and serve as the basis for intrinsically-typed definitional interpreters, enabling the automatic verification of type soundness.
We are seeking a PhD student to join the Spoofax team to further develop the theory and application of scope graphs. In particular, we are interested in the use of scope graphs to define binding-aware program transformations, and the optimization of definitional interpreters using scope graphs.
We are looking for a versatile candidate who can contribute to the development of theoretical foundations, design new meta-languages, implement and integrate languages and libraries in the language workbench, and evaluate the new techniques in language design case studies.
For more information see the Spoofax website and the publications on scope graphs.
We are looking for an excellent candidate with the following qualifications, knowledge, and skills:
TU Delft offers a customisable compensation package, a discount for health insurance and sport memberships, and a monthly work costs contribution. Flexible work schedules can be arranged. An International Children’s Centre offers childcare and an international primary school. Dual Career Services offers support to accompanying partners. Salary and benefits are in accordance with the Collective Labour Agreement for Dutch Universities.
As a PhD candidate you will be enrolled in the TU Delft Graduate School. TU Delft Graduate School provides an inspiring research environment; an excellent team of supervisors, academic staff and a mentor; and a Doctoral Education Programme aimed at developing your transferable, discipline-related and research skills. Please visit www.tudelft.nl/phd for more information.
For information about this vacancy, you can contact Prof.dr. Eelco Visser, email: firstname.lastname@example.org, tel: +31 15 27 87088.
For information about the selection procedure, please contact Roniet Sharabi, Secretary, email: email@example.com
Middels onderstaande knop kun je direct solliciteren op deze vacature.Reageer op deze vacature