2027 Internship Safety Engineer, Agentic Safety Case Assessment
San Francisco, CAInternPosted 3w ago
About the role
Internship focused on strengthening safety arguments for autonomous heavy equipment using formal methods, probability/statistics, and LLM-assisted proving, with hands-on work on Lean-based safety checks and fleet data evaluation.
Responsibilities
- 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 proof dependencies, document toolchain trust assumptions, and reject proof placeholders or unapproved axioms in automated builds
- Work with Safety, Systems, and Autonomy teams to review formal specifications and turn findings into safety case improvements
- Document the results, limitations, and recommendations for adoption in our review process
Qualifications
- 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
Skills
Required:LeanProbability and statisticsKnowledge graphs/structured document analysisFormal specificationsLLM-assisted proving
Last updated Oct 15, 2026. Interested? Apply on the company site.
About Bedrock Robotics
Advanced Autonomy for the Built World
Advanced Autonomy for the Built World
AutonomyBedrock Operatorautonomyheavy machineryindustrial automationindustrial roboticsmachine intelligenceon-site autonomy
More open roles at Bedrock Robotics
- Hydraulics System Engineer4d agoHybrid (San Francisco, CA) · Engineering
- Electrical Systems Integration Engineer4d agoHybrid (San Francisco, CA), Hybrid (Lockhart, TX) · Engineering
- Bedrock Training & Certification Lead4d agoHybrid (San Francisco, CA), Hybrid (Lockhart, TX) · Operations
- Cloud - Staff Site Reliability Engineer4d agoHybrid (New York, NY), Hybrid (San Francisco, CA) · Engineering
- Head of Bedrock Operations Center1w agoHybrid (San Francisco, CA), Hybrid (Lockhart, TX) · Operations