Senior Software Systems Engineer - Software Health and Complexity
Zoox
about 2 months ago
Foster City, CA, USA
Senior / Staff+
H1B Sponsor
Responsibilities
- Develop and employ formal languages and models to describe software/system behaviors.
- Leverage tools to generate formal design and validation tests.
- Implement and integrate tools to verify software/system behavior.
- Integrate analysis and verification into existing processes and workflows.
- Lead systems engineering activities for safety-critical software launch.
Requirements
- Advanced degree (MS or PhD) in relevant fields and 5+ years of experience.
- Strong problem-solving and leadership skills in a safety-focused environment.
- Strong formal methods background with understanding of logic 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.
Tech Stack
C++Python
Categories
AI & MLEmbedded