Job listing
Senior Formal Verification Engineer
ARM

Senior Formal Verification Engineer
ARM
- Employer ref: 2023-7680
- Hours: Full Time
- Location: Bristol, Gloucestershire, Somerset, United Kingdom
- Style of work: Hybrid, Flexible
- Closing date: 30/06/2023
Posted: 1 May 2023
Our ref: WTJ-3201
In the fast-moving world of CPU Verification, Formal Methods are becoming crucial to the success of today's ever-accelerating development cycle. Arm’s CPU Group is looking for engineers with experience in Formal Verification who desire to be at the cutting edge of applied formal methods. We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of CPU designs. This is an opportunity to influence design & verification decisions and shape the future of technology that will fuel billions of devices world-wide!
Description
The Role
As part of Arm’s continued growth, the CPU team are looking to hire dedicated engineers in the Bristol region. Based in an office in Bristol, you will be working on next generation CPU products in close collaboration with the Cambridge team. We are looking for all experience levels to be part of this innovative CPU team and look forward to speaking to you about the opportunities available!
In the fast-moving world of CPU Verification, Formal Methods are becoming crucial to the success of today’s ever-accelerating development cycle. Arm’s CPU Group is looking for engineers with experience in Formal Verification who desire to be at the cutting edge of applied formal methods. We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of CPU designs. This is an opportunity to influence design & verification decisions and shape the future of technology that will fuel billions of devices world-wide!
You will apply Formal Methods to CPUs developed across the Bristol and Cambridge design centres, with the opportunity to collaborate with our global Formal Teams across Arm. 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:
- Experience in functional verification or digital hardware design
- Familiarity with formal methods (e.g. SVA, PSL, model checking, theorem proving)
- An engineering mentality and passion for digital design
- Understanding of fundamental verification concepts
- A keen interest in processors and digital systems
- Understanding of computer architecture & micro-architectural concepts
- Knowledge of hardware description and verification languages, such as VHDL, Verilog/SystemVerilog, PSL
- Strong reasoning skills
- Excellent attention to detail
- Ability to understand and map abstract formal concepts into designs
- Creativity and ability to communicate ideas effectively
- Good inter-personal and teamwork skills
In order to be considered, you will need at least a Bachelor’s degree in Electronic Engineering, Computer Engineering, Computer Science or another relevant subject. Other STEM degree types may also be considered.
‘Nice to have’ skills and experience:
- Familiarity with industry-standard formal verification tools
- Understanding of the end-to-end verification processes, from test plan creation through to verification closure
- 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
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 any characteristic.
Hybrid Working at Arm
Arm’s hybrid approach to working is centred around flexibility, where we split our time between the office and other locations to get our work done. We empower groups/teams to determine their hybrid working pattern, with an expected minimum attendance in the office of 20% per month, depending on the work, level of experience and team’s needs. 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.
How to apply
Apply directly with the employer.
Visit the website