Senior Verification and Software Engineer - 14215

This post is also available in: Svenska (Swedish)

Assignment Description:

We are looking for a Senior Verification and Software Engineer to join our dynamic team.

What you will work on:

Collaborate within a close-knit agile team of five, working closely with the Product Owner and Unit Leader.
Focus initially on formal verification of safety-critical software by analyzing requirements to define pre- and post-conditions that contribute to proof creation.
Contribute to the design, development, testing, and integration of software components within autonomous driving systems.
Ensure compliance with safety standards such as ISO 26262 and participate in continuous improvement of verification and validation processes.
Engage in cross-functional collaboration to ensure reliable, high-quality embedded software delivery.

What you bring:

Proven experience with ADA Spark and formal verification techniques.
Strong understanding of ISO 26262 safety standards and their application in software development.
Proficiency in C++ and Python programming, with solid knowledge of software design patterns and architecture principles.
Experience working in agile development environments and collaborating with cross-functional teams.
Hands-on experience in embedded software development, preferably in production code.
Meritorious experience from the automotive industry and large-scale software engineering processes including design, testing, delivery, and quality management.
Self-driven, proactive mindset with the ability to handle complex environments and multiple stakeholders.
Strong problem-solving skills and willingness to take ownership of critical components that impact vehicle production

If this sounds interesting, please send your CV to cv@veritaz.se

Senior Verification and Software Engineer – 14215