Tech Lead - Robot Safety and Security (f/m/div.)
Core
Own runtime and assurance architecture for robot safety/security, defining verification strategies, claims, and safe-reaction interfaces for industrial robots.
Role type
Senior IC Tech Lead (Robot Safety & Security)
Builds
Embedded safety runtimes, verification components, and agent-harness tools for robot protection functions.
Domain
Robotics + Formal Methods + Safety Engineering
Deliverable
production ML models
Required skills
C/C++, formal verification, hardware-in-the-loop testing, safety engineering, requirements-to-evidence traceability, hazard/threat analysis
Preferred skills
Agentic AI software factory tools, LLM-plus-checker evaluation, versioned evidence repositories
Technologies
ESBMC/Lean, hardware-in-the-loop rigs, coding agents
Responsibilities
Define monitoring independence and sensing interfaces; lead technical reviews of embedded implementation and verification plans; implement critical embedded runtimes and verification components; establish formal-methods strategy and proof obligations; reproduce and challenge proof/checker results.
Seniority
Senior, hands-on IC
