Senior/Staff Software Systems Engineer (Software Health and Complexity)

Join Zoox, a company revolutionizing transportation in the 21st century. As a Senior/Staff Software Systems Engineer, you will design and implement methodologies, tools, and processes for safety-critical software. You will work with software engineers across the organization, from AI autonomy software to highly-critical RTOS and middleware components. This role requires strong problem-solving, leadership, and mentoring skills, as well as advanced programming skills in Python and C++.

• Design and implement methodologies, tools, and processes for safety-critical software development.
• Develop and employ formal languages and models to describe intended software/system behaviors.
• Lead various systems engineering activities that are essential for a successful launch of safety-critical software on a self-driving vehicle.
• Strong problem-solving, leadership, and mentoring skills in a fast-paced, safety-focused environment
• Strong programming skills in Python and C++ in real-time safety-critical applications and programming language fundamentals, object-oriented programming, memory management, performance, etc
• Experience applying modeling and analysis techniques to software systems
• Advanced degree (MS or PhD) in computer science, electrical engineering, robotics, aerospace, or related fields and 7+ years of experience
• Strong formal methods background with good understanding of logic, formal languages, automata theory, and model checking
• 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