Student Programmer | Improving Agda's error reporting

The TU Delft Department of Software Technology has an open position for a student programmer in the Programming Languages group in the area of Dependent Type Systems and Error Reporting.

Job Description

You contribute to the development of the Agda programming language and interactive theorem prover by improving its error reporting. Depending on your own interests, you work on one or more of the following tasks:


You are enrolled in the Master’s of Computer Science Program at TU Delft and you have successfully concluded the Functional Programming (CSE3100) course. Preferably you are (planning to) conducting a master’s thesis project in the Programming Languages group.

You are available 4 - 8 hours per week.

Conditions of Employment

You will be employed as a Teaching Assistant with TU Delft for 4 to 8 hours per week for at least three months.

Additional Information

To apply for the position or to get more information, please contact Jesper Cockx. In the email describe your motivation for the position and indicate your availability.