AI Engineer Intern — Verification & Safe AI (3–6 mo)

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

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.