Compensation

Not specified GBP

Currency: £ (GBP)

City

Not specified

Country

United Kingdom

Join Qualcomm Cambridge as a Staff Formal Verification Engineer to drive the formal verification strategy for next-generation chips. You will develop and apply formal verification methods (property specification, model checking, coverage analysis) to verify complex RTL designs and collaborate with design and software teams. The role may involve mentoring and leading verification efforts across projects, and contributing to tool flows and automation. Strong background in formal verification and scripting (Python) is expected.