Software Systems Engineer - Software Health and Complexity

The Software Systems Engineering team at Zoox 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 Perception to highly-critical RTOS and middleware components.

Responsibilities:

• Develop and employ formal languages and models to describe intended software/system behaviors.
• 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 essential for a successful launch of safety-critical software on a self-driving vehicle.

Qualifications:

• Advanced degree in computer science, electrical engineering, robotics, aerospace, or related fields.
• 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++.
• Deep knowledge of 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.
• Conducted and/or participated in safety audits, defended choices and methods used, and prepared compliance reports.
• Experience with standards such as DO178, ISO26262, SPICE or ASPICE, ISO12207, IEC61508, EN50128, etc.

Zoox offers a comprehensive package of benefits including paid time off, Zoox Stock Appreciation Rights, Amazon RSUs, health insurance, long-term care insurance, long-term and short-term disability insurance, and life insurance.

Join Zoox to be part of a fast-moving and highly execution-oriented team at the intersection of robotics, machine learning, and design, aiming to provide the next generation of mobility-as-a-service in urban environments.