2027 Internship Safety Engineer, Agentic Safety Case Assessment
Bedrock Robotics
- Location
- San Francisco, California, United States
- Job type
- Internship
Required skills
- Lean
- mathlib
- LLM
- Rust
- Aeneas
- Verus
- Kani
About the role
Hands-on experience with Lean and mathlib, working knowledge of probability and statistics, ability to translate informal claims into precise specifications, experience evaluating LLM-generated code or proofs, background in safety-critical robotics.
About Bedrock Robotics
Autonomous construction technology company that retrofits heavy equipment into autonomous machines for general contractors.
This page is fully interactive when JavaScript is enabled. Please enable JavaScript to apply or browse related roles.
