Research Fellow: AI Theorem Proving & Monoidal Theory

UCL; Greater London; On-site; GBP 52,000 - 68,000; Full time

Benefits offered by this job

41 Days holiday: 27 days annual leave

8 bank holidays and 6 closure days

On-Site nursery

Enhanced maternity, paternity and adp.

Employee assistance programme

Discounted medical insurance

Job summary

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

Qualifications

• PhD required or near completion.
• Strong research background in category theory/monoidal categories and diagrammatic proof systems.

Responsibilities

• Strengthen the Metacat proof-checking core.
• Develop reinforcement-learning theorem-proving prototype.
• Advance research on monoidal theories and diagrammatic proof systems within the Safeguarded AI platform.

Education

PhD in Computer Science, Mathematics, or related field

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