{"id":3817422,"url":"https://alion.io/job/bosch-tech-lead-fmdiv-","title":"Tech Lead (f/m/div.)","company":{"id":132,"name":"Bosch","domain":"bosch.com","url":"https://alion.io/company/bosch","size_band":"5000+","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"SmartRecruiters","truth_index":{"grade":"B","score":75,"open_postings":1012,"ghost_share":0,"stale_share":0.99,"repost_share":0,"time_to_fill_p50_days":33,"computed_at":"2026-11-08T05:47:12Z"}},"role":"Leadership","role_family":"Leadership","seniority":"lead","employment_type":"full_time","work_mode":"hybrid","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Renningen, Germany"],"countries":["DE"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":null,"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"AI Agents","optional":false},{"name":"LLM","optional":false}],"status":"live","first_seen_at":"2026-11-05T13:31:14Z","employer_posted_date":"2026-11-05","last_verified_at":"2026-11-08T11:45:37Z","board_verified":true,"closed_at":null,"days_open":2,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":2},"description":"At Bosch, we shape the future with technologies that enrich people’s lives. Join Robert Bosch Robotics GmbH as the hands-on architect of Robotics AI within our initial Industrial Robot Skills team. Define how predictive models, reasoning, executable skills and control work together, then implement and test the critical ideas on real robots. Welcome to Bosch.\nThe Robert Bosch GmbH is looking forward to your application!\n 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.\nYou 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.\nAdditionally, 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.\nYou 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.\nFurthermore, 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.\nIn 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.\n Education: completed Bachelor’s or Master’s degree in Computer Science, Robotics, Electrical Engineering, Control Engineering or a related field\nExperience and Knowledge:proven technical ownership of assurance and verification for safety- or security-relevant software or robotic systems, including evidence scrutinized through independent review or assessment\ndeep expertise in safety or security engineering, with demonstrated ability to connect both disciplines\nhands-on experience in formal verification or model checking, including specifications, assumptions, counterexamples, proof limits and own implementation or analysis\ndemonstrated requirements-to-evidence traceability, hazard/threat analysis and verification-tool assurance\nexperience applying relevant industrial safety frameworks to concrete designs, including clear understanding of their limitations\nproven ability to implement or critically inspect verification artifacts, defend assurance arguments and resolve findings\nexpertise with requirements traceability, hardware-in-the-loop rigs, ESBMC/Lean, LLM-plus-checker evaluation and versioned evidence repositories\nstandards awareness, review coordination or tool familiarity alone is insufficient\n\nPersonality and Working Practice: you are a rigorous technical leader who makes assumptions explicit, values specialist expertise and communicates residual risks without overstating the evidence\nEnthusiasm: for combining formal reasoning, physical validation and disciplined engineering to support trustworthy robotics\nLanguages: very good spoken and written German and English\n https://www.bosch-ai.com\nwww.bosch.com/research\nAs 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.\nPermanent, open-ended position in the engineering organization for Robert Bosch Robotics GmbH.\nApply with your CV and an assurance case plus a formal-verification example. Show your technical contribution, assumptions, a counterexample or uncovered failure, corrective work and review outcome. Share artifacts where permitted; anonymized accounts are accepted.\nWe offer flexible working models: from part-time options to mobile working and job sharing. Diversity and inclusion are firmly anchored in our culture.\nNeed support during your application?\nMeltem Rudolph (Human Resources)\n+49 174 1744961\nNeed further information about the job?\nJan Schneider-Kraus (Functional Department)\n+49 172 9749480\nWork #LikeABosch starts here: Apply now!","description_format":"text","description_chars":4868,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":{"level":"bachelor","optional":false},"security_clearance":false,"languages":[{"language":"German","level":"All levels","optional":false},{"language":"English","level":"All levels","optional":false}]},"benefits":["Flexible schedule"],"hiring_locations":[{"name":"Germany","iso":"DE","kind":"country"}],"hiring_excludes":[],"relocation_offered":false,"industries":["Sensors & Transducers","Industrial Automation","Home Appliances","Tools & DIY Supplies"],"lifecycle":[{"event":"open","at":"2026-11-05T16:34:13Z"}],"visa":[],"liveness":{"score":63,"band":"ok","label":"Likely open","p_open":1,"p_active":0.632,"p_room":1,"age_days":2,"expected_fill_days":33,"reasons":["conf:2","stale_co","velocity","win:early","comp:brand"],"computed_at":"2026-11-08T05:47:12Z"},"pay":null,"html_url":"https://alion.io/job/bosch-tech-lead-fmdiv-","json_url":"https://alion.io/job/bosch-tech-lead-fmdiv-.json","meta":{"generated_at":"2026-11-08T12:48:54Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":27276,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-11-09T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.02,"usd":0.002,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","note":"the employer in depth","call":{"mcp_tool":"get_company","arguments":{"id":132},"rest":"https://alion.io/mcp/rest/get_company?id=132"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fbosch-tech-lead-fmdiv-"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"live","price":{"credits":1,"usd":0.1},"unit":"per slice","note":"pay, demand and time to fill for this role and place","call":{"mcp_tool":"market_stats"},"human":"https://alion.io/catalog?offer=market.stats&for=job%2Fbosch-tech-lead-fmdiv-"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per posting in a list","note":"similar open postings","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=job%2Fbosch-tech-lead-fmdiv-"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"job/bosch-tech-lead-fmdiv-\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fbosch-tech-lead-fmdiv-"}],"agent":{"mcp":"https://alion.io/mcp/jobs","mcp_open":"https://alion.io/mcp/open","next":[{"tool":"get_job","arguments":{"id":3817422}},{"tool":"search_jobs","arguments":{"company":"bosch.com","detail":"compact"}},{"tool":"match_people","arguments":{"job_id":3817422},"note":"people open to offers who fit this vacancy"}],"note":"The same data through MCP tools: https://alion.io/mcp/open needs no sign-in (compact searches, postings, people); https://alion.io/mcp with an Alion account has everything. Docs: https://alion.io/developers"}}