Postdoctoral research position on category theory, computer proof assistants, and computer algebra systems

This postdoctoral research position focuses on bridging computer proof assistants and computer algebra systems through category theory. The role involves designing and building a connection between a proof assistant and the CAP software system to enable efficient, formally verified categorical computations. The researcher will work within the Programming Languages group at TU Delft, collaborating with experts in formalisation and computational category theory.