Senior Formal Verification Engineer CPU group

Senior Formal Verification Engineer CPU group Overview

In the rapidly changing landscape of CPU verification, formal methods are becoming essential for driving innovative development. Arm’s CPU Group is on the lookout for experienced formal verification engineers who are eager to apply cutting-edge techniques and expand the possibilities of formal verification on pioneering designs. This role offers a unique chance to join a dedicated team focused on deploying formal verification for the next generation of CPU designs, allowing you to influence both design and verification decisions that will impact billions of devices globally.

Responsibilities

• Explore, develop, and implement advanced formal verification techniques on next-generation CPU projects.
• Collaborate closely with Arm’s formal verification experts to shape and execute high-quality verification strategies.
• Contribute to both the technical direction and hands-on execution of verification processes.

Requirements

• A minimum of 5 years of experience in verifying complex designs using formal verification methods.
• Strong engineering mindset with a passion for digital design verification and a keen interest in processors and digital systems.
• Excellent attention to detail and strong reasoning skills.
• Solid understanding of fundamental verification concepts, computer architecture, and microarchitectural design.
• Ability to convert abstract formal concepts into practical design verification solutions.
• Experience with industry-standard formal verification tools is preferred.
• Proficiency in scripting languages such as Python, Perl, Tcl, or Shell is advantageous.
• Familiarity with Arm architecture and AMBA protocols is a plus.
• Knowledge of advanced model-checking techniques and understanding of assume-guarantee reasoning, invariants, and abstractions is desirable.

Benefits

• Competitive salary range between £73,500 and £99,500 per year.
• Health and wellness programs to support physical and mental wellbeing.
• Flexible work-life balance options to enhance personal success.
• Financial rewards that extend beyond a competitive salary.
• Opportunities for professional and personal development within a supportive community.

Please note that no relocation package is available for this role. If skilled worker sponsorship is required, Arm will cover costs associated with sponsorship for the employer only. All fees related to the individual’s visa application and Immigration Health Surcharge will be the responsibility of the successful candidate.

Degree Requirement: Not Specified

Visa Sponsorship Promising