Design Verification Engineer

Senior Verification Engineer

UK Remote

I am seeking a Senior Verification Engineer to join an established and fast-growing startup as it enters its next phase of growth. With a team of nearly 100 people, this company is at the forefront of post-quantum cryptography, developing security-critical technologies with global impact.

You will play a key role in verifying highly secure designs, working closely with experienced engineers in a collaborative, high-trust environment.

What you’ll be doing

As part of the verification team, you will:

• Build and extend UVM testbenches to verify cryptographic IP and subsystem designs
• Develop Python-based tools and automation to improve verification efficiency and productivity
• Apply formal verification techniques in creative and effective ways

Beyond hands-on verification, you will also:

• Influence and define verification methodologies and strategies
• Architect testbenches using UVM and formal-based approaches
• Define verification plans, functional coverage models, and test strategies at block and subsystem level
• Lead verification for IPs or subsystems, including effort estimation, scheduling, task allocation, and progress reporting
• Drive coverage closure and sign-off quality across complex designs
• Mentor junior engineers and help raise the overall capability of the team

Required experience

Must have:

• Strong background in UVM-based verification at IP and subsystem levels
• Proven experience building UVM testbenches from scratch
• Proficiency in Python for verification automation
• Solid experience with SystemVerilog Assertions (SVA)
• A minimum of 4 years experience.

What’s on offer

• Competitive base salary plus share options
• Opportunity to help build something from the ground up in a growing, mission-driven company
• Fully remote role (must be based at a UK address)
• Visa sponsorship available

This role will suit someone who thrives in small, collaborative teams, communicates clearly, and is passionate about delivering high-quality verification for security-critical systems.