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.

PositionPhD or Postdoc
AreaProgramming Languages
EmployerDepartment of Software Technology at TU Delft
Contact PersonEelco Visser
PostedJuly 8, 2016
StatusOpen

More Information

We have openings for student assistant programmers in the Programming Languages Group at TU Delft.

PositionStudent Assistant
AreaProgramming Languages
EmployerProgramming Languages Group at TU Delft
Contact PersonEelco Visser
PostedMay 4, 2016
StatusOpen

More Information

This position is filled.

We have an opening for a PhD student to work on automatic grading and tutoring in online courses. In particular, we are interested in automatic feedback and assessment techniques that we can apply in programming education. The results of the research will be applied and evaluated in several courses at TU Delft and other universities.

We are looking for a candidate with a Master’s degree (or equivalent) in computer science or a related discipline, a passion for online education, and a broad interest including systems programming, compilers, language engineering, programming environments, web programming, machine learning, interaction design, education research, and teaching.

Applications will be accepted until the position is filled.

PositionPhD Student
AreaOnline Education
EmployerTU Delft
Contact PersonEelco Visser
PostedFebruary 1, 2015
StatusFilled

More Information

The Department of Software and Computer Technology of TU Delft has a postdoc position in Semantics Engineering 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 position is on semantics engineering of programming languages. But candidates interested in all aspects of the project are invited to apply.

PositionPostdoc
Starting dateOctober 1, 2013
AreaComputer Science
EmployerDepartment of Software and Computer Technology at TU Delft
Contact PersonEelco Visser
PostedJune 2, 2013
Apply byAugust 15, 2013
StatusFilled

More Information

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.

PositionPhD position
Starting dateSeptember 1, 2013
AreaSoftware Language Engineering
EmployerDepartment of Software and Computer Technology at TU Delft
Contact PersonEelco Visser
PostedMay 1, 2013
Apply byJune 15, 2013
StatusFilled

More Information

The Department of Software and Computer Technology of TU Delft has a position for a Web(DSL) programmer to help us improve and expand The Department, a suite of web applications for organizing academic workflows developed using the state-of-the-art WebDSL web programming language.

PositionWeb Programmer
AreaSoftware Engineering
EmployerSoftware and Computer Technology at TU Delft
Contact PersonEelco Visser
PostedApril 30, 2013
Apply byMay 17, 2013
StatusFilled

More Information

The Software Language Engineering Meetings seminar series needs an enthusiastic and pro-active moderator and organizer.

PositionSeminar Organizer
AreaSoftware Language Engineering
EmployerSLDE at TU Delft
Contact PersonEelco Visser
PostedApril 21, 2013
Apply byApril 26, 2013
StatusFilled

More Information