Zoox
Software Systems
Senior/StaffSoftwareSystemsEngineer-SoftwareHealthandComplexity
Neural analysis suggests this role is
optimal for Senior candidates.
“Senior/Staff Software Systems Engineer - Software Health and Complexity at Zoox. Skills: Software Health, Complexity, Formal Methods. Define SW development processes. Ensure safety-critical software meets safety bar”
What You'll Achieve.
Launch safety-critical software
Industry & Context.
Problem-solving
What They're Looking For.
Must Have
Advanced degree (MS or PhD), 7+ years of experience, problem-solving skills, leadership skills, mentoring skills, formal methods background, understanding of logic, understanding of formal languages, understanding of automata theory, understanding of model checking, Experience applying modeling techniques, Experience applying analysis techniques, programming skills in Python, programming skills in C++, programming language fundamentals, object-oriented programming, memory management, performance
Nice to Have
Contributed to formal methods research, Contributed to formal methods implementations, Shipped software products to market, Experience with DO178, Experience with ISO26262, Experience with SPICE or ASPICE, Experience with ISO12207, Experience with IEC61508, Experience with EN50128
What You'll Do.
Define SW development processes
Ensure safety-critical software meets safety bar
Implement methodologies
Develop formal languages
Employ formal languages
Develop formal models
Leverage third-party tools
Generate formal design tests
Generate formal validation tests
Verify software behavior
Verify system behavior
Integrate verification
Lead systems engineering activities
How You'll Work.
Team & Collaboration
Work with software engineers
Full Job Description
## 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. ## 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, space
Applying for this Senior/Staff Software Systems Engineer - Software Health and Complexity role?
Most applicants get filtered before a human reads their resume. See if yours makes the cut.
How to Apply on Lever
- Lever uses a streamlined one-page form — apply in under 5 minutes.
- LinkedIn import works well; review parsed data before submitting.
- The cover letter field is optional but visible to reviewers — use it to differentiate.
- Referral codes from employees can significantly boost visibility of your application.
ANONYMOUS · UNFILTERED
What do employees actually say about Zoox?
Real rants from real employees. Read before you apply.