> Markdown version of [/jobs/ext/3030972-software-engineer-safety-verification](https://www.wearedevelopers.com/jobs/ext/3030972-software-engineer-safety-verification). 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

- **Company:** Siemens Personaldienstleistungen GmbH
- **Location:** Graz, Austria (Remote available)
- **Salary:** €54,600.0
- **Contract:** Permanent contract
- **Skills:** Artificial Intelligence, C Sharp (Programming Language), Python (Programming Language), Software Engineering, Software Systems, Toolchain, Information Technology
- **Published:** September 23, 2026
- **Apply:** https://www.karriere.at/bewerben/backend/apply/7880956

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

## Description

Du begeisterst dich für komplexe Fragestellungen, denkst analytisch und möchtest an innovativen Softwarelösungen für sicherheitskritische Anwendungen arbeiten? Dann werde Teil dieses agilen Entwicklungsteams!, * 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


## Related Videos

- [Speeding up Web Apps performance with WebAssembly and Emscripten](https://www.wearedevelopers.com/videos/1985-speeding-up-web-apps-performance-with-webassembly-and-emscripten)
- [Rethinking Intelligence: AI, Accessibility, and the Future of Inclusive Work - Artur Ortega](https://www.wearedevelopers.com/videos/1377-rethinking-intelligence-ai-accessibility-and-the-future-of-inclusive-work-artur-ortega)
- [The Avengers Initiative (Practical Ethics for Software Engineers)](https://www.wearedevelopers.com/videos/2070-the-avengers-initiative-practical-ethics-for-software-engineers)
- [Breaking Silos: Successful Collaboration Between Tech & Business Teams in Complex Enterprise Systems](https://www.wearedevelopers.com/videos/1623-breaking-silos-successful-collaboration-between-tech-business-teams-in-complex-enterprise-systems)
- [The Power of Developer Communities](https://www.wearedevelopers.com/videos/1109-the-power-of-developer-communities)
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)

## Related Articles

- [Austria – the most livable place for software developers?](https://www.wearedevelopers.com/magazine/20-austria-the-most-livable-place-for-software-developers)
- [Top-Paying Tech Jobs (with Salaries)](https://www.wearedevelopers.com/magazine/372-top-paying-tech-jobs-with-salaries)
- [The 12 Best Jobs for Software Engineers](https://www.wearedevelopers.com/magazine/401-the-12-best-jobs-for-software-engineers)
- [The Most Popular IT Jobs on the Market](https://www.wearedevelopers.com/magazine/376-the-most-popular-it-jobs-on-the-market)
- [IT Salaries in Germany](https://www.wearedevelopers.com/magazine/287-it-salaries-in-germany)
- [IT Salaries in Austria](https://www.wearedevelopers.com/magazine/286-it-salaries-in-austria)