Senior Verification Engineer (Formal Verification)
ArmJob Title
Senior Verification Engineer (Formal Verification)
Role Summary
Senior verification engineer joining the Interconnect (Corelink) System IP team to develop and verify scalable AMBA-compliant interconnect and NoC hardware IP for Arm-based systems.
The role focuses on applying formal verification, constrained-random verification and verification flow engineering to deliver high-quality, configurable interconnect IP used across mobile, IoT, automotive and infrastructure applications.
Experience Level
Senior — requires significant hands-on verification experience (minimum 6 years as stated).
Responsibilities
Primary responsibilities include developing and owning verification environments and flows, improving methodologies, and mentoring team members.
- Specify, develop and maintain hardware verification testbenches and environments for next-generation IP.
- Improve existing testbenches and verification flows to increase performance, quality and efficiency.
- Review proposed design changes from a verification-complexity perspective and drive verification closure.
- Investigate and script new verification flows and optimise EDA tool usage.
- Analyse simulation and verification data (including ML/data-science techniques) to find bugs and drive coverage closure.
- Collaborate with engineering teams to advance verification methodology and best practices.
- Mentor and provide technical leadership to other verification engineers.
Requirements
Must-have technical skills and experience; preferred skills follow.
- Must-have: Minimum 6 years verifying complex designs using formal property verification techniques.
- Practical experience with formal verification tools/engines (example: Cadence Jasper Gold).
- Experience with constrained-random verification and ownership of complex verification environments.
- Proficient in SystemVerilog.
- Strong software engineering fundamentals (object-oriented programming, data structures, algorithms) and scripting skills to develop verification flows and automate tool usage.
- Ability to plan, estimate and drive own work to completion.
- Nice-to-have: UVM methodology, team leadership/mentoring, multiprocessing microarchitecture experience (cache coherence, AMBA CHI/ACE/AXI), strong communication skills.
Education Requirements
Not specified.
About the Company
Company: Arm
Headquarters: Cambridge, United Kingdom
ARM is a global leader in semiconductor and software design, driving innovation in computing technology. The company specializes in designing processors and systems that provide the essential building blocks for electronic devices. ARM's architecture is widely used in smartphones, servers, and IoT devices, and its collaborative culture fosters bold thinking, diversity, and high-impact benefits for its talented workforce.
