Software Systems Engineer - Software Health and Complexity

Zoox

2 months ago

Foster City, CA, USA

Entry Level / Mid Level

H1B Sponsor

Responsibilities

Develop and employ formal languages and models to describe intended software/system behaviors.
Leverage tools to generate formal design and validation tests.
Implement and integrate tools to verify software/system behaviors.
Integrate analysis and verification into existing processes and workflows.
Lead systems engineering activities for launching safety-critical software.

Advanced degree (MS or PhD) in computer science, electrical engineering, robotics, aerospace, or related fields with 1+ year of experience.
Strong problem-solving, leadership, and mentoring skills in a safety-focused environment.
Strong formal methods background with understanding of logic, formal languages, and model checking.
Experience applying modeling and analysis techniques to software systems.
Strong programming skills in Python and C++ for real-time safety-critical applications.

C++Python