> Markdown version of [/jobs/ext/515128-senior-staff-software-systems-engineer-software-health-and-complexity](https://www.wearedevelopers.com/jobs/ext/515128-senior-staff-software-systems-engineer-software-health-and-complexity). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Senior/Staff Software Systems Engineer - Software Health and Complexity

- **Company:** Zoox
- **Location:** Foster City, CA, United States
- **Experience:** Expert
- **Salary:** $208,000.0 - $300,000.0
- **Contract:** Permanent contract
- **Skills:** Artificial Intelligence, Systems Engineering, Automata Theory, C++ (Programming Language), Computer Programming, Memory Management, Middleware, Python (Programming Language), Object-Oriented Software Development, Real-Time Operating Systems, ISO/IEC 15504, Software Engineering, Software Systems, Information Technology, Formal Methods, Programming Languages
- **Published:** June 12, 2026
- **Apply:** https://www.indeed.com/viewjob?jk=814a3fce6d8424bb

## About the Role

Do you have experience in Team leadership?, * Advanced degree (MS or PhD) in computer science, electrical engineering, robotics, aerospace, or related fields and 7+ years of experience.

 * Strong problem-solving, leadership, and mentoring skills in a fast-paced, safety-focused environment.
 * Strong formal methods background with good understanding of logic, formal languages, automata theory, and model checking
 * Experience applying modeling and analysis techniques to software systems.
 * Strong programming skills in Python and C++ in real-time safety-critical applications and programming language fundamentals, object-oriented programming, memory management, performance, etc., * Contributed to formal methods research and/or implementations.
 * Shipped software products to market in production automobiles, aircraft, spacecraft, or other systems that require safety-critical software in embedded hardware.
 * Experience with standards such as DO178, ISO26262, SPICE or ASPICE, ISO12207, IEC61508, EN50128, etc.

## Description

The Software Systems Engineering team is responsible for defining SW development processes and ensuring that all safety-critical software meets a high safety bar for production vehicles.
In this role, you will design and implement methodologies, tools, and processes for safety-critical software that will revolutionize transportation in the 21st century. Borrowing principles from avionics, automotive, and other safety-critical industries, you will work with software engineers throughout the Zoox software org, ranging from state-of-the-art AI Autonomy software, all the way to highly-critical RTOS and middleware components., * Develop and employ formal languages and models to describe intended software/system behaviors.

 * Leverage third-party or build in-house tools to generate formal design and validation tests.
 * Implement and integrate tools to verify that software/systems behave as intended.
 * Integrate analysis and verification into existing processes, workflows, tools, and other infrastructure.
 * Lead various systems engineering activities that are essential for a successful launch of safety-critical software on a self-driving vehicle.


## Related Videos

- [Developer’s Perspective: Overview of the Tezos Blockchain Ecosystem](https://www.wearedevelopers.com/videos/237-developer-s-perspective-overview-of-the-tezos-blockchain-ecosystem)
- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [Automated Driving - Why is it so hard to introduce](https://www.wearedevelopers.com/videos/628-automated-driving-why-is-it-so-hard-to-introduce)
- [Software defines the vehicle: Why customers and developers will love cars even more](https://www.wearedevelopers.com/videos/1114-software-defines-the-vehicle-why-customers-and-developers-will-love-cars-even-more)
- [Exploring BOS: The Blockchain Operating System by NEAR Protocol](https://www.wearedevelopers.com/videos/781-exploring-bos-the-blockchain-operating-system-by-near-protocol)
- [How to develop an autonomous car end-to-end: Robotic Drive and the mobility revolution](https://www.wearedevelopers.com/videos/22-how-to-develop-an-autonomous-car-end-to-end-robotic-drive-and-the-mobility-revolution)

## Related Articles

- [How software is steering vehicle technology](https://www.wearedevelopers.com/magazine/515-how-software-is-steering-vehicle-technology)
- [Highest Paying Tech Companies for Developers](https://www.wearedevelopers.com/magazine/220-highest-paying-tech-companies-for-developers)
- [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated)
- [Is Software Engineering Hard?](https://www.wearedevelopers.com/magazine/448-is-software-engineering-hard)
- [What is Software Engineering?](https://www.wearedevelopers.com/magazine/289-what-is-software-engineering)
- [Best Countries for Software Engineers](https://www.wearedevelopers.com/magazine/267-best-countries-for-software-engineers)