We are looking for a Firmware Verification Engineer with deep expertise in Formal Methods to strengthen our verification team. In this role, you will design and implement advanced strategies to ensure the reliability and security of embedded firmware across diverse hardware platforms. You’ll work at the intersection of theory and practice, applying formal models and automated testing to deliver products that meet the highest industry standards.

What You’ll Do:

• Develop and maintain model-based verification frameworks using symbolic model checking tools (NuSMV).

• Design and execute automated test plans for embedded firmware on multiple hardware architectures.

• Integrate Model-Based Testing (MBT) processes into CI/CD pipelines for continuous quality assurance.

• Perform functional, performance, stress, and security testing, including hardware-in-the-loop simulations.

• Analyze test results, identify defects, and collaborate with development teams to resolve issues.

• Drive continuous improvement of verification methodologies, tools, and processes.

What We’re Looking for:

• Master’s degree in Computer Engineering, Computer Science, or a related field.

• Strong foundation in theoretical computer science (algorithmic complexity, temporal logic, equivalence theories).

• Hands-on programming experience: C for embedded systems, Python/Java for test automation.

• Exceptional analytical skills and attention to detail.

• Familiar with automated test generation and coverage analysis is a benefit.

• Familiarity with CI/CD tools (e.g., Jenkins, GitLab CI) is a plus.

• Knowledge of formal verification tools beyond NuSMV (e.g., SPIN, CBMC, TLA+) is nice to have.

Please note: The successful candidate may/will be responsible for security related tasks. The assignment may/will be in scope of security certifications, therefore a conscious and reliable way of working is necessary.

Ready to create a smarter world? Join the future of Innovation. Join NXP. Apply online!

At NXP in Austria, we are proud to have received several external awards. The Leading Employer Award 2020, 2021, 2022, 2023, 2024 & 2025 which is presented exclusively only to the top 1% of employers in Austria. Since 2022 we are allowed to call ourselves a family-friendly employer.

In 2023 & 2024 NXP Austria was awarded with the ‘Equalita’ quality label - the seal of quality for in-house advancement of women in the workplace.

NXP provides market competitive compensation according to the benchmarking of the electronic and semiconductor industry. Due to the Austrian Equal Treatment Act we are obligated to state the employment group of our applicable collective bargaining agreement (CBA) "Kollektivvertrag für Angestellte Gewerbe und Handwerk und in der Dienstleistung", this position (fulltime) is graded in Employment Group IV. Your individual experiences and expectations will be considered in the application process. Moreover, we provide attractive benefits to our employees like home office, flexible working time, meal benefits and more.