Apply on Employer Site

Zoox · 1 day ago

Senior Software Systems Engineer - Software Health and Complexity

Foster City, CA

Full-time

Onsite

Senior Level

$208K/yr - $300K/yr

5+ years exp

Zoox is developing the first ground-up, fully autonomous vehicle fleet and the supporting ecosystem required to bring this technology to market. In this role, you will design and implement methodologies, tools, and processes for safety-critical software that will revolutionize transportation in the 21st century.

Artificial Intelligence (AI)Autonomous VehiclesMachine LearningRoboticsTransportation

H1B Sponsor Likely

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

Qualification

Formal methodsPythonC++Model checkingSafety-critical softwareModeling techniquesAnalysis techniquesEmbedded hardwareSoftware development processesLeadership skillsProblem-solving skillsMentoring skills

Required

Advanced degree (MS or PhD) in computer science, electrical engineering, robotics, aerospace, or related fields and 5+ 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

Preferred

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

Benefits

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

Company

Zoox

Glassdoor3.8

Zoox is an AI robotics company that provides mobility-as-a-service and self-driving car services. It is a sub-organization of Amazon.

Founded in 2014

Foster City, California, USA

1001-5000 employees

https://www.zoox.com/

H1B Sponsorship

Zoox has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)

Distribution of Different Job Fields Receiving Sponsorship

Represents job field similar to this job

Trends of Total Sponsorships

2025 (293)

2024 (297)

2023 (209)

2022 (204)

2021 (131)

2020 (83)

Funding

Current Stage

Late Stage

Total Funding

$955M

Key Investors

Grok Ventures

2020-06-26Acquired

2019-10-21Convertible Note· $200M

2018-07-08Series B· $465M

Leadership Team

Nelson Pedreiro

Sr. Vice President, Hardware

Zheng Gao

Director of Hardware Engineering

Recent News

Channel NewsAsia

Amazon's Zoox to recall 332 US vehicles over software error

2025-12-24

AfroTech

Two Black Woman Leaders Are At The Forefront Of The Robotaxi Revolution As CEOs Of Major Vehicle Companies Waymo And Zoox

2025-12-17

Clean Technica

Zoox Becomes Robotaxi Partner for T-Mobile Arena

2025-12-13

Company data provided by crunchbase