AI Engineer Intern (6 months)

SLB; Cambridge; On-site; GBP 10,000 - 15,000; Full time

Job summary

SLB Cambridge Research is seeking an AI Engineer Intern for a 3 or 6 month summer start. You will help build a verification pipeline integrating Vehicle, Rocq and Marabou for proof-carrying neural network controllers, with mentorship from scientists and domain experts.

The role focuses on prototype development, data analysis, and presenting demos to stakeholders, in a collaborative research setting at SLB Cambridge.

Qualifications

• Studying Bachelors, Masters or PhD in Computer Science, AI, interactive theorem provers, neural-networks, PINNs, robotics, cyberphysical systems or a related discipline
• An interest in formal methods, verification, and safe operation of controllers is preferred.

Responsibilities

• Develop software that integrates Vehicle, Rocq and Marabou into a verification pipeline for proof-carrying neural network controllers
• Support scientists on software development for user-ready prototypes, data analysis and user interfaces
• Present demos to visitors and internal stakeholders
• Acquire and apply software development skills in a supportive environment of continuous learning

Skills

Formal methods

Verification

Neural networks

Education

Bachelors, Masters or PhD in CS/AI/related

Tools

Vehicle

Rocq

Marabou

Job description

Job Title

AI Engineer Intern (3 or 6 months) - Starting Summer 2027

Job Title

AI Engineer Intern (3 or 6 months) - Starting Summer 2027

Project Title: Proof-carrying Neural Network Controllers

About SLB

We are a global technology company, driving energy innovation for a balanced planet.

At SLB we create amazing technology that unlocks access to energy for the benefit of all. That is our purpose. As innovators, that has been our mission for 100 years. We are facing the world’s greatest balancing act- how to simultaneously reduce emissions and meet the world’s growing energy demands. We’re working on that answer. Every day, a step closer.

Our collective future depends on decarbonizing the fossil fuel industry, while innovating a new energy landscape. It’s what drives us. Ensuring progress for people and the planet, on the journey to net zero and beyond. For a balanced planet.

Our purpose: Together, we create amazing technology that unlocks access to energy for the benefit of all. You can find out more about us on https://www.slb.com/who-we-are

Location:

Cambridge, UK

SLB Cambridge Research (SCR) is part of SLB’s global network of research and engineering centres. SCR is a dynamic, multidisciplinary environment with state-of-the-art research and computing facilities. We work on applied research projects in the physical sciences to meet the current and future challenges of the industry.

Description & Scope

This internship will explore proof-carrying neural network controllers. Neural-network-based decision and control policies are deployed together with machine-checkable formal proofs that certify critical safety and mission properties. The project aims to combine Vehicle for specifying and proving high-level requirements over neural networks, Rocq for constructing and checking machine-verified correctness arguments, and Marabou for automated verification of network behaviour under bounded operating conditions.

Over a 12‑month programme, the intern will investigate how mission guarantees can be generated, composed, and attached to trained controllers. The longer-term vision is to establish a practical assurance pipeline where neural controllers can be continuously updated while retaining independently checkable proofs, enabling greater trust, auditability, and certification readiness for autonomous systems operating in real-world environments.

Responsibilities & Deliverables

Interns will be mentored and responsible for developing the direction of the project in a supported-learning environment. They will experience the development of prototype solutions and interact with scientists, domain experts and end-users to enable the testing of the prototypes.

The Intern Will

• Develop software that integrates Vehicle, Rocq and Marabou into a verification pipeline that supports the creation and deployment of proof-carrying neural network controllers.
• Support scientists on software development for user‑ready prototypes, data analysis and user interfaces
• Present demos to visitors and internal stakeholders
• Acquire and apply software development skills in a supportive environment of continuous learning

Requirements

• Studying Bachelors, Masters or PhD in Computer Science, AI, interactive theorem provers, neural-networks, PINNs, robotics, cyberphysical systems, neurosymbolic systems or a related discipline
• An interest in formal methods, verification, and safe operation of controllers is preferred.

SLB is an equal employment opportunity employer. Qualified applicants are considered without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, age, disability, or other characteristics protected by law.

The recruiting process and the position can be adapted to fit most disabilities, please do not hesitate to mention this when applying.