Jobs in Sheffield

Lecturer in Data Science and Artificial Intelligence

This role involves teaching and developing innovative undergraduate and postgraduate programmes in data science and AI. You will apply core mathematical, statistical, and computational concepts to help students work on real-world projects, using state-of-the-art facilities and equipment.

Sheffield Hallam University Sheffield, Northern England, United Kingdom £39 – £44 pa

Permanent

Research Associate: Medical Imaging AI - CAPTURE-PH RAIDA

This role involves refining and retraining existing cardiothoracic CT AI models to ensure they operate robustly across multiple clinical datasets. You will tackle issues like scanner heterogeneity, data quality, and model failure modes, and develop reproducible validation workflows. The position is part of the CAPTURE-PH programme, focusing on medical imaging AI for pulmonary hypertension.

University of Sheffield Sheffield, Hybrid, Northern England, United Kingdom £41 pa

Contract

Research Fellow in AI-Assisted Formal Verification

Conduct research at the intersection of formal verification, AI, and cybersecurity, focusing on developing a formally-verified reference monitor for secure AI agent containment using Isabelle/HOL and seL4. Develop AI-driven proof automation tools to enhance and maintain large-scale formal verification projects. Work within a collaborative international team across Sheffield, Surrey, and Melbourne.

University of Sheffield Sheffield, Hybrid/on-Site, Northern England, United Kingdom £48 – £51 pa

Contract

Lead Agentic AI Architect

This role involves defining the architecture, engineering standards, and delivery of next-generation Agentic AI and Generative AI solutions within a leading UK bank. Responsibilities include designing multi-agent systems, production-grade LLM and RAG architectures, and ensuring AI security and governance. The role also requires leading a team of architects, engineers, and data scientists while shaping AI strategy and roadmaps.

CBSbutler Holdings Limited trading as CBSbutler London, United Kingdom £710 pd

Senior Research Fellow on Agentic AI and Verification

Conduct research on formal verification and AI-assisted theorem proving within a collaborative project involving seL4 and Isabelle/HOL. Develop a verified reference monitor for AI agent containment and explore AI techniques to enhance formal verification workflows. Work closely with partner institutions at Sheffield and Melbourne.

University of Surrey Guildford, South East England, United Kingdom £47 – £51 pa

Contract

Research Fellow in AI-Assisted Formal Verification

This role involves developing a formally-verified reference monitor on top of seL4 for secure AI agent containment, exploring AI-assisted theorem proving, and collaborating with an international team of experts in formal verification, security, and AI. The project aims to create machine-checked security guarantees and enhance the seL4 proof base in Isabelle/HOL.

University of Sheffield Sheffield, Hybrid, Northern England, United Kingdom £48 – £51 pa

Contract

Research Associate in Computer Vision and Environmental Modelling

The role involves developing advanced AI and remote sensing methods for forest monitoring and illegal logging detection, focusing on open-set recognition and deep learning frameworks for spatio-spectral-temporal UAV imagery. The postholder will work across the research pipeline, from data processing to model deployment, and contribute to an interdisciplinary project involving computer vision, machine learning, and geospatial analysis.

University of Sheffield Sheffield, Hybrid, Northern England, United Kingdom £38 – £41 pa

Contract