Internship Safety Engineer, Agentic Safety Case Assessment

# 2027 Internship Safety Engineer, Agentic Safety Case Assessment Bedrock Robotics San Francisco, CAInternship

Upload your resume once and Scout applies for you Apply with Scout Share this job:

Linked

InXSave image

This internship focuses on using formal methods and LLM-assisted proving to strengthen safety claims for Bedrock’s autonomous excavators. You’ll formalize a claim, verify a Lean checker, evaluate it on fleet data, and recommend improvements to the safety review process.
* Internship* On-site
* Entry Level### Skills and expertise

Leanmathlibformal methodsprobability and statisticsLLM-generated proof evaluationknowledge graphsfleet data

Rust verification tools (Aeneas, Verus,### Key responsibilities
* Formalize a safety claim, implement and verify a Lean checker, and evaluate it on fleet data.
* Develop auditable checks for assumptions and document evidence that requires other sources.
* Review specifications with Safety, Systems, and Autonomy teams and recommend safety case improvements.## How this job compares

Compared with 136 open intern engineering jobs on October 10, 2026.Pay:
This job does not publish its pay. The 10 open intern engineering jobs that publish US pay start at $56K a year on average.

Similar open jobs:
We Love AI Jobs lists 136 open intern engineering jobs at 55 companies.

Remote work:
This job is on site. 3 of the 136 intern engineering jobs (2%) are remote.

AI in this role:
Medium. The role uses AI tools and works with AI systems as a regular part of the job. The role evaluates LLM-generated proofs and builds tooling for LLM-assisted proving. Its main focus is safety assurance and formal verification rather than developing AI models.## Full description

Join the team bringing advanced autonomy to the built world

At Bedrock, we're moving AI out of the lab and into the real world. Our team includes veterans who helped launch Waymo, scaled Segment to a $3.2B acquisition, and grew Uber Freight to $5B in revenue. Today, we're deploying autonomous systems on heavy construction equipment across the country, improving safety on job sites and accelerating schedules on critical infrastructure projects.

We're not here debating the future of AI. We're deploying it in the real world. In just two years, we've raised $350M and achieved the first fully autonomous excavator deployments in construction.

This is where algorithms meet steel-toed boots. You'll work alongside construction veterans and world-class engineers to solve physical-world problems that simulations can't touch. If you're ready to do meaningful work on hard problems, we'd love to have you join us.

About the Role & Team Putting an autonomous 40-ton excavator on a live jobsite means being able to say, precisely, what we know about its safety and what that knowledge rests on. Today that argument lives in hazard analyses, requirements, tests and logs, linked by hand.

As a Safety Engineering intern, you’ll explore how formal methods and LLM-assisted proving can strengthen that argument. Working at the intersection of formal methods, statistics, and field robotics, you’ll formalize a narrowly scoped safety claim, verify a checker in Lean, and evaluate it on real fleet data, with explicit assumptions and auditable results.

What You'll Do
• Become fluent in Bedrock's safety case and trace safety claims through the hazards, requirements, mitigations, and evidence that support them
• Build an end-to-end demonstration for one claim: define the property and assumptions, implement a checker in Lean, prove its correctness against the specification, and run it on fleet data
• Develop checks for assumptions that can be monitored in fleet data, and document those that require other evidence
• Build audit tooling for LLM-assisted proving: record…