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:
Requirements:
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.
#LI-CL4
For more than 100 years, we've been at the forefront of energy innovation; solving problems considered impossible while building a safe and inclusive culture.
We support our people where and when they want to grow by making continuous learning a key priority.
Get an inside look at how we attract, evaluate, and hire exceptional people globally.
Find quick answers to common questions about roles, teams, and the application process.
We are a global technology company, driving energy innovation for a balanced planet. Together, we create amazing technology that unlocks access to energy for the benefit of all.
Global in outlook, local in practice – and with a united, shared passion for discovering solutions, we hire talented, driven people and support them to succeed, personally and professionally.
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.
We will endeavor to make a reasonable accommodation / modification to the known physical or mental limitations of a qualified applicant with a disability to assist in the hiring process, unless the accommodation would impose an undue hardship on the operation of our business, in accordance with applicable federal, state, and local law. If you believe you require such assistance to complete this form or to participate in the interview process, please contact accommodationhotline@slb.com to request assistance. Please note that only those inquiries concerning a request for reasonable accommodation will be responded to.
SLB is a VEVRAA Federal Contractor- priority referral Protected Veterans requested.
