2027 Internship Safety Engineer, Agentic Safety Case Assessment
Core
Formalize safety claims for autonomous construction excavators using formal methods and LLM-assisted proving to verify safety arguments against real fleet data.
Role type
Intern, Agentic Safety Case Assessment Engineer
Builds
Formal safety proofs, Lean checkers, audit tooling for LLM-assisted proving, and safety case documentation for autonomous heavy equipment.
Domain
Autonomous robotics, heavy construction equipment, formal methods, and safety assurance.
Required skills
Lean theorem proving, mathlib (real analysis/probability), probability and statistics, knowledge graph analysis, LLM code/proof evaluation, safety-critical robotics background
Preferred skills
Safety assurance practices (GSN, UL 4600, ISO 13849, IEC 61508), runtime verification, Rust verification tools (Aeneas, Verus, Kani), property-based testing
Technologies
Lean, mathlib, Rust, Aeneas, Verus, Kani
Responsibilities
Trace safety claims through hazards, requirements, mitigations, and evidence; implement and prove correctness of Lean checkers against specifications; develop checks for assumptions monitorable in fleet data; build audit tooling for LLM-assisted proving; review formal specifications with cross-functional teams; document results, limitations, and adoption recommendations
Seniority
Intern, hands-on IC
