UK jobs. Bigger possibilities.
136,000+ live jobsOn-site in London·Part-time·Added 3 days ago (last checked 9 Oct)
142 open roles
Part-time
Per the ad.
Work on-site in London
No relocation package mentioned.
41 days holiday
Per the ad, which doesn’t say whether bank holidays are on top.
Cycle to work and season ticket loan
Commuter benefits named in the ad.
Nice to have
As well as the exciting opportunities this role presents, we also offer some great benefits some of which are below:
Visit https://www.ucl.ac.uk/work-at-ucl/reward-and-benefits to find out more.
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.
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.
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 '
If you have any queries regarding the vacancy or the application process, please contact Professor Fabio Zanasi (f.zanasi@ucl.ac.uk).
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
or browse Software engineering·Mid-level·Higher Education
You will be a strategic digital and data leader with significant experience delivering large-scale transformation programmes within complex organisations.
You will be an established senior procurement and commercial leader with significant experience of delivering complex, large-scale commercial solutions.
The successful candidate is able to work across the child health campus partnership with both university and NHS colleagues and managing priorities between two different organisations.
The successful candidate will deliver high-quality and engaging design teaching across the designated Architecture MSci Year 1 modules, preparing relevant teaching materials and supporting students to…
£49k - £52k
£43k
US$380k - US$500k
On-site in Belfast
£43k - £51k
£170k - £445k
£45k - £49k
£39k - £48k
£72k - £140k
