# 2027 Internship Safety Engineer, Agentic Safety Case Assessment at Bedrock Robotics

- Company: Bedrock Robotics
- Company website: https://bedrockrobotics.com
- Type: Startups
- Level: Internship
- Location: San Francisco, CA
- Work setup: On-site
- Posted: 2026-09-25
- Apply by: 2026-11-09
- Apply: https://jobs.ashbyhq.com/bedrock-robotics/cb06dc4f-3e78-4546-897d-b39ba12a9178
- Page: https://www.1752.vc/careers/jobs/bedrock-robotics-2027-internship-safety-engineer-agentic-safety-case-assessment/

## About the role

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.

## What they're looking for

- Hands-on experience with Lean and mathlib experience, particularly real analysis or probability
- Working knowledge of probability and statistics (distributions, confidence intervals, tail bounds)
- Familiarity with knowledge graphs or structured document analysis
- Ability to translate informal claims into precise specifications and identify their assumptions
- Experience evaluating LLM-generated code or proofs
- Background in autonomous vehicles, heavy equipment, or other safety-critical robotics

Tags: Engineering