Senior Firmware Verification Engineer (Formal Methods) (m/f/d)

Job description

We are looking for a Senior Firmware Verification Engineer with deep expertise in Formal Methods to play a key hands‑on role in strengthening our firmware verification capabilities. This position is highly technical and execution‑focused: you will personally design, implement, and apply advanced verification techniques to ensure the reliability, correctness, and security of embedded firmware across multiple hardware platforms. You will work at the boundary between formal theory and real systems, turning abstract models into practical, automated verification solutions used in production. What You’ll Do: Design, implement, and maintain model-based and formal verification frameworks using symbolic model checking tools such as NuSMV . Develop formal models of embedded firmware behavior and use them to drive model checking, test generation, and coverage analysis . Create and execute automated verification and test pipelines for embedded firmware across different hardware architectures. Integrate Model-Based Testing (MBT) and formal verification flows into CI/CD pipelines to enable continuous, repeatable quality assurance. Perform hands-on functional, performance, stress, robustness, and...