Firmware Verification Engineer (m/f/d)

NXP Semiconductors

Gratkorn, Austria
Formal methods expertise
Symbolic model checking tools (nusmv)
Embedded firmware testing
Design and implement advanced strategies to ensure the reliability and security of embedded firmware across diverse hardware platforms

Job Summary

  • Design and implement advanced strategies to ensure the reliability and security of embedded firmware across diverse hardware platforms.
  • Integrate Model-Based Testing (MBT) processes into CI/CD pipelines for continuous quality assurance.
  • NXP in Austria has received several external awards including the Leading Employer Award and the ‘Equalita’ quality label.

Matching Summary

Design and implement advanced strategies to ensure the reliability and security of embedded firmware across diverse hardware platforms.

Skills & Requirements

Must-have

  • Formal Methods expertise
  • symbolic model checking tools (NuSMV)
  • embedded firmware testing
  • hardware-in-the-loop simulations
  • C for embedded systems
  • Python/Java for test automation

Nice-to-have

  • automated test generation
  • CI/CD tools (e.g., Jenkins, GitLab CI)
  • formal verification tools beyond NuSMV
  • security related tasks

Key Requirements

  • Master’s degree in Computer Engineering, Computer Science, or related
  • Strong foundation in theoretical computer science
  • Familiar with automated test generation and coverage analysis is a benefit
  • Familiarity with CI/CD tools is a plus
  • Knowledge of formal verification tools beyond NuSMV is nice to have

Work Rights

Not specified

Tailored Resume

Cover Letter