---
title: '2027 Internship Safety Engineer, Agentic Safety Case Assessment at Bedrock Robotics Inc'
canonical: 'https://feeny.ai/job/2027-internship-safety-engineer-agentic-safety-case-assessment-bedrock-robotics-9nmzznn6fpg7'
type: 'job'
last_seen: '2026-09-26'
---

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

- **Company:** Bedrock Robotics Inc
- **Location:** San Francisco, CA
- **Employment:** internship
- **Work type:** onsite
- **Posted:** 2026-09-25
- **Last confirmed live:** 2026-09-26
- **Apply:** https://jobs.ashbyhq.com/bedrock-robotics/cb06dc4f-3e78-4546-897d-b39ba12a9178

## Job description

Join the team bringing advanced autonomy to the built world At Bedrock, we're moving AI out of the lab and into the real world. Our team includes veterans who helped launch Waymo, scaled Segment to a $3.2B acquisition, and grew Uber Freight to $5B in revenue. Today, we're deploying autonomous systems on heavy construction equipment across the country, improving safety on job sites and accelerating schedules on critical infrastructure projects.

We're not here debating the future of AI. We're deploying it in the real world. In just two years, we've raised $350M and achieved the first fully autonomous excavator deployments in construction.

This is where algorithms meet steel-toed boots. You'll work alongside construction veterans and world-class engineers to solve physical-world problems that simulations can't touch. If you're ready to do meaningful work on hard problems, we'd love to have you join us.

## About the Role & Team

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. As a Safety Engineering intern, you’ll explore how formal methods and LLM-assisted proving can strengthen that argument. Working at the intersection of formal methods, statistics, and field robotics, you’ll formalize a narrowly scoped safety claim, verify a checker in Lean, and evaluate it on real fleet data, with explicit assumptions and auditable results.

## What You'll Do

- 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

## What We're Looking For

Required

- 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.

## Preferred

- Exposure to safety or assurance-case practice (GSN, UL 4600, ISO 13849, IEC 61508) or runtime verification.
- Experience with Rust verification tools (Aeneas, Verus, Kani) or differential/property-based testing.
- Familiarity with knowledge graphs or structured document analysis
- Background in autonomous vehicles, heavy equipment, or other safety-critical robotics

Bedrock Robotics is an Equal Opportunity Employer We’re committed to building a diverse and inclusive workplace. We consider all qualified applicants for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, ancestry, age, disability, veteran status, genetic information, or any other protected characteristic. Reasonable Accommodations We want our hiring process to be accessible to everyone. If you need an accommodation to participate in the application or interview process, please let your recruiter know so we can support you.

## About Bedrock Robotics Inc

## Company Overview
- **One-liner**: Bedrock Robotics brings advanced autonomy to heavy machinery, upgrading existing construction equipment for fully autonomous operation to help the industry build faster and safer.
- **Entity Type**: Private (Series B)
- **Headquarters**: San Francisco, California, United States
- **Founded**: 2024
- **Founders**: Boris Sofman (Co-Founder & CEO), Kevin Peterson (Co-Founder & CTO), Tom Eliaz (Co-Founder & VP, Engineering), Laurent Hautefeuille (Co-Founder & VP, Engineering)

## Core Business
- **Primary industry**: Robotics Engineering / Autonomous Heavy Equipment / Construction Technology
- **Target customers**: B2B — construction companies, infrastructure developers, and heavy machinery fleet operators
- **Mission or purpose**: Transforming how we develop the world by enabling the construction industry to build at the pace of societal demand through autonomous technology.

## Products & Services
- **[Bedrock Operator]**: An autonomous system that retrofits existing heavy equipment (e.g., excavators) to operate independently, adapting to on-site challenges, tracking productivity, and delivering expert-level quality with superhuman safety. Type: Hardware + Software (Autonomy Platform).

## Market Standing
- **Valuation**: Not publicly disclosed (latest funding round values the company at a significant premium).
- **Key Metric**: Total Funding — $350M raised (Series B of $270M closed in early 2026).
- **Notable Investors/Partners**: NVentures (NVIDIA), Valor Equity Partners, 8VC, Eclipse, Tishman Speyer, and 21+ other investors. Backed by key strategic partners in construction and real estate.
- **Growth Signals**: 
    - Headcount grew 5,950% YoY (from ~1 to 85 employees in its first year).
    - Named "Outperformer" among 15 companies including Caterpillar, Sandvik, and Epiroc by CB Insights.
    - Covered by The New York Times, Forbes, and Engineering News Record for major funding and field deployments.
    - Completed a major project removing 65,000 cubic yards of dirt on a Southwest construction site.

## Competitive Advantages
- **Deep autonomy heritage**: Founding team spent years at Waymo perfecting autonomous systems for complex, safety-critical driving on public roads — a rare and transferable expertise.
- **Real-world deployment**: Technology is proven on active construction sites (not just simulations), with tens of thousands of hours of field data.
- **Retrofit model**: Upgrades existing heavy equipment rather than requiring new machinery, lowering adoption barriers for construction firms.
- **Continuous improvement**: The Bedrock Operator learns and sharpens skills with every project, creating a data moat.

## Strategic Focus
- Scaling deployment of autonomous heavy equipment across major construction projects (housing, data centers, energy, factories).
- Expanding the range of machinery types that can be retrofitted.
- Deepening partnerships with construction firms and equipment manufacturers.
- Growing the engineering and field operations teams to accelerate product development and customer support.

## Why Work Here
- **Culture**: A passionate, product-driven team that works hand-in-hand with customers. Emphasizes real-world impact — field tests on active construction sites generate as much excitement as breakthrough code.
- **Work Environment**: Hybrid presence with offices in Downtown San Francisco, Soho (New York City), and test facilities in Texas and California.
- **Perks**: Comprehensive health & well-being coverage, daily in-office meals, commuter benefits, unlimited time off, paid parental leave, 401k retirement plan.
- **Engineering Focus**: Work on unsolved problems — bringing autonomous technology to market that will revolutionize construction. Exposure across product, technology, and business. First pair of steel-toed boots provided.
- **Team**: Collaborate with a diverse group of experts from Waymo, Zoox, Cruise, Caterpillar, and other top robotics/autonomy companies.

## Sources
1. [bedrockrobotics.com](https://bedrockrobotics.com/)
2. [bedrockrobotics.com/about](https://bedrockrobotics.com/about)
3. [bedrockrobotics.com/careers](https://bedrockrobotics.com/careers)
4. [cbinsights.com](https://www.cbinsights.com/company/bedrock-robotics)
5. [linkedin.com](https://www.linkedin.com/company/bedrock-robotics)

## Other roles at Bedrock Robotics Inc

- [2027 Internship State Estimation, Learned Mapping & Semantic SLAM](https://feeny.ai/job/2027-internship-state-estimation-learned-mapping-semantic-slam-bedrock-robotics-wwjew8f3h0q5) — San Francisco, CA
- [2027 Internship Evaluation Engineer, Metric Prototyping](https://feeny.ai/job/2027-internship-evaluation-engineer-metric-prototyping-bedrock-robotics-inc-san-z5vtv8m0jb7b) — San Francisco, CA
- [2027 Internship Software Engineer, Fleet Platform](https://feeny.ai/job/2027-internship-software-engineer-fleet-platform-bedrock-robotics-inc-new-york-kcn5dstx23kj) — New York, NY
- [Software Engineer, State Estimation & Localization](https://feeny.ai/job/software-engineer-state-estimation-localization-bedrock-robotics-inc-san-qqc6zygv8fc9) — San Francisco, CA
- [Embedded Software Engineer, Safety-Critical Systems](https://feeny.ai/job/embedded-software-engineer-safety-critical-systems-bedrock-robotics-inc-san-t38fmpryc00q) — San Francisco, CA
- [Software Engineer, Onboard Platform](https://feeny.ai/job/software-engineer-onboard-platform-bedrock-robotics-inc-san-francisco-pvhaq4cd8vrb) — San Francisco, CA
- [2027 Internship Hardware Engineer, Machine Integration & Test](https://feeny.ai/job/2027-internship-hardware-engineer-machine-integration-test-bedrock-robotics-inc-var4rb134fj2) — San Francisco, CA
- [2027 Internship Hardware Engineer](https://feeny.ai/job/2027-internship-hardware-engineer-bedrock-robotics-inc-san-francisco-q5dh0gqy6ht5) — San Francisco, CA
- [2027 Internship Onboard Infrastructure Engineer, ML Inference](https://feeny.ai/job/2027-internship-onboard-infrastructure-engineer-ml-inference-bedrock-robotics-fkns34ceszb9) — San Francisco, CA
- [2027 Internship Sensor Systems Engineer](https://feeny.ai/job/2027-internship-sensor-systems-engineer-bedrock-robotics-inc-san-francisco-1s06kfa6a2gy) — San Francisco, CA