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:

• Extending current error messages of Agda with more contextual information.
• Refactoring the Agda source code to better categorize the current error messages.
• Implementing an Agda Error Index that gives additional explanation and examples for error messages, similar to the recent initative for Haskell.
• Adding origin tracking for metavariables to give the programmer a better understanding of where they come from.

Requirements

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.