2027 Internship Safety Engineer, Agentic Safety Case Assessment
$56kWe Love AI Jobs
- 2027 Internship Safety Engineer, Agentic Safety Case AssessmentBedrock RoboticsSan Francisco, CAInternshipUpload your resume once and Scout applies for youApply with ScoutShare this job:LinkedInXSave imageThis internship focuses on using formal methods and LLM-assisted proving to strengthen safety claims for Bedrock’s autonomous excavators. You’ll formalize a claim, verify a Lean checker, evaluate it on fleet data, and recommend improvements to the safety review process.* Internship* On-site* Entry Level### Skills and expertiseLeanmathlibformal methodsprobability and statisticsLLM-generated proof evaluationknowledge graphsfleet dataRust verification tools (Aeneas, Verus,### Key responsibilities* Formalize a safety claim, implement and verify a Lean checker, and evaluate it on fleet data.* Develop auditable checks for assumptions and document evidence that requires other sources.* Review specifications with Safety, Systems, and Autonomy teams and recommend safety case improvements.## How this job comparesCompared with 136 open intern engineering jobs on October 10, 2026.Pay: This job does not publish its pay. The 10 open intern engineering jobs that publish US pay start at $56K a year on average.Similar open jobs: We Love AI Jobs lists 136 open intern engineering jobs at 55 companies.Remote work: This job is on site. 3 of the 136 intern engineering jobs (2%) are remote.AI in this role: Medium. The role uses AI tools and works with AI systems as a regular part of the job. The role evaluates LLM-generated proofs and builds tooling for LLM-assisted proving. Its main focus is safety assurance and formal verification rather than developing AI models.## Full descriptionJoin the team bringing advanced autonomy to the built worldAt 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 & TeamPutting 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 processWhat We're Looking ForRequired• 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 roboticsBedrock Robotics is an Equal Opportunity EmployerWe’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.
- J-18808-Ljbffr We Love AI Jobs
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the 2027 Internship Safety Engineer, Agentic Safety Case Assessment in San Francisco, CA vacancy
- ...number of students for the summer of 2027. Under the supervision of an experienced... ...related to California death penalty cases. Remote Access Internships may be available. Examples of... ...additional witnesses. * Researching and assessing the validity of expert testimony...InternshipFull timeSummer workSummer internshipRemote work
California Appellate Project
San Francisco, CA28 days ago $3,558 per week
Summer Consultant, M&A, 2027 Application Deadline: 1 December... ...Consulting Employment Type: Internship Location: San Francisco, CA... ...get hands‑on exposure to the case process from start to finish,... ...be expected to: Support the assessment of investment and growth opportunities...InternshipFull timeSummer workSummer internshipH1bWork at office$42 - $48 per hour
...transformation in the agentic era? You’re in the right... ..., Research, and Engineering to make sure every word... ...the Role As a Summer 2027 Content Design Intern... ...returning to school after the internship An online portfolio of... ...help our recruiters assess and evaluate...InternshipHourly payTemporary workFixed term contractSummer internshipShift work$29 - $33 per hour
...workforce transformation in the agentic era? You're in the right... ...planning on graduating Winter 2027 or Summer 2028; all majors welcome... ...projects through coursework, internships, research, hackathons, or... ...tools to help our recruiters assess and evaluate candidates'...InternshipHourly payTemporary workFixed term contractSummer workSummer internship$42.5 per hour
...our Blog. About the Role **This internship is only for undergraduate... ...colleges/universities with Winter 2027** We understand these can be flexible and if that’s the case, you can indicate on the... ...some of the most challenging engineering problems in the industry, making...InternshipSummer workCasual workSummer internshipLocal areaRelocation packageFlexible hours$35 per hour
...Embedded Software Development Engineer Test Co-Op that helps ensure cardiac... ...-time, six-month Engineering Internship / Cooperative Education (Co-op... ...the full January through June 2027 assignment in San Francisco.... ...with requirements, test cases and manual test methods* Improving...InternshipHourly payFull timeSummer internship$25 - $26.5 per hour
...in executive search, diversity and inclusion, leadership assessment and development, organization and team acceleration, culture... ...Washington DC, Chicago, Houston, Toronto, San Francisco. Internship will start June 2027. What We Offer Throughout the course of your internship...InternshipHourly payFull timeWork experience placementSummer workSummer internship- ...continues to invest in AI-driven and agentic experiences, our Content... ...with Product, Research, and Engineering to make sure every word and... ...About the Role As a Summer 2027 Content Design Intern, you’ll... ...returning to school after the internship An online portfolio of user...InternshipSummer internshipShift work
- OUR INVESTING SUMMER INTERNSHIP The program is designed for juniors heading into their senior... ...graduating in Spring 2028 or Winter 2027. THE ROLE As a Summer Intern, you won’... ...your learning. Your primary focus will be assessing real investment opportunities for Alpine...InternshipFull timeSummer workSummer internship
- Location: We expect our Summer 2027 internships will proceed in-person (in a hybrid model) at our offices in San Francisco, Sacramento, and... ...including investigating, developing, and initiating affirmative cases; and drafting pleadings, motions, and briefs. The Intern is...InternshipFull timePart timeSummer workSummer internship
- ...throughout our company. The U.S. Summer Internship Program provides an immersive introduction... ...Santa Monica, and Washington, D.C. The 2027 U.S. Summer Internship Program begins on... ...assignments and presentations Participate in case studies and practical exercises designed...InternshipFull timePart timeSummer internshipWork at officeLocal areaVisa sponsorship
- ...like RSM. Risk Consulting - Process Risk & Controls - Summer 2027 Internship As a Risk Consulting Intern at RSM, you will work with... ...experience. RSM's Risk Consulting Group provides value added risk assessment services to clientele and you will have the ability to be...InternshipSummer workSummer internshipLocal area
- ...Rising Senior planning on graduating Winter 2027 or Summer 2028; all majors welcome,... ...AI-related projects through coursework, internships, research, hackathons, or independent work... ...intelligence (AI) tools to help our recruiters assess and evaluate candidates' resumes and...InternshipSummer workSummer internship
$25 per hour
...Risk Early Career Program, Summer Intern 2027 Brokerage West Market Special note: This... ...our Marsh Early Career Program Summer Internship, part of our Risk business at Marsh. These... .... You'll collaborate with clients to assess risks, build relationships with insurance...InternshipHourly payPermanent employmentFull timeSummer workSummer internshipWork at officeLocal areaRemote work3 days per week- ...leading workforce transformation in the agentic era? You're in the right place! Agentforce... ...Communications, or a related field (Winter 2027 or Spring 2028 Grad) Strong... ...intelligence (AI) tools to help our recruiters assess and evaluate candidates' resumes and qualifications...InternshipTemporary workFixed term contractSummer internshipVisa sponsorship
$25 - $28 per hour
Economic Damages & Valuation Internship - Summer 2027 Intern Job Location Type: Hybrid Department: Economic Damages & Valuations Are you looking... ...-focused engagements, including economic damages assessments, business valuation analyses, and forensic accounting. Typical...InternshipHourly paySummer workSummer internshipWork at officeRemote workFlexible hours$22 per hour
...re looking to hit the ground running, the Enterprise Management Internship will help you build valuable business and leadership skills.... ...week commitment with the availability to start employment in May 2027. Must be able to work 40 hours a week during the internship....InternshipHourly payFull timePart timeTraineeshipSummer internship$18 - $35 per hour
...will participate in a \"best-in-class\" internship program. During this 10-week program,... ..., Business Law, Psychology, Logistics, Engineering, Computer Science, Actuarial Sciences),... ...customer solutions. Managing Risk - Assessing and effectively managing all of the...InternshipWork experience placementSummer internshipWork at officeLocal area$70k
...Client Service Associate (Class of 2027) San Francisco, California,... .... You will learn how to assess client needs, identify the types... ...releases, company websites, case studies, and other public sources... ...required Previous relevant internship, volunteer, or extracurricular...InternshipTemporary workSummer workCasual workWork at officeFlexible hours- ...About the Flight Test Engineering Team Zipline's Flight... ...for all critical edge cases. We leverage expertise... ...to identify anomalies, assess reliability, track... ...You Should Know This internship is a full-time position... ...We will host our Summer 2027 interns from May/June...InternshipFull timeSummer workSummer internshipWork at officeLocal areaRelocation package
Zipline
South San Francisco, CA2 days ago $31 - $34 per hour
...Corporate Risk and Broking (CRB)- Internship - Broking Placement- Multiple Locations - 2027 ~202606205 ~New York,... ...speaker series, structured training, case studies, networking events, and more... ...we work with our clients to assess, model, and structure risk. Once...InternshipHourly payFull timeTemporary workSummer internshipH1bWork at officeLocal areaRemote workFlexible hours$45 - $52 per hour
2027 Spring Intern - gRED Business Operations (Systems... ...friction. This internship position is located in... ...improvements and assess their effectiveness. Assist... ...Majors: Industrial Engineering, Business... ...implementation of AI/agentic tools in an operational...InternshipHourly payFull timeLocal areaRelocation package$36 - $42 per hour
...decisions—fast. Our Internship Program At Sigma As an... ...work directly with our engineers, product leaders, and... ...shaping the future of agentic workflows for app development... ...date of December 2027 or later Able to... ...candidate screening and assessment. Our AI tools are designed...InternshipHourly payFull timeSummer workWork at officeRelocationRelocation packageFlexible hours$41 - $45 per hour
...areas is required for training and offsite activities. In-office expectations average three days per week. The internship will span from June 15th - August 6th, 2027. Our ACFO practice consists of 60+ talented and team-oriented professionals. They are passionate about...InternshipHourly payFull timeSummer workCasual workSummer internshipWork at office3 days per week$29.5 - $56.5 per hour
To qualify for US internships, you must be currently enrolled in a degree-seeking program with an expected graduation date after the internship... ...calendars. Cohort 1: Monday, May 17 - Friday, August 6, 2027 (12 weeks) Cohort 2: Monday, June 14 - Friday September 3, 20...InternshipFull timeSummer workSummer internshipMonday to Friday3 days per week$52 per hour
2027 Spring Intern - Data Science & Machine... ...Spring Intern – Agentic AI Discovery &... ...with strict patient safety and privacy guidelines... ...functionally with engineers, data scientists,... ...the end of your internship. Program Highlights... ..., setting up test cases, evaluating model...InternshipFull timeLocal areaRelocation package- ...students and must be based in the U.S. for the entire duration of the internship. The Team: Our team supports the ACLU’s National Legal Director... ...work before the United States Supreme Court, including merits cases, petitions for certiorari, and amicus work. What You’ll Do: We...InternshipFull timeSummer workSummer internshipWork at officeRemote work
- ...Description Position Overview: The Case Manager III will play a critical role in... ...and intervention. Conduct thorough assessments of clients' needs, strengths, and challenges... ...organizations, or participating in internships or practicums in social services can be...InternshipWork at officeLocal areaFlexible hours
Bayview Hunters Point Foundation for Community Imp
San Francisco, CA5 days ago - Atoms in San Francisco is seeking a seasoned Safety Engineer to own the safety case end-to-end for complex production systems. You will defend claims, define boundaries, and ensure evidence coverage across functional safety, autonomous behavior, and fleet operations. You...
$35 per hour
## 2027 Business Associate InternApply: San Francisco Office: Full time: Posted 2 Days Ago: R0000666Dodge & Cox is a world-class,... ...yourself, we encourage you to apply. **About the Business Associate Internship Program**Dodge & Cox is seeking undergraduate students who are...InternshipHourly payRotational programFull timeSummer internshipWork at officeRelocation package
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to 2027 Internship Safety Engineer, Agentic Safety Case Assessment. Be the first to apply!
Related searches
- reliability and safety engineer San Francisco, CA
- system safety engineer San Francisco, CA
- senior safety engineer San Francisco, CA
- principal safety engineer San Francisco, CA
- public health engineer San Francisco, CA
- senior functional safety engineer San Francisco, CA
- safety engineer San Francisco, CA
- functional safety engineer San Francisco, CA
- winter internship San Francisco, CA
- publishing internship San Francisco, CA