Safety & Verification Engineer — Formal Methods, Remote

Siemens AG Österreich; Graz; Vor Ort; EUR 40.000 - 47.000; Vollzeit

Benefits dieser Stelle

Homeoffice

Kantine

Parkplatz

Weiterbildung

Gesundheit

Handy

Zusammenfassung

Siemens AG Österreich in Graz sucht Software Engineer (m/w/d) mit Schwerpunkt Safety & Verification zur Verstärkung eines agilen Entwicklungsteams. Du arbeitest an sicherheitskritischen Softwarelösungen und entwickelst Verifikationswerkzeuge sowie formale Spezifikationen.

Du bringst ein abgeschlossenes technisches Studium, fundierte Python- und C#-Kenntnisse sowie Interesse an formalen Methoden mit. Wir bieten spannende Karrierechancen in einer international tätigen Gruppe, flexible

Qualifikationen

• Abgeschlossen Höhere technische Ausbildung (TU/FH) im Bereich Informatik, Software Engineering oder vergleichbar.
• Fundierte Programmierkenntnisse, idealerweise in Python und/oder C#.
• Interesse an boolescher Algebra, Prädikatenlogik und formalen Spezifikationen.
• Erfahrung mit formalen Methoden oder SMT-Solvern von Vorteil.
• Sehr gute Deutsch- und gute Englischkenntnisse.

Aufgaben

• Du entwickelst die interne Verifikationssprache und Toolchain weiter und verifizierst sicherheitskritische Algorithmen formal.
• Du konzipierst und implementierst formale Spezifikationen für industrielle Safety-Anwendungen.
• Du bringst Ideen in Forschungs- und Entwicklungsprojekte ein und gestaltest innovative Lösungen an der Schnittstelle von formalen Methoden und KI-gestütztem Engineering.

Kenntnisse

Python

C#

Formal methods

SMT solver

Deutschkenntnisse

Ausbildung

TU/FH Informatik

Tools

Z3 SMT Solver

Jobbeschreibung

Siemens AG Österreich in Graz sucht Software Engineer (m/w/d) mit Schwerpunkt Safety & Verification zur Verstärkung eines agilen Entwicklungsteams. Du arbeitest an sicherheitskritischen Softwarelösungen und entwickelst Verifikationswerkzeuge sowie formale Spezifikationen.

Du bringst ein abgeschlossenes technisches Studium, fundierte Python- und C#-Kenntnisse sowie Interesse an formalen Methoden mit. Wir bieten spannende Karrierechancen in einer international tätigen Gruppe, flexible