Job
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.
This listing has been machine translated. Show original
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.
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.
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.
Benefits
Work-Life-Integration
Higher take-home pay
Topics you will work on
Job locations
About your employer
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.
- Established Company
- Onsite, Hybrid, Full Remote
- Recruitment Agency
More jobs
These jobs might also interest you
DEWETRON – measurable differently. Do you want to actively drive test automation instead of just manual testing? Do you enjoy working on complex hardware and software systems used worldwide in the development of e-mobility, aerospace, and energy, and...
Optimization and expansion of existing customer software systems and processes. Resolution of incidents in customer software systems in accordance with the ITIL process. Conceptualization, estimation, development, and implementation of new software...
Contribute to the development and ongoing enhancement of our software products. Analysis of requirements, as well as specification, technical design, and implementation of new and existing solutions. Active participation in the Spec-Driven Development...
