Arbetsbeskrivning

Veritaz is a leading IT staffing solutions provider in Sweden, committed to advancing individual careers and aiding employers in securing the perfect talent fit. With a proven track record of successful partnerships with top companies, we have rapidly grown our presence in the USA, Europe, and Sweden as a dependable and trusted resource within the IT industry.

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