Formal Verification Engineer

Job Title

Formal Verification Engineer

Role Summary

Senior verification engineer joining the GPU hardware team in Lund. Serve as a key verification stakeholder responsible for developing and executing formal verification work packages and formal testbenches to ensure module correctness for next-generation GPU IP.

Work collaboratively with global engineering teams to adopt formal methodologies, maintain verification environments, and drive verification quality and delivery.

Experience Level

Senior — requires substantial experience; the role specifies a minimum of 10 years verifying sophisticated designs using formal properties verification techniques.

Responsibilities

Accountable for planning, executing and delivering formal verification activities for assigned IP blocks. Typical responsibilities include:

• Own verification work packages from test planning through closure.
• Develop formal testbenches and encode formal properties for block-level verification.
• Maintain and update verification environments and adopt new tools and methodologies.
• Ensure high code and verification quality; reduce bug escapes through rigorous checks.
• Use version control, test management and issue-tracking tools to manage work.
• Monitor verification metrics and apply data-driven improvements to resource usage and coverage.
• Collaborate with cross-site teams to integrate verification results and resolve issues.

Requirements

Must-have skills and experience for immediate effectiveness in this role:

• Minimum 10 years' practical experience applying formal properties verification techniques to complex designs.
• Proven experience with formal engines/tools (example: Cadence JasperGold).
• Strong understanding of verification principles, strategies and techniques.
• Proficient with version control, test management and issue-tracking systems.
• Effective interpersonal and collaboration skills; able to work in a distributed team.
• Proactive, detail-oriented, and able to drive work packages to completion.

Nice-to-have:

• Block-level verification experience using UVM or similar methodologies.
• Experience with git/gerrit and scripting (Linux, Python).
• Experience estimating and planning verification tasks.
• Familiarity with Functional Safety (ISO 26262) or Cyber Security (ISO 21434) considerations.

Education Requirements

Not specified.

About the Company

Company: Arm

Headquarters: Cambridge, United Kingdom

ARM is a global leader in semiconductor and software design, driving innovation in computing technology. The company specializes in designing processors and systems that provide the essential building blocks for electronic devices. ARM's architecture is widely used in smartphones, servers, and IoT devices, and its collaborative culture fosters bold thinking, diversity, and high-impact benefits for its talented workforce.