Tech Lead (f/m/div.)

• As part of our team, you will own the assurance architecture and verification strategy, defining explicit claims, assumptions and evidence. You resolve safety/security interactions while determining which claims the implementation and test evidence can actually support.
• You will lead technical reviews of hazard and threat analyses, verification plans and field-validation results. You maintain traceability from requirements through implementation and testing to the technical file.
• Additionally, you will implement critical verification artifacts and guide hardware-in-the-loop as well as physical validation with specialists. You review test adequacy while assessing force/pressure evidence where human-robot interaction requires it.
• You will take ownership of the formal-methods strategy for the Safety-Security Agent-Harness Tool Development Plan. You establish proof obligations, trusted components and independent checks required when the harness is used in its own development.
• Furthermore, you will reproduce and challenge proof/checker results, investigate counterexamples as well as uncovered failure modes and close corrective actions. You defend technical evidence in reviews and audits without overstating its coverage.
• In our Agentic AI Software Factory, you will use coding agents for implementation, test generation, review preparation and documentation. You validate their output through reproducible checks plus human review, preserve traceability and apply controlled access to code and data.

Function: Research
Experience Level: Associate