Software Engineer (m/w/d) Safety & Verification

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

Bei SIEMENS Personaldienstleistungen (SPDL), einer Tochtergesellschaft der Siemens AG Österreich, erwartet Sie ein spannendes Arbeitsumfeld mit über 25 Jahren Erfahrung. Wir bieten anspruchsvolle Aufgaben innerhalb der vielfältigen Siemens-Gruppe sowie bei unseren namhaften Kund:innen in ganz Österreich. Wir glauben an faire Chancen, kulturelle Vielfalt und gemeinsame Erfolge.

Wir suchen ab sofort für die Überlassung an unseren Kunden in Graz, die Siemens AG Österreich, eine:n Software Engineer (m/w/d) mit Schwerpunkt Formal Methods. (Vollzeit für 38,5 h/Woche)

Du begeisterst dich für komplexe Fragestellungen, denkst analytisch und möchtest an innovativen Softwarelösungen für sicherheitskritische Anwendungen arbeiten? Dann werde Teil dieses agilen Entwicklungsteams!

Deine Aufgaben

• Du entwickelst die interne Verifikationssprache und Toolchain kontinuierlich weiter und hilfst dabei, sicherheitskritische Algorithmen formal zu verifizieren, anstatt sie ausschließlich zu testen (Python, Z3 SMT Solver)
• 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 aktiv in Forschungs- und Entwicklungsprojekte ein und gestaltest innovative Lösungen an der Schnittstelle von formalen Methoden und KI-gestütztem Engineering

Deine Qualifikation

• Abgeschlossene höhere, technische Ausbildung (TU/FH) im Bereich Informatik, Software Engineering oder einer vergleichbaren 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

Deine Perspektive

Je nach konkreter Qualifikation und Berufserfahrung ist ein Bruttomonatsgehalt von mindestens EUR 3.900,- vorgesehen (dieses übersteigt jedenfalls das kollektivvertragliche Mindestgehalt). Die letztgültige Gehaltsvereinbarung treffen wir im Rahmen eines persönlichen Gesprächs. Als Teil eines international agierenden Großkonzerns bieten wir dir interessante berufliche Perspektiven und Weiterbildungsoptionen mit vielseitigen Möglichkeiten, dein Potenzial optimal zum Einsatz zu bringen.

Kontakt: Elisabeth Trummer
Tel.: [phone]

Ihre Vorteile

• Gesundheit
• Handy
• Homeoffice
• Kantine
• Parkplatz
• Weiterbildung