Skip to main content

Bedrock Robotics

2027 Internship Safety Engineer, Agentic Safety Case Assessment

San Francisco, CAinterninternAdded today

About this role

Join Bedrock's safety engineering team as an intern to formalize and verify safety claims for autonomous construction equipment using formal methods and LLMs. You'll work on an end-to-end demonstration involving Lean proofs, fleet data validation, and audit tooling to strengthen real-world autonomy safety arguments.

What you'll do

  • Master Bedrock's safety case architecture and trace safety claims through hazards, requirements, and evidence
  • Formalize a narrowly scoped safety property and implement a verified checker in Lean with correctness proofs
  • Develop and run assumption checks against real fleet data with explicit documentation
  • Build audit tooling to track proof dependencies, trust assumptions, and reject unvalidated axioms in builds
  • Collaborate with Safety, Systems, and Autonomy teams to review formal specs and improve safety cases
  • Document findings, limitations, and adoption recommendations for the review process

What they're looking for

  • Lean theorem prover and mathlib (real analysis or probability)
  • Probability and statistics (distributions, confidence intervals, tail bounds)
  • Formal methods and specification writing
  • LLM code/proof evaluation and verification
  • Knowledge graphs or structured document analysis
  • Autonomous vehicles or safety-critical robotics domain knowledge
  • Runtime verification or safety assurance case frameworks (GSN, UL 4600, ISO 13849)
  • Rust verification tools (Aeneas, Verus, Kani)
Apply with Autofill

Opens the application — the Jobs AI extension fills it for you. Set up autofill

Opens the official application on the employer’s site. No login required.

Bedrock Robotics

Bedrock Robotics develops autonomous construction machinery powered by AI and robotics technology. The company is hiring for roles spanning developer infrastructure, simulation systems, hardware engineering, field robotics application, and frontend engineering to support the development and deployment of autonomous excavators and heavy equipment.

View all jobs at Bedrock Robotics

Likely interview questions

  • Walk us through your experience with Lean and mathlib—what's the most complex proof you've worked on?
  • How would you approach translating an informal safety claim about excavator operation into a formal Lean specification?
Unlock all 7 questions free — and practice them live →