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