Senior/Staff Software Systems Engineer – Software Health and Complexity

Zoox

Senior Software Systems Engineer designing safety-critical software methodologies at Zoox. Develop and implement tools for high safety standards in autonomous vehicle systems.

Posted 6/10/2026full-timeFoster City • California • 🇺🇸 United StatesSenior💰 $208,000 - $300,000 per yearWebsite

Tech Stack

Tools & technologies

Python

About the role

Key responsibilities & impact

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.

Requirements

What you’ll need

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.

Benefits

Comp & perks

paid time off (e.g. sick leave, vacation, bereavement)
unpaid time off
Zoox Stock Appreciation Rights
Amazon RSUs
health insurance
long-term care insurance
long-term and short-term disability insurance
life insurance

ATS Keywords

✓ Tailor your resume

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools

formal languagesmodel checkingautomata theoryprogramming in Pythonprogramming in C++object-oriented programmingmemory managementperformance analysismodeling techniquesanalysis techniques

Soft Skills

problem-solvingleadershipmentoringcommunicationteam collaborationadaptabilitycritical thinkingtime managementattention to detaildecision making