Formal Verification Engineer

Cambridge, United KingdomFull-time2026-09-15 → 2026-10-07

Core

Develop and deploy sophisticated formal verification techniques on next-generation Arm processor designs to ensure correctness and enable rapid innovation. (via careerplan.io/jobs/100739285472-formal-verification-engineer-at-arm)

Role type

Senior IC formal verification engineer

Builds

Verified microarchitectural designs for billions of devices

Domain

Semiconductor / Digital Logic / Computer Architecture

Required skills

formal verification techniques, digital design verification, computer architecture, microarchitectural design, model-checking techniques, assume-guarantee reasoning, invariants, abstractions

Preferred skills

industry-standard formal verification tools, Python, Perl, Tcl, Shell scripting, Arm architecture, AMBA protocols

Responsibilities

Explore and develop formal verification strategies, implement high-quality verification solutions, collaborate with formal experts to shape technical direction, translate abstract formal concepts into practical verification solutions

Seniority

Senior, hands-on IC

About Arm

Semiconductor Manufacturing11595Cambridge, Cambs, GB

Arm’s foundational technology is defining the future of computing. A future built by the greatest technology ecosystem in the world. A future built on Arm. Arm is everywhere technology matters. Technology matters everywhere. Together, we’ll power every technology revolution moving forward, including cloud computing, automotive and autonomous systems, IoT, the metaverse, and beyond. Changing the world. Again. On Arm.