AT61 NXP Semiconductors Austria GmbH & Co KG
Firmware Verification Engineer(m/w/x)
Full-timeWith HomeofficeExperienced
Gratkorn
New Job?Nejo!
Your personal AI career agent
NXNXP Semiconductors Austria GmbH & Co KG
Senior Firmware Verification Engineer - Formal Methods(m/w/x)
Gratkorn
Full-timeWith Home OfficeSenior
Nejo AI Summary
Developing formal models for embedded firmware behavior using NuSMV. Formal methods and embedded systems testing experience required. Home office, flexible working hours, meal benefits.
Requirements
- Master’s degree or equivalent experience in Computer Engineering, Computer Science, or related field
- Minimum 5 years hands-on professional experience in firmware verification, embedded systems testing, or formal verification
- Strong theoretical background in formal methods and computer science
- Proven hands-on experience applying formal verification or model-based testing to real embedded systems
- Strong programming skills in C for embedded firmware
- Strong programming skills in Python and/or Java for verification tooling and automation
- Ability to tackle complex technical problems independently
- Ability to translate formal concepts into executable verification artifacts
- High attention to detail
- Strong analytical thinking
- Practical, engineering-driven mindset
- Experience with automated test generation
- Experience with mutation testing
- Experience with coverage-driven verification
- Familiarity with CI/CD environments for embedded or firmware projects
- Experience with additional formal verification tools or frameworks
- Exposure to safety- or security-critical systems
Tasks
- Design and implement formal verification frameworks using NuSMV.
- Develop formal models for embedded firmware behavior.
- Drive model checking, test generation, and coverage analysis.
- Create and execute automated verification and test pipelines.
- Integrate Model-Based Testing (MBT) into CI/CD pipelines.
- Perform functional, performance, stress, robustness, and security testing.
- Conduct hardware-in-the-loop (HIL) testing scenarios.
- Analyze verification and test results in depth.
- Identify root causes of complex defects.
- Collaborate with firmware and hardware engineers to resolve issues.
- Refine verification models and assumptions based on real product behavior.
- Evaluate and introduce new verification tools and techniques.
- Drive technical improvements in verification methodologies.
- Ensure security-related tasks are handled responsibly.
- Support security certification processes.
Work Experience
- 5 years
Education
- Master's degree
Languages
- English – Business Fluent
Tools & Technologies
- C
- Python
- Java
- Jenkins
- GitLab CI
- SPIN
- CBMC
- TLA+
Benefits
Flexible Working
- Home office
- Flexible working time
Free or Subsidized Food
- Meal benefits
Find the original job posting in its most current version here. Nejo automatically captured this job from the website of NXP Semiconductors Austria GmbH & Co KG and processed the information on Nejo with the help of AI for you. Despite careful analysis, some information may be incomplete or inaccurate. Please always verify all details in the original posting! Content and copyrights of the original posting belong to the advertising company.
Like this job?
BetaYour Career Agent finds similar jobs for you every day.
Not a perfect match?
- AT61 NXP Semiconductors Austria GmbH & Co KG
Senior Firmware Engineer – Automotive NFC(m/w/x)
Full-timeWith HomeofficeSeniorGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Principal Embedded Software Engineer(m/w/x)
Full-timeWith HomeofficeExperiencedGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Embedded Security Engineer / Vulnerability Researcher (Embedded Systems)(m/w/x)
Full-timeWith HomeofficeNot specifiedGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Software Security Analyst(m/w/x)
Full-timeWith HomeofficeNot specifiedGratkorn
NXNXP Semiconductors Austria GmbH & Co KG
Senior Firmware Verification Engineer - Formal Methods(m/w/x)
Gratkorn
Full-timeWith Home OfficeSenior
Nejo AI Summary
Developing formal models for embedded firmware behavior using NuSMV. Formal methods and embedded systems testing experience required. Home office, flexible working hours, meal benefits.
Requirements
- Master’s degree or equivalent experience in Computer Engineering, Computer Science, or related field
- Minimum 5 years hands-on professional experience in firmware verification, embedded systems testing, or formal verification
- Strong theoretical background in formal methods and computer science
- Proven hands-on experience applying formal verification or model-based testing to real embedded systems
- Strong programming skills in C for embedded firmware
- Strong programming skills in Python and/or Java for verification tooling and automation
- Ability to tackle complex technical problems independently
- Ability to translate formal concepts into executable verification artifacts
- High attention to detail
- Strong analytical thinking
- Practical, engineering-driven mindset
- Experience with automated test generation
- Experience with mutation testing
- Experience with coverage-driven verification
- Familiarity with CI/CD environments for embedded or firmware projects
- Experience with additional formal verification tools or frameworks
- Exposure to safety- or security-critical systems
Tasks
- Design and implement formal verification frameworks using NuSMV.
- Develop formal models for embedded firmware behavior.
- Drive model checking, test generation, and coverage analysis.
- Create and execute automated verification and test pipelines.
- Integrate Model-Based Testing (MBT) into CI/CD pipelines.
- Perform functional, performance, stress, robustness, and security testing.
- Conduct hardware-in-the-loop (HIL) testing scenarios.
- Analyze verification and test results in depth.
- Identify root causes of complex defects.
- Collaborate with firmware and hardware engineers to resolve issues.
- Refine verification models and assumptions based on real product behavior.
- Evaluate and introduce new verification tools and techniques.
- Drive technical improvements in verification methodologies.
- Ensure security-related tasks are handled responsibly.
- Support security certification processes.
Work Experience
- 5 years
Education
- Master's degree
Languages
- English – Business Fluent
Tools & Technologies
- C
- Python
- Java
- Jenkins
- GitLab CI
- SPIN
- CBMC
- TLA+
Benefits
Flexible Working
- Home office
- Flexible working time
Free or Subsidized Food
- Meal benefits
Find the original job posting in its most current version here. Nejo automatically captured this job from the website of NXP Semiconductors Austria GmbH & Co KG and processed the information on Nejo with the help of AI for you. Despite careful analysis, some information may be incomplete or inaccurate. Please always verify all details in the original posting! Content and copyrights of the original posting belong to the advertising company.
Like this job?
BetaYour Career Agent finds similar jobs for you every day.
About the Company
NXP Semiconductors Austria GmbH & Co KG
Industry
Manufacturing
Description
The company provides secure payment and identification solutions for the Mobile, Infrastructure, and IoT market areas.
Not a perfect match?
- AT61 NXP Semiconductors Austria GmbH & Co KG
Firmware Verification Engineer(m/w/x)
Full-timeWith HomeofficeExperiencedGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Senior Firmware Engineer – Automotive NFC(m/w/x)
Full-timeWith HomeofficeSeniorGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Principal Embedded Software Engineer(m/w/x)
Full-timeWith HomeofficeExperiencedGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Embedded Security Engineer / Vulnerability Researcher (Embedded Systems)(m/w/x)
Full-timeWith HomeofficeNot specifiedGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Software Security Analyst(m/w/x)
Full-timeWith HomeofficeNot specifiedGratkorn