# Senior/Staff Software Systems Engineer

**Company:** [Zoox](https://hotfix.jobs/companies/zoox)
**Location:** Foster City, CA
**Role:** Security Engineering
**Salary:** $208k – $300k/yr
**Experience:** 7+ years
**Skills:** Python, C++, Formal Methods, Model Checking, Automata Theory, Logic, Rtos, Embedded Systems, Safety-Critical Software, Iso 26262
**Posted:** 2026-06-10

> Design and implement formal methods, tools, and processes to verify safety-critical software for autonomous vehicles. Requires 7+ years experience, advanced degree, and strong background in formal verification, Python, and C++.

## Job Description

## Responsibilities
- 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
- 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.

## Nice-to-Haves
- 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.

## Similar roles

- [Staff Software Engineer - Trust & Safety](https://hotfix.jobs/jobs/75025b27-cc32-4ffc-9305-540d29ca5599) - Rula - Remote - $207k – $243k/yr
- [Staff Security Engineer, Application Security](https://hotfix.jobs/jobs/5214d92c-70cc-4cb3-aa3a-342e71db7789) - NinjaTrader - Chicago, IL - $210k – $260k/yr
- [Staff AppSec Engineer](https://hotfix.jobs/jobs/276da52a-633e-4899-bbe1-257843a4fa8b) - Upside - Washington, DC - $210k – $230k/yr
- [Staff Corporate Security Engineer](https://hotfix.jobs/jobs/b96b394f-21ee-4d9d-8bd8-4c821ffcef81) - Crusoe - San Francisco, CA - $210k – $255k/yr
- [Staff Application Security Engineer](https://hotfix.jobs/jobs/7ac2e48a-851e-4e49-8cb6-83a44f82862c) - Upside - Remote - $210k – $230k/yr

**Apply:** https://hotfix.jobs/jobs/778eda2f-9ba1-4e9e-9093-db9a8854300c
**Canonical:** https://hotfix.jobs/jobs/778eda2f-9ba1-4e9e-9093-db9a8854300c