Firmware Verification Engineer (m/f/d)

NXP

Gratkorn, Austria
Formal methods expertise
Model-based verification frameworks
Automated test plans for firmware
You will design and implement advanced strategies to ensure the reliability and security of embedded firmware

Job Summary

  • You will design and implement advanced strategies to ensure the reliability and security of embedded firmware.
  • The successful candidate may be responsible for security related tasks and must work reliably.
  • NXP has received several awards for being a top employer and offers attractive benefits.

Matching Summary

You will design and implement advanced strategies to ensure the reliability and security of embedded firmware.

Skills & Requirements

Must-have

  • Formal Methods expertise
  • Model-based verification frameworks
  • Automated test plans for firmware

Nice-to-have

  • Familiarity with CI/CD tools
  • Knowledge of formal verification tools
  • Attention to detail

Key Requirements

  • Master’s degree in Computer Engineering
  • Hands-on programming experience in C
  • Strong foundation in theoretical computer science

Work Rights

Not specified

Tailored Resume

Cover Letter