Formal Verification Engineer
ARM Sweden AB / Datajobb / Lund
2025-09-19
Visa alla datajobb i Lund,
Lomma,
Staffanstorp,
Burlöv,
Kävlinge eller i
hela Sverige Visa alla jobb hos ARM Sweden AB i Lund Are you looking for an exciting role in a team working on the cutting edge of GPU technology? Maybe looking to use your technical and leadership skills to help drive your career? In the GPU Team you will work alongside the best engineers in the world, making outstanding products for the most successful companies!
Collaborating with experts across global design centers, you'll drive impactful projects and help deliver Arm's next-generation IP using the most sophisticated tools and methodologies.
Job Description:
GPU HW Team in Lund (Sweden), has an extraordinary opportunity for a highly motivated and experienced Verification Engineer to join our expanding GPU HW team and embark on the development journey of one of the world's most sophisticated GPU designs.
You will be acting as a key verification stakeholder in our HW development team. You will be involved in developing formal test benches by deploying formal properties verification techniques to ensure our modules are verified according to the top-notch industry standards. You are comfortable and confident taking ownership of complex work packages and driving them to closure and success.
Responsibilities:
You'll be responsible for adopting new methodologies to improve how we do IP verification in collaboration with other experienced engineers across our team. Your main day-to-day responsibilities will be:
Full ownership and execution of IP verification work package from the test planning phase to project closure.
Keeping verification environments up to date with the latest methodology and adopting new tools for maintaining a high level of code quality.
Good understanding of verification principles, strategies and techniques.
Eye for details, ensuring high-quality verification and minimizes bug escapes.
Proficient user of version control, test management and issue tracking tools.
Continuously improving the verification effort by keeping a keen eye on collected metrics, employing data science where possible to get the most out of each spent CPU cycle.
Required Skills and Experience:
Minimum 10 years of experience verifying sophisticated designs using formal properties verification techniques.
Experienced with formal engines and tools (i.e. Cadence Jasper Gold).
Good interpersonal skills and ability to efficiently work as part of a highly collaborative team.
Proactive, curious and high reaching, thriving in the multifaceted working environment.
Ready to raise both personal and team performance bar.
"Nice To Have" Skills and Experience:
Shown experience in block-level verification using UVM or similar methodologies.
Experience with git/gerrit
Experience with scripting (Linux, Python).
Skilled in planning verification tasks and producing realistic effort and time estimates.
Experience with Functional Safety aspects of Design / Verification, knowledge of ISO 26262
Experience with Cyber Security, knowledge of ISO 21434
Så ansöker du Sista dag att ansöka är 2025-10-31
Klicka på denna länk för att göra din ansökan E-post:
lena.sarnblom@arm.com Omfattning Detta är ett heltidsjobb.
Arbetsgivare Arm Sweden AB (org.nr 556715-4868),
https://careers.arm.com/ Emdalavägen 6 (
visa karta)
223 69 LUND
Jobbnummer 9517585