Job
- Level
- Experienced
- Location
- Graz
- Working Model
- Onsite
- Job Field
- Software, Test/QA
- Employment Type
- Full Time
- Contract Type
- Permanent employment
- Salary
- from 3.900 € gross/month
Job Summary
In this role, you will develop the verification language and toolchain, formally verify safety-critical algorithms using formal specifications, and actively contribute to innovative projects involving AI and formal methods.
Job Technologies
Your role in the team
- You continuously develop the internal verification language and toolchain and help to formally verify safety-critical algorithms instead of just 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 preconditions and postconditions.
- You actively contribute your ideas to research and development projects and shape innovative solutions at the intersection of formal methods and AI-driven engineering.
This text has been machine translated. Show original
Our expectations of you
Education
- Completed higher technical education (TU/FH) in the field of computer science, software engineering, or a comparable discipline.
Qualifications
- Solid programming skills, ideally in Python and/or C#.
- Interest in Boolean algebra, predicate logic, and formal specifications.
- Very good German and good English skills.
Experience
- Experience with formal methods or SMT solvers is an advantage.
This text has been machine translated. Show original
What we offer
- Depending on the specific qualification and professional experience, a gross monthly salary of at least EUR 3,900 is envisaged (which in any case exceeds the collective agreement minimum salary).
- We will agree on the final salary arrangement during a personal interview.
- As part of an internationally operating conglomerate, we offer you interesting career prospects and training opportunities with a variety of options to make the most of your potential.
This text has been machine translated. Show original
Benefits
Work-Life-Integration
Higher Take-Home Pay
Topics You Will Work On
Job Locations
About Your Employer
Siemens Personaldienstleistungen GmbH
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.
Description
- Company Type
- Established Company
- Working Model
- Full Remote, Hybrid, Onsite
- Industry
- Recruitment Agency
Software Engineer Safety & Verification
- Salary
- from 3.900 € gross/monthEstimated net salary based on the gross salary in the job ad.from 2.676 € net/month
- Location
- Graz
- Working Model
- Onsite
- Diversity
- Open for all genders
