Senior Software Systems Engineer - Software Health and Complexity
About The Position
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.
Requirements
- Advanced degree (MS or PhD) in computer science, electrical engineering, robotics, aerospace, or related fields and 5+ 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.
Nice To Haves
- 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.
Responsibilities
- 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.
Benefits
- paid time off (e.g. sick leave, vacation, bereavement)
- unpaid time off
- Zoox Stock Appreciation Rights
- Amazon RSUs
- health insurance
- long-term care insurance
- long-term and short-term disability insurance
- life insurance
Stand Out From the Crowd
Upload your resume and get instant feedback on how well it matches this job.
What This Job Offers
Job Type
Full-time
Career Level
Senior
Number of Employees
1,001-5,000 employees
