17 beste Stellen als system engineer in steiermark – aktuell auf Personalsuche

Senior Firmware Verification Engineer (Formal Methods) (m/f/d)
NXP Semiconductors —Gratkorn, ST
- Vollzeit
- Master
Sales Engineer (m/w/d)
S&P Computersysteme GmbH —Graz, ST
- Vollzeit
Staff Hardware Engineer (f/m/d)
Renesas Electronics —Graz, ST
- Vollzeit
- Homeoffice
- Master
Direkt bewerben
TechLead Automotive Measurement - VCI (m/w/d)
AVL DiTEST GmbH —Graz, ST
Senior Product Security Engineer (m/w/d)
Vusion —Graz, ST
- Vollzeit
- Bachelor
Direkt bewerben
Data Platform Software Developer (m/w/d)
KNAPP AG —Hart bei Graz, ST
- Vollzeit
Sales Engineer Palettenfördertechnik (m/w/d)
KNAPP Systemintegration GmbH —Hart bei Graz, ST
- Vollzeit
Örtliche Bauaufsicht (ÖBA) – Semmering-Basistunnel
ILF Consulting Engineers —Graz, ST
Contract- & Claim Manager (w/m/d)
SSI SCHÄFER GMBH & CO KG —Graz, ST
- Vollzeit
Business Intelligence Consultant (m/w/d)
OMNINET Software-, System- und Projektmanagementtechnik GmbH —Leibnitz, ST
- Vollzeit
Örtliche Bauaufsicht (ÖBA) – Telematik/Semmering-Basistunnel
ILF Consulting Engineers —Graz, ST
8 Std.
Senior Therapy Sales Specialist Spinal (m/f/d) - Steiermark, Kärnten und Burgenland
Medtronic —Graz, ST
- Vollzeit
Product Security Incident Response Manager (m/f/d)
NXP Semiconductors —Gratkorn, ST
- Vollzeit
- Master
- Bachelor
Senior Electrical Engineer (w/m/d)
Easelink GmbH —Graz, ST
- Vollzeit
Direkt bewerben
Starte deine AVL Karriere in Graz/Steyr: Praktika für Studierende - jetzt bewerben!
AVL List GmbH —Graz, ST
- Teilzeit
- Praktikum
Digital Design Architect – Silicon IC (f/m/d)
Renesas Electronics —Graz, ST
- Vollzeit
- Homeoffice
- Master
- Bachelor
Direkt bewerben
Örtliche Bauaufsicht (ÖBA) – Telematik/Semmering-Basistunnel
ILF Beratende Ingnieure —Graz, ST
5 Std.

More jobs to discover

Find similar jobs that you might be interested in.

Sales Engineer (m/w/d)
S&P Computersysteme GmbH —Graz, ST
Unterstützung des Vertriebsteams bei der Erstellung von Angeboten und technischen Lösungen basierend auf Kundenanforderungen und Unterstützung im…
Sales Engineer Palettenfördertechnik (m/w/d)
KNAPP Systemintegration GmbH —Hart bei Graz, ST
Du leitest Gespräche/Workshops mit unseren potenziellen Kunden und KNAPP-KollegInnen und bekommst ein klares Bild über die erforderlichen logistischen Prozesse…

Ich möchte aktuelle Job-E-Mails für Stellen als system engineer in steiermark erhalten

Wenn Sie sich bei Ihrem Konto anmelden, stimmen Sie den Nutzungsbedingungen, den Richtlinien zur Verwendung von Cookies sowie der Datenschutzerklärung von SimplyHired zu.

Weitere Job-Standorte erkunden

system engineer jobs near steiermark

Senior Firmware Verification Engineer (Formal Methods) (m/f/d)

NXP Semiconductors -
Gratkorn, ST

Jetzt bewerben

Details zur Stelle

Vollzeit

Qualifikationen

Master

Vollständige Stellenbeschreibung

We are looking for a Senior Firmware Verification Engineer with deep expertise in Formal Methods to play a key hands‑on role in strengthening our firmware verification capabilities. This position is highly technical and execution‑focused: you will personally design, implement, and apply advanced verification techniques to ensure the reliability, correctness, and security of embedded firmware across multiple hardware platforms. You will work at the boundary between formal theory and real systems, turning abstract models into practical, automated verification solutions used in production.

What You’ll Do

Design, implement, and maintain model-based and formal verification frameworks using symbolic model checking tools such as NuSMV .
Develop formal models of embedded firmware behavior and use them to drive model checking, test generation, and coverage analysis .
Create and execute automated verification and test pipelines for embedded firmware across different hardware architectures.
Integrate Model-Based Testing (MBT) and formal verification flows into CI/CD pipelines to enable continuous, repeatable quality assurance.
Perform hands-on functional, performance, stress, robustness, and security testing , including hardware-in-the-loop (HIL) scenarios.
Analyze verification and test results in depth, identify root causes of complex defects, and work closely with firmware and hardware engineers to resolve them.
Continuously refine verification models, assumptions, and tooling based on real product behavior and field feedback.
Drive technical improvements in verification methodologies by evaluating and introducing new tools, techniques, and best practices—remaining directly involved in implementation.

What We’re Looking For

Master’s degree (or equivalent experience) in Computer Engineering, Computer Science , or a related field.
Minimum of 5 years of hands-on professional experience in firmware verification, embedded systems testing, or formal verification in an industrial setting.
Strong theoretical background in formal methods and computer science , including temporal logic, equivalence relations, 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 verification tooling and automation.
Ability to independently tackle complex technical problems and translate formal concepts into executable verification artifacts.
High attention to detail, strong analytical thinking, and a practical, engineering-driven mindset.

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 for embedded or firmware projects.
Experience with additional formal verification tools or frameworks ( SPIN, CBMC, TLA+ , etc.).
Exposure to safety- or security-critical systems where rigorous verification is required.

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.

For applications in Gratkorn: 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 V. 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

Jetzt bewerben

Erweiterte Suche

system engineer Jobs in steiermark

Senior Firmware Verification Engineer (Formal Methods) (m/f/d)

Sales Engineer (m/w/d)

Staff Hardware Engineer (f/m/d)

TechLead Automotive Measurement - VCI (m/w/d)

Senior Product Security Engineer (m/w/d)

Data Platform Software Developer (m/w/d)

Sales Engineer Palettenfördertechnik (m/w/d)

Örtliche Bauaufsicht (ÖBA) – Semmering-Basistunnel

Contract- & Claim Manager (w/m/d)

Business Intelligence Consultant (m/w/d)

Örtliche Bauaufsicht (ÖBA) – Telematik/Semmering-Basistunnel

Senior Therapy Sales Specialist Spinal (m/f/d) - Steiermark, Kärnten und Burgenland

Product Security Incident Response Manager (m/f/d)

Senior Electrical Engineer (w/m/d)

Starte deine AVL Karriere in Graz/Steyr: Praktika für Studierende - jetzt bewerben!

Digital Design Architect – Silicon IC (f/m/d)

Örtliche Bauaufsicht (ÖBA) – Telematik/Semmering-Basistunnel

More jobs to discover

Ich möchte aktuelle Job-E-Mails für Stellen als system engineer in steiermark erhalten

Related Searches

Weitere Job-Standorte erkunden

What You’ll Do

What We’re Looking For

Nice to Have

Tools für Jobsuchende

Arbeitgebertools

Durchsuchen

Bleiben Sie in Kontakt