Senior/Staff Software Systems Engineer - Software Health and Complexity
@ ZooxSenior/Staff Software Systems Engineer - Software Health and Complexity
This job is still taking applications, but it's been up a while.
About the job
Zoox develops autonomous vehicles and software, focusing on safety-critical systems for self-driving cars. The role involves designing verification tools, leading engineering activities, and working with AI, RTOS, and middleware components in a safety-focused setting.
Requirements
- 7+ years experience in software engineering
- Strong problem-solving skills
- Formal methods background
- Experience with modeling and analysis
- Programming in Python and C++
Qualifications
- Master's or PhD in CS, EE, robotics, aerospace
- Leadership and mentoring skills
- Understanding of logic and automata theory
- Experience with safety-critical software
- Knowledge of real-time applications
Full job description
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.
Qualifications:
- Advanced degree (MS or PhD) in computer science, electrical engineering, robotics, aerospace, or related fields and 7+ 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.
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.
- Experience with standards such as DO178, ISO26262, SPICE or ASPICE, ISO12207, IEC61508, EN50128, etc.
Similar jobs in Columbus, OH
- K
Senior Industrial Maintenance Technician
KOHLS · Columbus, OH, United States
Posted 2 days ago - A
Senior Specialist Project Management
Abbott Laboratories · Columbus, OH, United States
Posted 1 week ago - G
Senior Industrial Engineer
GXO Logistics · Columbus, OH, United States
Posted 3 weeks ago - A
Senior Manufacturing Engineer, Altius
ANDURIL INDUSTRIES · Ashville, OH, United States
Posted 3 days ago - A
Senior Construction Safety Professional
AECOM · Columbus, OH, United States
Posted 1 week ago - A
Senior Civil / Environmental Engineer
AECOM · Columbus, OH, United States
Posted 3 weeks ago