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 expZoox 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
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
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
Zoox is an AI robotics company that provides mobility-as-a-service and self-driving car services. It is a sub-organization of Amazon.
1001-5000 employees
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 StageTotal Funding
$955MKey Investors
Grok Ventures
2020-06-26Acquired
2019-10-21Convertible Note· $200M
2018-07-08Series B· $465M
Leadership Team
Nelson Pedreiro
Sr. Vice President, Hardware
Z
Zheng Gao
Director of Hardware Engineering
Recent News
Channel NewsAsia
2025-12-24
Clean Technica
2025-12-13
Company data provided by crunchbase