Senior Firmware Verification Engineer (Formal Methods)

TL;DR

Senior Firmware Verification Engineer (Formal Methods/Embedded): Designing and implementing advanced verification techniques to ensure the reliability and security of embedded firmware with an accent on symbolic model checking and automated verification pipelines. Focus on turning abstract formal models into practical production solutions and integrating Model-Based Testing into CI/CD.

Location: Gratkorn, Austria (Hybrid/Home office options available)

Company

hirify.global is a world leader in secure connectivity solutions for embedded applications, serving automotive, industrial, IoT, and mobile markets.

What you will do

• Design, implement, and maintain formal verification frameworks using symbolic model checking tools such as NuSMV.
• Develop formal models of embedded firmware to drive model checking, test generation, and coverage analysis.
• Create and execute automated verification and test pipelines across different hardware architectures.
• Integrate Model-Based Testing (MBT) and formal verification flows into CI/CD pipelines.
• Perform functional, performance, stress, robustness, and security testing, including hardware-in-the-loop (HIL) scenarios.
• Analyze complex defects and collaborate with firmware and hardware engineers to resolve root causes.

Requirements

• Master's degree in Computer Engineering, Computer Science, or a related field.
• Minimum of 5 years of professional experience in firmware verification, embedded systems testing, or formal verification.
• Strong theoretical background in formal methods, including temporal logic and algorithmic complexity.
• Proven hands-on experience applying formal verification or model-based testing to real embedded systems.
• Strong programming skills in C (for embedded firmware) and Python and/or Java (for tooling and automation).
• Must be based in or able to work from Gratkorn, Austria.

Nice to have

• Experience with automated test generation, mutation testing, or coverage-driven verification.
• Familiarity with CI/CD environments such as Jenkins or GitLab CI.
• Experience with formal verification tools like SPIN, CBMC, or TLA+.
• Exposure to safety- or security-critical systems.

Culture & Benefits

• Market competitive compensation aligned with the semiconductor industry.
• Flexible working arrangements including home office and flexible working hours.
• Meal benefits and other corporate perks.
• Extensive career development via online and offline learning opportunities.
• Inclusive work environment with a strong commitment to diversity and equality.