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. -- Eelco Visser Associate Professor at Delft University of Technology Group: Software Language Design and Engineering Email: e.vis...@tudelft.nl Homepage: http://eelcovisser.org Publications: http://researchr.org/profile/eelcovisser News: http://twitter.com/eelcovisser _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
