
Senior Software Systems Engineer, Software Health and Complexity
Real job — pulled straight from Zoox’s careers page · Verified July 16, 2026 · No reposts.
Job description
Zoox is hiring a Senior Software Systems Engineer, Software Health and Complexity — a full-time, based in Foster City, CA role. Apply directly on Zoox's careers page below.
Senior/Staff Software Systems Engineer - Software Health and Complexity
Team: Software Systems
Location: Foster City, CA
Commitment: Full-time
Workplace Type: hybrid
Salary:
In this role, you will:
- 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.
Qualifications:
- 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.
Bonus Qualifications:
- 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.
Get Senior Software Systems Engineer, Software Health and Complexity jobs like this→
New roles from thousands of companies land hourly, straight from their careers pages. Get the freshest matches by email so you never miss one.
Email me new jobsSimilar jobs
Frequently asked questions
What skills are required for Senior Software Systems Engineer, Software Health and Complexity at Zoox?
The required skills for Senior Software Systems Engineer, Software Health and Complexity at Zoox include: Python, C++.
What is the seniority level for Senior Software Systems Engineer, Software Health and Complexity at Zoox?
Senior Software Systems Engineer, Software Health and Complexity at Zoox is a Senior / Staff level position.
How do I apply for Senior Software Systems Engineer, Software Health and Complexity at Zoox?
You can view the full description and apply for Senior Software Systems Engineer, Software Health and Complexity at Zoox on EchoJobs: https://echojobs.io/job/zoox-senior-staff-software-systems-engineer-software-health-and-complexity-7spi5.



