Related skills
python middleware rtos formal_methods model_checking📋 Description
- Develop and use formal languages/models to describe software/system behavior.
- Use third-party or in-house tools to generate formal design and tests.
- Implement and integrate tools to verify software/system behavior.
- Integrate analysis and verification into existing processes and tools.
- Lead systems engineering for safe launch of safety-critical software.
🎯 Requirements
- MS/PhD in CS/EE/ robotics/ aerospace; 5+ years experience.
- Strong problem-solving, leadership, mentoring in fast-paced safety env.
- Formal methods background: logic, formal languages, automata, model checking.
- Experience applying modeling and analysis techniques to software systems.
- Strong Python and C++ skills in real-time safety-critical apps.
🎁 Benefits
- Base salary: USD 208k - 300k per year.
- RSUs and Zoox stock appreciation rights included.
- Sign-on bonus may be offered.
- Comprehensive benefits: health, dental, vision, life insurance, PTO.
Meet JobCopilot: Your Personal AI Job Hunter
Automatically Apply to Engineering Jobs. Just set your
preferences and Job Copilot will do the rest — finding, filtering, and applying while you focus on what matters.
Help us maintain the quality of jobs posted on Empllo!
Is this position not a remote job?
Let us know!