Research Fellow in Data-Parallel Proof Checking for Monoidal Theories

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

About us

UCL's Department of Computer Science (CS) is a top-ranked Computer Science Department in the UK. In the 2021 Research Excellence Framework (REF) evaluation, UCL Computer Science was ranked second in the UK for research power and first in England. The post is held within the Programming Principles, Logic and Verification (PPLV) research group.

About the role

The post is held in connection with the ARIA Safeguarded AI programme project “Data-Parallel Proof Checking for Monoidal Theories”, led by Professor Fabio Zanasi within the Programming Principles, Logic and Verification (PPLV) group at UCL. The post holder will strengthen the Metacat proof-checking core and develop a reinforcement-learning theorem-proving prototype, while continuing research on monoidal theories and diagrammatic proof systems, contributing both software and theoretical outputs to the Safeguarded AI platform.

About you

Applicants should hold, or be close to completing, a PhD in Computer Science, Mathematics, or a closely related field, with research expertise in category theory / monoidal categories and string diagrams, and strong software development skills applicable to building and maintaining research-grade proof-checking or verification software. Experience with proof assistants, automated reasoning, or reinforcement learning is desirable, as is a track record of scientific publication and presentation at international venues.

If you have any queries regarding the vacancy or the application process, please contact Professor Fabio Zanasi ().

What we offer

As well as the exciting opportunities this role presents, we also offer some great benefits some of which are below:

• 41 Days holiday: 27 days annual leave 8 bank holiday and 6 closure days (pro rata for part time staff).
• Additional 5 days’ annual leave purchase scheme (pro rata for part time staff). Cycle to work scheme and season ticket loan.
• On-Site nursery
• Enhanced maternity, paternity and adoption pay.
• Employee assistance programme: Staff Support Service.
• Discounted medical insurance.

Visit https://www.ucl.ac.uk/work-at-ucl/reward-and-benefits to find out more.

Our commitment to Equality, Diversity and Inclusion

As London's Global University, we know diversity fosters creativity and innovation, and we want our community to represent the diversity of the world's talent. We are committed to equality of opportunity, to being fair and inclusive, and to being a place where we all belong. We therefore particularly encourage applications from candidates who are likely to be underrepresented in UCL’s workforce. These include people from Black, Asian and ethnic minority backgrounds; disabled people; LGBTQI+ people; and for our Grade 9 and 10 roles, women. You can read more about our commitment to Equality, Diversity and Inclusion here: https://www.ucl.ac.uk/equality-diversity-inclusion/. Our department holds an Athena SWAN Gold award, in recognition of our commitment and demonstrable impact in advancing gender equality.
Customer advert reference: B04-07928