[Hiring] Software Engineer @Siemens Personaldienstleistungen GmbH

Role Description

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

Qualifications

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

Requirements

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

Benefits

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