Autonomy Safety Engineer - Lean Proofs & Checks
Listed on 2026-11-02
-
Engineering
Robotics, Safety Engineer
Bedrock Robotics is seeking a Safety Engineering intern to advance formal methods at the intersection of statistics, safety cases, and field robotics. You will formalize safety claims, verify Lean checkers, and evaluate proofs using fleet data in a hands-on internship.
Join a team integrating formal verification with autonomy, systems, and safety to strengthen safety arguments and improve evidence-driven decision making aboard live fleet operations.
We are looking to fill the Autonomy Safety Engineer - Lean Proofs & Checks position at Bedrock Robotics Inc in San Francisco, CA, United States.
If your experience matches this role, we encourage you to apply.
All applications are reviewed carefully by our team.
The position is based in San Francisco, CA, United States.
This opportunity is part of our work in Engineering.
The advertised compensation is 36.000 - 60.000.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).