Formal Verification Engineer

Formal Verification Engineer Overview

Arm is seeking experienced formal verification engineers to join their Solutions Group in Cambridge, UK. In this role, you will be at the forefront of the rapidly evolving field of systems verification, utilizing formal methods to enable innovative development of next-generation designs. This is a unique chance to work with a passionate team dedicated to deploying formal verification techniques on groundbreaking projects that influence billions of devices worldwide.

Responsibilities

• Explore, develop, and implement sophisticated formal verification techniques tailored to cutting-edge projects.
• Work closely with Armâ??s top formal verification experts to shape and execute high-quality verification strategies.
• Contribute to both the technical direction and hands-on verification activities to ensure design integrity.
• Apply formal methods to verify complex digital designs, with a focus on processor architectures and microarchitectural components.
• Translate high-level formal verification concepts into practical, effective solutions that improve design quality and reliability.

Requirements

• At least five years of professional experience verifying complex digital designs using formal verification techniques.
• A strong engineering mindset with a passion for digital system verification, especially in processor and microarchitecture domains.
• Excellent attention to detail, strong reasoning skills, and a solid grasp of verification fundamentals.
• Deep understanding of computer architecture and microarchitectural design principles.
• Ability to convert abstract formal concepts into practical verification solutions.
• Experience with industry-standard formal verification tools is advantageous.
• Proficiency in scripting languages such as Python, Perl, Tcl, or Shell scripting.
• Familiarity with Arm architecture and AMBA protocols is a plus.
• Knowledge of advanced model-checking techniques, invariants, assume-guarantee reasoning, and abstractions is desirable.

Benefits

• Health and wellness programs supporting physical and mental wellbeing.
• Flexible hybrid working arrangements that promote work-life balance, with details tailored upon application.
• Competitive salary ranging from £55,300 to £74,800 per year, along with additional employee benefits.
• Opportunities for professional development and personal growth within a collaborative environment.
• An innovative office setting that values diversity, inclusion, and mutual respect.

Work Pattern

Hybrid working model, allowing flexibility in balancing face-to-face collaboration with remote work, depending on team and project needs.

Sponsorship Information

The job posting states that the company is likely to sponsor visas but does not explicitly confirm sponsorship availability. The UKVisaJobs database flags this role as likely to sponsor but not definitely sponsored.

Additional Information

Arm emphasizes its commitment to diversity, equity, and inclusion, offering a supportive environment for all employees. The company encourages applications from individuals with the right to work in the UK and supports flexible working arrangements to accommodate various needs. They also promote the use of AI in the application process for preparation purposes but require all responses to be authentic and reflective of the applicantâ??s own skills and experience.

To apply, candidates should follow the application process outlined on the companyâ??s careers page, and can contact [email protected] for any recruitment adjustments or support during the process.

Degree Requirement: Not Specified

Visa Sponsorship May be