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

• 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
• Sehr gute Deutsch- und gute Englischkenntnisse

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.

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.

Wenn du Interesse an dieser herausfordernden und abwechslungsreichen Position hast, dann freuen wir uns auf deine aussagekräftige Online Bewerbung!

Kontakt: Elisabeth Trummer
Tel.: 0664 8855 9005