Senior Formal Verification Engineer - Shape Designs

Arm; Cambridge; Hybrid; GBP 55,000 - 75,000; Full time

Job summary

Arm’s Solutions Group in Cambridge is seeking experienced formal verification engineers who can apply modern techniques to groundbreaking designs and influence both design and verification decisions.

You will explore, develop, and deploy formal verification strategies, working with Arm’s leading experts to shape technology powering billions of devices worldwide. This hybrid role offers a balance of hands-on work and collaboration.

Qualifications

• Minimum 5 years of experience in formal verification of complex designs.
• Strong engineering mindset and passion for digital verification.
• Solid understanding of computer architecture and microarchitecture.

Responsibilities

• Explore, develop and deploy formal verification techniques on next-generation projects.
• Collaborate with Arm's leading experts to shape verification strategies.
• Translate complex verification concepts into practical design verification solutions.

Skills

Formal verification

5+ years experience

Digital design mindset

Attention to detail

Tools

Industry-standard formal verification tools

Job description

Arm’s Solutions Group in Cambridge is seeking experienced formal verification engineers who can apply modern techniques to groundbreaking designs and influence both design and verification decisions.

You will explore, develop, and deploy formal verification strategies, working with Arm’s leading experts to shape technology powering billions of devices worldwide. This hybrid role offers a balance of hands-on work and collaboration.