<div>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.</div><div><br></div><div>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.</div><br><br><h3>In this role, you will: </h3><ul><li>Develop and employ formal languages and models to describe intended software/system behaviors.</li><li>Leverage third-party or build in-house tools to generate formal design and validation tests.</li><li>Implement and integrate tools to verify that software/systems behave as intended.</li><li>Integrate analysis and verification into existing processes, workflows, tools, and other infrastructure.</li><li>Lead various systems engineering activities that are essential for a successful launch of safety-critical software on a self-driving vehicle.</li></ul><h3>Qualifications:</h3><ul><li>Advanced degree (MS or PhD) in computer science, electrical engineering, robotics, aerospace, or related fields and 1+ year of experience. </li><li>Strong problem-solving, leadership, and mentoring skills in a fast-paced, safety-focused environment.</li><li>Strong formal methods background with good understanding of logic, formal languages, automata theory, and model checking</li><li>Experience applying modeling and analysis techniques to software systems. </li><li>Strong programming skills in Python and C++ in real-time safety-critical applications and programming language fundamentals, object-oriented programming, memory management, performance, etc.</li></ul><h3>Bonus Qualifications:</h3><ul><li>Contributed to formal methods research and/or implementations.</li><li>Shipped software products to market in production automobiles, aircraft, spacecraft, or other systems that require safety-critical software in embedded hardware.</li><li>Experience with standards such as DO178, ISO26262, SPICE or ASPICE, ISO12207, IEC61508, EN50128, etc.</li></ul><br><div><b>About Zoox</b></div><div>Zoox is developing the first ground-up, fully autonomous vehicle fleet and the supporting ecosystem required to bring this technology to market. Sitting at the intersection of robotics, machine learning, and design, Zoox aims to provide the next generation of mobility-as-a-service in urban environments. We’re looking for top talent that shares our passion and wants to be part of a fast-moving and highly execution-oriented team.</div><div><br></div><div><a href="https://www.linkedin.com/company/zoox-inc">Follow us on LinkedIn</a></div><div><br></div><div><b>Accommodations</b></div><div>If you need an accommodation to participate in the application or interview process please reach out to accommodations@zoox.com or your assigned recruiter.</div><div><br></div><div><b>A Final Note:</b></div><div>You do not need to match every listed expectation to apply for this position. Here at Zoox, we know that diverse perspectives foster the innovation we need to be successful, and we are committed to building a team that encompasses a variety of backgrounds, experiences, and skills.</div>

<p>Zoox is developing the first fully electric autonomous vehicles to support low-carbon transportation and to decrease congestion and reliance on individual car ownership in urban areas.&nbsp;</p>

Software Systems Engineer - Software Health and Complexity

<div>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.</div><div><br></div><div>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.</div><br><br><h3>In this role, you will: </h3><ul><li>Develop and employ formal languages and models to describe intended software/system behaviors.</li><li>Leverage third-party or build in-house tools to generate formal design and validation tests.</li><li>Implement and integrate tools to verify that software/systems behave as intended.</li><li>Integrate analysis and verification into existing processes, workflows, tools, and other infrastructure.</li><li>Lead various systems engineering activities that are essential for a successful launch of safety-critical software on a self-driving vehicle.</li></ul><h3>Qualifications:</h3><ul><li>Advanced degree (MS or PhD) in computer science, electrical engineering, robotics, aerospace, or related fields and 1+ year of experience.&nbsp;</li><li>Strong problem-solving, leadership, and mentoring skills in a fast-paced, safety-focused environment.</li><li>Strong formal methods background with good understanding of logic, formal languages, automata theory, and model checking</li><li>Experience applying modeling and analysis techniques to software systems.&nbsp;</li><li>Strong programming skills in Python and C++ in real-time safety-critical applications and programming language fundamentals, object-oriented programming, memory management, performance, etc.</li></ul><h3>Bonus Qualifications:</h3><ul><li>Contributed to formal methods research and/or implementations.</li><li>Shipped software products to market in production automobiles, aircraft, spacecraft, or other systems that require safety-critical software in embedded hardware.</li><li>Experience with standards such as DO178, ISO26262, SPICE or ASPICE, ISO12207, IEC61508, EN50128, etc.</li></ul><br><div><b>About Zoox</b></div><div>Zoox is developing the first ground-up, fully autonomous vehicle fleet and the supporting ecosystem required to bring this technology to market. Sitting at the intersection of robotics, machine learning, and design, Zoox aims to provide the next generation of mobility-as-a-service in urban environments. We’re looking for top talent that shares our passion and wants to be part of a fast-moving and highly execution-oriented team.</div><div><br></div><div><a href="https://www.linkedin.com/company/zoox-inc">Follow us on LinkedIn</a></div><div><br></div><div><b>Accommodations</b></div><div>If you need an accommodation to participate in the application or interview process please reach out to accommodations@zoox.com or your assigned recruiter.</div><div><br></div><div><b>A Final Note:</b></div><div>You do not need to match every listed expectation to apply for this position. Here at Zoox, we know that diverse perspectives foster the innovation we need to be successful, and we are committed to building a team that encompasses a variety of backgrounds, experiences, and skills.</div>

Software Systems Engineer - Software Health and Complexity

About the Job

About the Company

Zoox

Similar Jobs

Staff Software Engineer

Staff Software Engineer

Compute Platform System Safety Engineer

Compute Platform System Safety Engineer

Staff Software Engineer, Model Based Design and Verification

Staff Software Engineer, Model Based Design and Verification

Senior Software Systems Engineer - Software Health and Complexity

Senior Software Systems Engineer - Software Health and Complexity

Senior/Staff Software Engineer – Cloud & Embedded Systems Configuration

Senior/Staff Software Engineer – Cloud & Embedded Systems Configuration

Senior Software Engineer, Middleware

Senior Software Engineer, Middleware

Senior Systems Engineer, Autonomy Verification and Validation (Safety & Fail Operational)

Senior Systems Engineer, Autonomy Verification and Validation (Safety & Fail Operational)

Senior/Staff Software Engineer, Behavior Fault Architecture and Detection Validation

Senior/Staff Software Engineer, Behavior Fault Architecture and Detection Validation

Senior/Staff Systems Engineer, Autonomy Verification

Senior/Staff Systems Engineer, Autonomy Verification

Sr. Functional Safety Engineer

Sr. Functional Safety Engineer