AT61 NXP Semiconductors Austria GmbH & Co KG
Firmware Verification Engineer(m/w/x)
Vollzeitmit HomeofficeBerufserfahren
Gratkorn
Neuer Job?Nejo!
Dein persönlicher KI-Karriere-Agent
NXNXP Semiconductors Austria GmbH & Co KG
Senior Firmware Verification Engineer - Formal Methods(m/w/x)
Gratkorn
Vollzeitmit HomeofficeSenior
Nejo KI-Zusammenfassung
Developing formal models for embedded firmware behavior using NuSMV. Formal methods and embedded systems testing experience required. Home office, flexible working hours, meal benefits.
Anforderungen
- 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
Aufgaben
- 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.
Berufserfahrung
- 5 Jahre
Ausbildung
- Master-Abschluss
Sprachen
- Englisch – verhandlungssicher
Tools & Technologien
- C
- Python
- Java
- Jenkins
- GitLab CI
- SPIN
- CBMC
- TLA+
Benefits
Flexibles Arbeiten
- Home office
- Flexible working time
Gratis oder Vergünstigte Mahlzeiten
- Meal benefits
Die Originalanzeige dieses Stellenangebotes in der aktuellsten Version findest du hier. Nejo hat diesen Job automatisch von der Website des Unternehmens NXP Semiconductors Austria GmbH & Co KG erfasst und die Informationen auf Nejo mit Hilfe von KI für dich aufbereitet. Trotz sorgfältiger Analyse können einzelne Informationen unvollständig oder ungenau sein. Bitte prüfe immer alle Angaben in der Originalanzeige! Inhalte und Urheberrechte der Originalanzeige liegen beim ausschreibenden Unternehmen.
Gefällt dir diese Stelle?
BetaDein Career Agent findet täglich ähnliche Jobs für dich.
Noch nicht perfekt?
- AT61 NXP Semiconductors Austria GmbH & Co KG
Senior Firmware Engineer – Automotive NFC(m/w/x)
Vollzeitmit HomeofficeSeniorGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Principal Embedded Software Engineer(m/w/x)
Vollzeitmit HomeofficeBerufserfahrenGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Embedded Security Engineer / Vulnerability Researcher (Embedded Systems)(m/w/x)
Vollzeitmit HomeofficeKeine AngabeGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Software Security Analyst(m/w/x)
Vollzeitmit HomeofficeKeine AngabeGratkorn
NXNXP Semiconductors Austria GmbH & Co KG
Senior Firmware Verification Engineer - Formal Methods(m/w/x)
Gratkorn
Vollzeitmit HomeofficeSenior
Nejo KI-Zusammenfassung
Developing formal models for embedded firmware behavior using NuSMV. Formal methods and embedded systems testing experience required. Home office, flexible working hours, meal benefits.
Anforderungen
- 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
Aufgaben
- 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.
Berufserfahrung
- 5 Jahre
Ausbildung
- Master-Abschluss
Sprachen
- Englisch – verhandlungssicher
Tools & Technologien
- C
- Python
- Java
- Jenkins
- GitLab CI
- SPIN
- CBMC
- TLA+
Benefits
Flexibles Arbeiten
- Home office
- Flexible working time
Gratis oder Vergünstigte Mahlzeiten
- Meal benefits
Die Originalanzeige dieses Stellenangebotes in der aktuellsten Version findest du hier. Nejo hat diesen Job automatisch von der Website des Unternehmens NXP Semiconductors Austria GmbH & Co KG erfasst und die Informationen auf Nejo mit Hilfe von KI für dich aufbereitet. Trotz sorgfältiger Analyse können einzelne Informationen unvollständig oder ungenau sein. Bitte prüfe immer alle Angaben in der Originalanzeige! Inhalte und Urheberrechte der Originalanzeige liegen beim ausschreibenden Unternehmen.
Gefällt dir diese Stelle?
BetaDein Career Agent findet täglich ähnliche Jobs für dich.
Über das Unternehmen
NXP Semiconductors Austria GmbH & Co KG
Branche
Manufacturing
Beschreibung
The company provides secure payment and identification solutions for the Mobile, Infrastructure, and IoT market areas.
Noch nicht perfekt?
- AT61 NXP Semiconductors Austria GmbH & Co KG
Firmware Verification Engineer(m/w/x)
Vollzeitmit HomeofficeBerufserfahrenGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Senior Firmware Engineer – Automotive NFC(m/w/x)
Vollzeitmit HomeofficeSeniorGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Principal Embedded Software Engineer(m/w/x)
Vollzeitmit HomeofficeBerufserfahrenGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Embedded Security Engineer / Vulnerability Researcher (Embedded Systems)(m/w/x)
Vollzeitmit HomeofficeKeine AngabeGratkorn - AT61 NXP Semiconductors Austria GmbH & Co KG
Software Security Analyst(m/w/x)
Vollzeitmit HomeofficeKeine AngabeGratkorn