Senior / Staff Formal Verification Engineer
£95,000 – £140,000 + Bonus + Excellent Benefits
Remote / Hybrid | UK & Europe

Our client is a highly respected semiconductor technology company developing next-generation processor and compute architectures for secure, high-performance computing applications. Following a significant strategic expansion and continued investment in engineering capability, they are expanding their Formal Verification team and capability to support a new generation of processor and SoC developments. This is an opportunity to join a technically driven engineering organisation where verification engineers play a central role in product development, methodology evolution and engineering innovation.

The Opportunity

As a Senior / Staff Formal Verification Engineer, you will be responsible for developing and deploying formal verification methodologies across complex processor and SoC designs. Working closely with Architecture, RTL Design and Functional Verification teams, you will play a key role in identifying design issues early, improving verification efficiency and driving verification quality throughout the development lifecycle. This role offers genuine technical influence and the opportunity to work on cutting-edge semiconductor products.

Unlike many verification roles focused purely on execution, this position offers the opportunity to influence how verification is performed across future projects. Alongside delivering high-quality verification solutions, you will be encouraged to contribute to automation, methodology development and engineering best practices.

This role is ideal for engineers who want to influence how verification is performed, rather than simply execute established processes. You will be joining an experienced engineering team where technical contribution, innovation and continuous improvement are actively encouraged.

You will be trusted to operate with a high degree of autonomy whilst working alongside experienced engineers across Verification, Design and Architecture disciplines.

Responsibilities

• Develop formal verification strategies and methodologies.
• Create and maintain assertion-based verification environments.
• Develop SystemVerilog Assertions (SVA).
• Perform formal analysis and design verification activities.
• Collaborate closely with RTL Design and Architecture teams.
• Identify design issues and support root-cause analysis.
• Contribute to verification sign-off activities.
• Drive verification automation and process improvements.

Required Skills & Experience

• Strong commercial experience in Formal Verification.
• Experience using JasperGold, VC Formal or equivalent tools.
• Strong SystemVerilog Assertion (SVA) expertise.
• Experience verifying complex ASIC, CPU or SoC designs.
• Strong analytical and debugging skills.
• Experience working within advanced semiconductor development environments.
• Excellent communication skills.

Desirable Experience

• Experience verifying CPU, processor or complex compute architectures.
• RISC-V exposure.
• Microarchitecture knowledge.
• Functional Verification.
• UVM.
• Security-focused verification.
• Python, Perl or TCL scripting.
• Low-power verification techniques.

Why Engineers Join:

• Work on clean-sheet processor, CPU and SoC developments.
• Influence verification methodologies rather than simply follow them.
• Help shape the future of verification automation and next-generation engineering workflows.
• Collaborate directly with Architecture, Design and Verification teams.
• Join a highly technical organisation where engineers have genuine influence on products and processes.
• Flexible remote and hybrid working across the UK and Europe.
• Be part of a business entering an exciting new phase of growth and product development.

Package

• £95,000 – £140,000 base salary.
• Annual performance bonus.
• Pension scheme.
• Private healthcare.
• Life assurance.
• Flexible working arrangements.
• Remote working opportunities across the UK and Europe.
• Ongoing technical development and training.
• Career progression opportunities as the organisation continues to grow.

Interview Process:

My client offers a streamlined 3-stage interview process:

• Stage 1: Technical Screening (45 minutes)
• Stage 2: Technical Panel Interview (2 hours 10 minutes)
• Stage 3: HR / Final Discussion

The process can typically be completed within 2-3 weeks, depending on candidate availability.