TU Delft invites applications for a postdoctoral position in the Programming Languages group within the Department of Software Technology. The project connects a proof assistant with CAP for computational category theory, implemented in GAP, with collaboration across TU Delft and Universität Siegen. The role involves both theoretical formalisation and practical implementation, publishing results, and contributing to open‑source libraries while potentially teaching and supervising students.
#J-18808-Ljbffr
Postdoc: Category Theory for Proof Assistants & CAS in Delft werkgever: TU Delft
YAGHMA B.V. is een uitstekende werkgever die studenten de kans biedt om hun academische kennis toe te passen in de praktijk, met een focus op AI-risicobeheer en ethiek. De organisatie bevordert een stimulerende werkcultuur waarin samenwerking en innovatie centraal staan, en biedt volop mogelijkheden voor persoonlijke en professionele groei. Werken bij YAGHMA betekent bijdragen aan betekenisvolle projecten die impact hebben op de samenleving, terwijl je jezelf ontwikkelt in een dynamische omgeving.
