Sr Formal Verification Engineer

Arm; Cambridge; Hybrid; GBP 60,000 - 80,000; Full time

Job summary

A leading technology company in Cambridge is seeking a Formal Verification Engineer to apply formal methods to CPUs. In this role, you'll develop and deploy new verification techniques while working closely with experts and industry tools. Ideal candidates will have 5+ years' experience in formal verification and a relevant degree. This position offers a hybrid working model and the chance to influence millions of devices.

Qualifications

• Minimum 5 years of experience verifying sophisticated designs using formal properties verification techniques.
• An engineering mentality and passion for digital design verification.
• Ability to understand and map abstract formal concepts into designs.

Responsibilities

• Investigate, create, develop and deploy Formal Verification techniques on live projects.
• Use the industry’s best available tools and work alongside Arm’s formal experts.

Skills

Formal properties verification techniques

Attention to detail

Computer architecture understanding

Scripting languages (Python/Perl/TCL)

Education

Bachelor’s degree in Electronic Engineering, Computer Engineering, Computer Science or relevant STEM subject

Tools

Industry-standard formal verification tools

Job description

Job Overview:

You will apply Formal Methods to CPUs developed across the Cambridge and Chandler design centres, with the opportunity to collaborate with our global Formal Teams across Arm.

Responsibilities:

The role entails investigating, creating, developing and deploying new Formal Verification techniques on live projects. You will use the industry’s best available tools and be in close contact with EDA tool vendors. You will work alongside Arm’s brightest formal experts to plan and implement Formal Verification to exceptional quality.

Required skills and experience:

• Minimum 5 years of experience verifying sophisticated designs using formal properties verification techniques
• An engineering mentality and passion for digital design verification, excellent attention to detail and reasoning skills
• Understanding of fundamental verification concepts, computer architecture, micro-architectural concepts
• Ability to understand and map abstract formal concepts into designs

"Nice to have" skills and experience:

• Familiarity with industry-standard formal verification tools
• Proficiency in scripting languages, e.g. Python/Perl/TCL
• Proficiency in shell programming/scripting
• Familiarity with Arm architecture and instruction set
• Familiarity with model-checking techniques
• Exposure to invariants and abstractions
• Understanding of assume-guarantee reasoning
• Bachelor’s degree in Electronic Engineering, Computer Engineering, Computer Science or another relevant subject. Other STEM degree types may also be considered.

In return:

You will get to utilise your engineering skills to build support for the technologies and influence millions of devices for years to come.

Accommodations at Arm:

At Arm, we want to build extraordinary teams. If you need an adjustment or an accommodation during the recruitment process, please email [e-mail]. To note, by sending us the requested information, you consent to its use by Arm to arrange for appropriate accommodations. All accommodation or adjustment requests will be treated with confidentiality, and information concerning these requests will only be disclosed as necessary to provide the accommodation. Although this is not an exhaustive list, examples of support include breaks between interviews, having documents read aloud, or office accessibility. Please email us about anything we can do to accommodate you during the recruitment process.

Hybrid Working at Arm:

Arm’s approach to hybrid working is designed to create a working environment that supports both high performance and personal wellbeing. We believe in bringing people together face to face to enable us to work at pace, whilst recognizing the value of flexibility. Within that framework, we empower groups/teams to determine their own hybrid working patterns, depending on the work and the team’s needs. Details of what this means for each role will be shared upon application. In some cases, the flexibility we can offer is limited by local legal, regulatory, tax, or other considerations, and where this is the case, we will collaborate with you to find the best solution. Please talk to us to find out more about what this could look like for you.

Equal Opportunities at Arm:

Arm is an equal opportunity employer, committed to providing an environment of mutual respect where equal opportunities are available to all applicants and colleagues. We are a diverse organization of dedicated and innovative individuals, and don’t discriminate on the basis of race, color, religion, sex, sexual orientation, gender identity, national origin, disability, or status as a protected veteran.