Software Engineer Safety & Verification - 8054 Graz, Job-ID: brckivzg

• 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

• 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
• Gute Deutsch- und 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äches.

Das Mindestentgelt für die Stelle als Software Engineer (m/w/d) Safety & Verification - 8054 Graz, Job-ID: brckivzg beträgt 3.900,00 EUR brutto pro Monat auf Basis Vollzeitbeschäftigung.

Auftragsnummer: 17375329

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.