> Markdown version of [/jobs/ext/4676755-software-engineer-safety-verification-8054-graz-job-id-brckivzg](https://www.wearedevelopers.com/jobs/ext/4676755-software-engineer-safety-verification-8054-graz-job-id-brckivzg). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

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

- **Company:** Siemens Personaldienstleistungen GmbH
- **Location:** Graz, Austria
- **Salary:** €54,600
- **Contract:** Permanent contract
- **Skills:** Artificial Intelligence, C Sharp (Programming Language), Python (Programming Language), Software Engineering, Toolchain, Information Technology
- **Published:** November 12, 2026
- **Apply:** https://jobroom.ams.or.at/jobsuche/FreieSucheVollanzeige.jsp?pk=4716115_23_6d39451e-aa72-49ec-8481-8b36069

## About the Role

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

## Description

* 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