Safety & Verification Engineer — Formal Methods, Remote

Siemens AG Österreich; Graz; Presencial; EUR 40 000 - 47 000; Tempo integral

Vantagens oferecidas por esta oferta de emprego

Homeoffice

Kantine

Parkplatz

Weiterbildung

Gesundheit

Handy

Resumo da oferta

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

Qualificações

• 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.

Responsabilidades

• 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.

Conhecimentos

Python

C#

Formal methods

SMT solver

Deutschkenntnisse

Formação académica

TU/FH Informatik

Ferramentas

Z3 SMT Solver

Descrição da oferta de emprego

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