Job
In dieser Rolle entwickelst du die Verifikationssprache und Toolchain weiter, verifizierst sicherheitskritische Algorithmen mithilfe von formalen Spezifikationen und arbeitest aktiv an innovativen Projekten mit KI und formalen Methoden.
Job-Technologien
Deine Rolle im Team
- 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.
Unsere Erwartungen an dich
Ausbildung
- Abgeschlossene höhere, technische Ausbildung (TU/FH) im Bereich Informatik, Software Engineering oder einer vergleichbaren Fachrichtung.
Qualifikationen
- Fundierte Programmierkenntnisse, idealerweise in Python und/oder C#.
- Interesse an boolescher Algebra, Prädikatenlogik und formalen Spezifikationen.
- Sehr gute Deutsch- und gute Englischkenntnisse.
Erfahrung
- Erfahrung mit formalen Methoden oder SMT-Solvern von Vorteil.
Unser Angebot
- 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.
Benefits
Work-Life-Integration
Mehr Netto
Themen, mit denen du dich im Job beschäftigst
Job-Standorte
Das ist dein Arbeitgeber
Die Siemens Personaldienstleistungen GmbH (SPDL) ist ein Tochterunternehmen der Siemens AG Österreich mit Sitz in Wien. Das Unternehmen vermittelt Personal an die Siemens-Gruppe sowie an externe Kunden in ganz Österreich.
- Etablierte Firma
- Onsite, Hybrid, Full Remote
- Personaldienstleistung
Weitere Jobs
Diese Jobs könnten dich auch interessieren
DEWETRON – messbar anders. Du willst Testautomatisierung aktiv vorantreiben, statt nur manuell zu testen? Du arbeitest gerne an komplexen Hard- und Softwaresystemen, die weltweit in der Entwicklung von E-Mobility, Aerospace und Energie eingesetzt werden...
Optimierung und Erweiterung vorhandener Kundensoftwaresysteme und -prozesse. Behebung von Incidents an Kundensoftwaresystemen lt. ITIL-Prozess. Konzeptionierung, Abschätzung, Entwicklung und Implementierung neuer Softwarefunktionen sowie laufende...
Mitarbeit bei der Entwicklung und Weiterentwicklung unserer Softwareprodukte. Analyse von Anforderungen sowie Spezifikation, technisches Design und Umsetzung neuer und bestehender Lösungen. Aktive Mitarbeit im Spec-Driven-Development-Prozess von der...
