Senior/Staff Software Systems Engineer - Software Health and Complexity

zoox
Hybrid
Posted 3 months ago
Software

Job 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.

Responsibilities

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.
  • Requirements

    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, 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.
  • Ready to Apply?

    Take the next step in your career journey

    Apply Now

    About the job

    Posted on
    Jun 10, 2026
    Job type
    Full-time
    Location
    Foster City, CAHybrid

    Explore more

    Browse more jobs like this

    Work arrangement

    Disclaimer: Real Jobs From Anywhere is an independent platform dedicated to providing information about job openings. We are not affiliated with, nor do we represent, any company, agency, or agent mentioned in the job listings. Please refer to our Terms of Services for further details.