Tech Lead - Robot Safety and Security (f/m/div.)

Bosch; Renningen; Hybrid; EUR 90,000 - 130,000; Full time

Job summary

Robert Bosch Robotics GmbH in Renningen invites a Tech Lead for Robot Safety and Security to own the architecture and verification strategy for safety-critical embedded software in industrial robots. You define claims, operating limits, timing assumptions, and evidence, and lead reviews of hardware-in-the-loop and verification plans.

You will guide sensing integration, formal methods, and tool chains, maintain traceability from requirements to test results, and drive a rigorous safety culture.

Qualifications

• Proven ownership of safety-relevant embedded software or robotic protection functions with verified evidence.
• Strong C/C++ skills and deep RT behavior knowledge, sensing interfaces, diagnostics and failure handling.
• Demonstrated ability to substantiate detection and timing with hardware-in-the-loop or physical tests.
• Experience integrating safety and product-security requirements in complex systems.
• Hands-on formal verification or model checking with clear proof obligations and counterexamples.

Responsibilities

• Own runtime and assurance architecture, and verification strategy across safety-critical components.
• Lead reviews of architecture, hazard analyses, verification plans, and field-validation results.
• Ensure traceability from requirements to code, tests, and technical file artifacts.
• Guide sensing integration, HIL testing, fault injection, and performance timing assessments.
• Reproduce and challenge proof results, and close corrective actions with audits.
• Drive formal-methods strategy and tool development plans for safety runtime and harnesses.

Skills

C/C++

Real-time systems

Safety engineering

Formal verification

Hardware-in-the-loop

Team leadership

German language

English language

Education

Bachelor’s or Master’s in CS/Robotics/EE/Control

Tools

ESBMC/Lean

LLM-checker evaluation

versioned evidence repositories

Job description

Company Description

At Bosch, we shape the future with technologies that enrich people’s lives. Join Robert Bosch Robotics GmbH to build reusable embedded safety and security runtime software for industrial robots. As Tech Lead for Robot Safety and Security, you own architecture and critical implementation of motion monitoring independent of task-planning AI and defined safe reactions when operating limits are violated.

The Robert Bosch GmbH is looking forward to your application!

Job Description

• As part of our team, you will own the runtime and assurance architecture as well as the verification strategy, defining explicit claims, operating limits, timing assumptions, and evidence. You resolve safety/security interactions while defining monitoring independence, sensing interfaces, and safe-reaction interfaces together with the responsible specialists and OEM engineers, determining which claims the implementation and test evidence can actually support.
• You will lead technical reviews of embedded implementation, hazard and threat analyses, verification plans, and field-validation results. You maintain traceability from requirements through code and testing to the technical file.
• Additionally, you will implement critical embedded runtimes and verification components while guiding sensing integration, hardware-in-the-loop testing, and fault injection, including missing or stale inputs, violated limits, and detection and reaction timing. You review test adequacy and assess force/pressure evidence where human-robot interaction requires it.
• You will take ownership of the formal-methods strategy for the safety runtime and the safety-security agent-harness tool development plan. You establish specifications, proof obligations, assumptions, trusted components, and independent checks required for the protection functions and when the harness is used in its own development. You also address verification-tool assurance where required by the selected development approach.
• Furthermore, you will reproduce and challenge proof/checker results, investigate counterexamples and 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 and human review, preserve traceability, and apply controlled access to code and data.

Qualifications

• Education: completed Bachelor’s or Master’s degree in Computer Science, Robotics, Electrical Engineering, Control Engineering or a related field
• Experience and Knowledge:
• proven personal architecture and implementation ownership of safety-relevant embedded software or robotic protection functions, including assurance and verification evidence scrutinized through independent review or assessment
• strong proficiency in C/C++, combined with in-depth knowledge of real-time behavior, sensing interfaces, diagnostics, and failure handling
• demonstrated understanding of monitoring independence assumptions and the ability to substantiate detection and reaction timing through measurements from hardware-in-the-loop or physical testing
• deep expertise in safety engineering, with demonstrated ability to integrate product-security requirements into safety-relevant systems
• hands‑on experience in formal verification or model checking, including specifications, assumptions, counterexamples, proof limits, and own implementation or analysis
• demonstrated requirements‑to‑evidence traceability, hazard and threat analysis, and applicable verification‑tool assurance
• experience applying relevant industrial safety frameworks to concrete designs, including a clear understanding of their limitations
• proven ability to implement or critically inspect verification artifacts, defend assurance arguments, and resolve findings
• expertise with hardware‑in‑the‑loop rigs, ESBMC/Lean, LLM‑plus‑checker evaluation, and versioned evidence repositories
• proven technical leadership through implementation and verification; standards awareness, review coordination, audit participation, or tool familiarity alone is insufficient
• Personality and Working Practice: you are a rigorous technical leader who makes assumptions explicit, values specialist expertise and communicates residual risks without overstating the evidence
• Enthusiasm: for combining formal reasoning, physical validation and disciplined engineering to support trustworthy robotics
• Languages: very good spoken and written German and English

Additional Information

https://www.bosch-ai.com

www.bosch.com/research

As a global company, we are legally required to comply with applicable EU and U.S. (re‑)export control and sanctions regulations. This means that for certain, particularly sensitive positions, we may only hire individuals who have undergone an additional legal screening. This position is one such sensitive role. We will therefore ask you for additional information required for this screening as the application process continues. You can find information about the processing of your data in our Privacy Notice for the application process.

Permanent, open-ended position in the engineering organization for Robert Bosch Robotics GmbH.

We offer flexible working models: from part‑time options to mobile working and job sharing. Diversity and inclusion are firmly anchored in our culture.