Source description

About the role

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.

More at Zoox