Company: UCL
Location: London
Job Description:
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…
Posted: October 22nd, 2026