Firmware Verification Engineer (m/f/d)

NXP USA INC.

Gratkorn, Austria
On-site
Formal methods expertise
Model-based verification frameworks
Symbolic model checking tools (nusmv)
NXP USA INC. is seeking a Firmware Verification Engineer with expertise in Formal Methods to enhance their verification team in Gratkorn, Austria. The role involves designing and implementing advanced verification strategies for embedded firmware, focusing on reliability and security across various 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.
  • The successful candidate may/will be responsible for security related tasks and may/will be in scope of security certifications.

Matching Summary

Match Score: 85

NXP USA INC. is seeking a Firmware Verification Engineer with expertise in Formal Methods to enhance their verification team in Gratkorn, Austria. The role involves designing and implementing advanced verification strategies for embedded firmware, focusing on reliability and security across various hardware platforms.

Skills & Requirements

Must-have

  • Formal Methods expertise
  • Model-based verification frameworks
  • Symbolic model checking tools (NuSMV)
  • Automated test plans for embedded firmware
  • CI/CD pipeline integration
  • Functional, performance, stress, and security testing
  • Hardware-in-the-loop simulations

Nice-to-have

  • Automated test generation
  • Coverage analysis
  • CI/CD tools (Jenkins, GitLab CI)
  • Formal verification tools beyond NuSMV

Key Requirements

  • Master’s degree in Computer Engineering, Computer Science, or related field
  • Strong foundation in theoretical computer science
  • Hands-on programming experience: C, Python/Java
  • Exceptional analytical skills and attention to detail

Work Rights

Not specified

Tailored Resume

Cover Letter