UCL’s Department of Computer Science invites applications for a researcher to work on the ARIA Safeguarded AI programme, contributing to data-parallel proof checking for monoidal theories. The post is within the PPLV group and will strengthen the Metacat core while developing a reinforcement-learning theorem-proving prototype.
Applicants should hold a PhD in Computer Science, Mathematics, or related field, with expertise in category theory/monoidal categories and diagrammatic proof systems, plus
#J-18808-Ljbffr
Research Fellow: AI Theorem Proving & Monoidal Theory employer: UCL
UCL School of Management is an exceptional employer that fosters a collaborative and innovative work culture, ideal for those passionate about digital communications. Located in the vibrant city of London, employees benefit from professional growth opportunities, access to cutting-edge resources, and a commitment to inclusivity and diversity. Join us to make a meaningful impact while enjoying a supportive environment that values your contributions.
