Software Engineer (m/w/d) Safety & Verification - 8054 Graz, Job-ID: brckivzg

Austria | Oct. 5, 2026

Report as Closed

Company: Siemens Personaldienstleistungen

Country: Austria

Type: Onsite

Employment: Contract

Description: At SIEMENS Personnel Services (SPDL), a subsidiary of Siemens AG Austria, you can expect an exciting working environment with over 25 years of experience. We offer challenging tasks within the diverse Siemens Group as well as with our well-known customers throughout Austria. We believe in fair opportunities, cultural diversity and shared success.

We are now looking for a Software Engineer (m/f/d) with a focus on Formal Methods to be transferred to our customer in Graz, Siemens AG Austria. (Full-time for 38.5 hours/week)

Are you enthusiastic about complex issues, think analytically and would you like to work on innovative software solutions for safety-critical applications? Then become part of this agile development team! 1 Software Engineer (m/f/d) Safety & Verification - 8054 Graz, Job ID: brckivzg

Your tasks

* You continuously develop the internal verification language and toolchain and help to formally verify safety-critical algorithms instead of exclusively testing them (Python, Z3 SMT Solver)

* You design and implement formal specifications for industrial safety applications and work with predicates, Boolean expressions as well as pre- and post-conditions

* You actively contribute your ideas to research and development projects and design innovative solutions at the interface of formal methods and AI-supported engineering

Your qualifications

* Completed higher technical education (TU/FH) in the field of computer science, software engineering or a comparable Specialization

* Sound programming knowledge, ideally in Python and/or C#

* Interest in Boolean algebra, predicate logic and formal specifications

* Experience with formal methods or SMT solvers is an advantage

* Good knowledge of German and English

Your perspective

Depending on your specific qualifications and professional experience, a gross monthly salary of at least is required EUR 3,900 is provided (this in any case exceeds the minimum salary stipulated in the collective agreement). We make the final salary agreement during a personal interview.

As part of a large, internationally operating corporation, we offer you interesting career prospects and further training options with a wide range of opportunities to make the most of your potential.

How do I apply?

If you are interested in this challenging and varied position, then we look forward to receiving your meaningful online application!

Link to the online application:

https://spdl.onlyfy.jobs/application/de/apply/99usiohgb7q4vj19v31plqddcnh0ra

Employer: Siemens Personaldienste GmbH, Straßgangerstraße 315, 8054 Graz, https://www.siemens.at/spdl This The minimum salary for the position as Software Engineer (m/f/d) Safety & Verification - 8054 Graz, job ID: brckivzg is EUR 3,900.00 gross per month based on full-time employment.

Apply here:

Web: Apply here

Emails: