🎁 Before you apply, rehearse this interview. Create your free WorkMundi account and get an Interview Training on HelpsYouSpeak — no cost, no card. I want my training →
Firmware Verification Engineer Experience: Not Available to Not Available years Location: Gratkorn Skills: Formal Methods, model-based verification, symbolic model checking, NuSMV, automated test plans, embedded firmware, Model-Based Testing, CI/CD, functional testing, performance testing, stress testing, security testing, hardware-in-the-loop simulations, C, Python, Java, automated test generation, coverage analysis, Jenkins, GitLab CI, formal verification tools, SPIN, CBMC, TLA+ Company Overview 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. Youll work at the intersection of theory and practice, applying formal models and automated testing to deliver products that meet the highest industry standards. What Youll 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 Were Looking for: Masters degree in Computer Engineering, Computer Science, or a related field. Robust 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. For more information visit our Career Website or our NXP Austria Website and follow us on social: LinkedIn, Facebook (Global), Facebook (Austria) and Twitter. 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 fr 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. More information about NXP in Austria. #LI-a8a1 .
Here's how to pick the right one and stand out in your application.
144.883Jobs
31.687IN
81%EN
That number is real. WorkMundi's database shows 144,883 open engineer roles across the world. India has the most with 31,687 jobs, followed by the United States with 30,084. If you just finished reading one job ad and felt paralyzed by choice, you're not alone—but this scale is actually an advantage. It means you can afford to be selective.
Start by geography and language. The majority of engineer ads—117,837 of them—have the job posting text written in English. Use that as one filter, but remember: the ad text language tells you nothing about whether the role actually requires you to speak English day-to-day. Read the job description carefully. Then check which countries have the volume you're targeting. Singapore, Poland, and Australia round out the top five after India and the US.
Next, learn who's hiring. Accenture has posted 2,801 engineer roles. andurilindustries, speechify, and jobgether are also actively recruiting. If you're applying to one of these names, research their hiring patterns and interview style before you apply. That homework pays off.
When you interview, expect the question every engineer hears: 'Tell me about a time you had to debug a problem that wasn't in your job description.' Have a specific story ready—not a general one. Name the tools, the deadline pressure, and what you learned. Hiring managers listen for whether you see problem-solving as part of the role itself, not a favour.