Software Engineer Safety & Verification – Formale Methoden

Mental Health Group; Salzburg; Hybrid; EUR 40.000 - 47.000; Vollzeit

Benefits dieser Stelle

Gesundheit

Handy

Homeoffice

Kantine

Parkplatz

Weiterbildung

Zusammenfassung

SIEMENS Personaldienstleistungen (SPDL) sucht ab sofort eine*n Software Engineer (m/w/d) mit Schwerpunkt Formal Methods für die Überlassung an die Siemens AG Österreich in Graz. Vollzeit (38,5 h/Woche) mit attraktivem Bruttomonatsgehalt und starken Entwicklungschancen.

Sie arbeiten an der Weiterentwicklung der Verifikationssprache, formalen Spezifikationen und an innovativen Lösungen an der Schnittstelle von formalen Methoden und KI-gestütztem Engineering.

Qualifikationen

• Abgeschlossene höhere technische Ausbildung (TU/FH) im Bereich Informatik, Software Engineering oder vergleichbarer Fachrichtung.
• 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 hilfst dabei, sicherheitskritische Algorithmen formal zu verifizieren.
• Du konzipierst und implementierst formale Spezifikationen für industrielle Safety-Anwendungen und arbeitest mit Prädikaten, booleschen Ausdrücken sowie Vor- und Nachbedingungen.
• Du bringst deine Ideen in Forschungs- und Entwicklungsprojekte ein und gestaltest Lösungen an der Schnittstelle von formalen Methoden und KI-gestütztem Engineering.

Kenntnisse

Python

C#

Boolesche Algebra

Prädikatenlogik

Formale Spezifikationen

Deutschkenntnisse

Englischkenntnisse

SMT Solver

Z3 SMT Solver

Ausbildung

Höhere technische Ausbildung (TU/FH) Informatik/Software Engineering

Tools

Z3 SMT Solver

Jobbeschreibung

SIEMENS Personaldienstleistungen (SPDL) sucht ab sofort eine*n Software Engineer (m/w/d) mit Schwerpunkt Formal Methods für die Überlassung an die Siemens AG Österreich in Graz. Vollzeit (38,5 h/Woche) mit attraktivem Bruttomonatsgehalt und starken Entwicklungschancen.

Sie arbeiten an der Weiterentwicklung der Verifikationssprache, formalen Spezifikationen und an innovativen Lösungen an der Schnittstelle von formalen Methoden und KI-gestütztem Engineering.