Related skills
python middleware rtos formal_methods model_checking📋 Description
- Develop formal languages and models to describe software/system behaviors.
- Use third-party or in-house tools to generate formal design and validation tests.
- Implement and integrate tools to verify software/systems behave as intended.
- Integrate analysis and verification into existing processes and workflows.
- Lead systems engineering activities for safe autonomous vehicle software launches.
🎯 Requirements
- MS/PhD in CS, EE, robotics, aerospace, or related field with 7+ years exp.
- Strong problem-solving, leadership, and mentoring in fast-paced safety-focused env.
- Formal methods background: logic, formal languages, automata theory, model checking.
- Experience applying modeling/analysis techniques to software systems.
- Strong Python and C++ skills for real-time safety-critical apps.
🎁 Benefits
- Contributed to formal methods research or implementations.
- Shipped safety-critical software in automotive/aviation/space embedded systems.
- Experience with DO-178/ISO26262/SPICE/ASPICE/ISO12207/IEC61508/EN50128.
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!