It is a great honor that the dutch national science foundation NWO has awarded my VICI proposal 'The Language Designer's Workbench' to investigate the building blocks of the next generation of language workbenches. The essence of the plan is to provide much better support to language designers by means of deep analyses of language definitions.
While the VICI grant is a personal grant, I feel it is also an award for the outstanding work done by the Stratego/XT and Spoofax teams over the last 15 years, which has provided the foundation for this new work. In particular, I would like to thank my PhD students and postdocs, in alphabetical order: Anya Helene Bagge, Martin Bravenboer, Sander van der Burg, Eelco Dolstra, Danny Groenewegen, Zef Hemel, Maartje de Jonge, Merijn de Jonge, Karl Trygve Kalleberg, Lennart Kats, Gabriël Konat, Karina Olmos, Vlad Vergu, Rob Vermaas, Sander Vermolen, Guido Wachsmuth.
With a budget of 1,500,000 Euro for five years I can compose a strong team of PhD students and postdocs. If you have a strong background in language engineering, compiler construction, program analysis, proof assistants, and/or mechanized meta-theory, and if you are interested in contributing to the future of software language engineering, consider applying for a PhD or postdoc position in the project.
Update February 5, 2013
Update April 30, 2013
- Open PhD position in programming language verification (applications due June 15, 2013)