Research Fellow / Senior Research Fellow

As a Research Fellow / Senior Research Fellow, the work centres on the project aims to advance how AI can support program understanding, verification, synthesis, and reasoning, with a particular focus on building robust, trustworthy, and scientifi. It would suit someone who can bring maintaining highly organised, accurate, and reproducible records of research activities, code, experiments, and results to the role.

How the role is set up

Formal verification and automated theorem proving. Neuro-symbolic AI, machine learning and LLMs for code and reasoning.

Where someone would start

The project aims to advance how AI can support program understanding, verification, synthesis, and reasoning, with a particular focus on building robust, trustworthy, and scientifi. Maintaining and promote the highest standards of scientific integrity, rigour, and research ethics. Reporting research progress and outcomes internally and externally to project collaborators, funders, and the wider research community.

What helps someone build confidence

Maintaining highly organised, accurate, and reproducible records of research activities, code, experiments, and results. Promote the visibility and reputation of the Program Reasoning project and the host research group through excellent research, engagement, and professional representation.

What is expected

• Experience in the design, implementation, evaluation, and interpretation of computational experiments and scientific data.
• Experience of strongly interdisciplinary research, particularly across AI and core areas of computer science.

Job details

• CREATE - A worldwide unique location, that brings together world’s best universities under one roof.