Senior Formal Verification Engineer

Role Summary

Arm’s CPU Group is seeking a Senior Formal Verification Engineer to apply cutting-edge formal methods to CPU projects. You will work with a dedicated team at our Cambridge facility and collaborate with global teams to enhance verification processes.

Experience Level

This position is intended for experienced professionals with a solid understanding of formal verification techniques and digital hardware design.

Responsibilities

Your key responsibilities will include:

• Investigating and developing new formal verification techniques for projects.
• Applying formal verification tools to realistic designs.
• Working alongside EDA tool vendors to leverage advanced capabilities.
• Collaborating with specialists to strategize and implement verification processes.
• Delivering high-quality formal verification solutions across various projects.

Requirements

The required qualifications include:

• Proven experience in functional verification or digital hardware design, with familiarity in formal methods such as SVA, PSL, or model checking.
• A strong engineering mindset with attention to detail.
• Understanding of verification concepts and computer architecture.
• Proficiency in hardware description languages such as VHDL or Verilog/SystemVerilog.
• Capability to translate abstract formal concepts into practical designs.

Education Requirements

A degree in Computer Engineering, Electrical Engineering, or a related field is preferred, along with relevant experience in formal verification.