1 day ago
Foster City, CA, USASenior / Staff+
H1B Sponsor
Base Salary
$208k - $300k/yr
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 computer science, electrical engineering, robotics, aerospace, or related fields.
- 7+ years of experience in software systems engineering.
- Strong problem-solving, leadership, and mentoring skills in a safety-focused environment.
- Strong formal methods background with understanding of logic and model checking.
- Proficient in Python and C++ for real-time safety-critical applications.