SLB
AI Engineer Intern (6 months)
Get notified of more jobs like this · No spam, ever
How your CV stacks up
Upload your CV to see how well it fits this job role
?%
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.
Reasons to use Rodeo
Start with a chat, not a search bar
Grad scheme, placement, apprenticeship? Not sure what you want yet — that's fine. Your agent talks it through with you and turns "I have no idea" into a shortlist.
It searches the market for you
Every day your agent scans the market matching roles against what actually matters to you, not just keywords on a CV.
Only hits
No noise. No "maybe this fits." Just roles with a clear explanation of why they're right — and where to focus when applying.
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.
Get help with your application
Your very own career expert that helps elevate your application to the next level.
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.
“It took my CV and asked me questions relevant to understanding what kind of jobs to suggest for me. Suggestions were almost perfect. Jobs were exactly what I’ve been looking for.”
Jessica, London