Student Research Assistant | Formalization of Category Theory in Lean

The TU Delft Department of Software Technology has an open position for a student research assistant in the Programming Languages group in the area of Formalization of Category Theory.

Job Description

You contribute to the development of the learning material for Category Theory for Programming, by

  • developing a computer-checked library of (parts of) the theory in Lean
  • linking the existing lecture notes with an online version of the Lean library


You are enrolled in the Master’s of Computer Science Program at TU Delft and you are familiar with the Lean proof assistant and category theory to the extent required. Preferably you are planning to conduct 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 Benedikt Ahrens. In the email describe your motivation for the position and indicate your availability.