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.
A job description and person specification can be accessed at the bottom of this page.
To apply for the vacancy please click on the 'Apply Now' button below.
If you have any queries regarding the vacancy or the application process, please contact Professor Fabio Zanasi (f.zanasi@ucl.ac.uk).
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.
Research Fellow in Data-Parallel Proof Checking for Monoidal Theories in London employer: UNIVERSITY COLLEGE LONDON
UCL's Information Services Division (ISD) is an exceptional employer, offering a dynamic work environment that fosters innovation and collaboration among over 50,000 staff and students. With a commitment to employee growth, ISD provides extensive benefits including 41 days of holiday, a defined benefit pension scheme, and opportunities for professional development in cutting-edge technology areas. Located in the heart of London, UCL promotes a diverse and inclusive culture, making it an ideal place for those looking to make a meaningful impact in higher education.
