Hardware Verification Engineer (Sponsorship available)

HomeTeamProductsPQMicroLib-CorePQCryptoLib-CorePQCryptoLib-SDKPQPlatform-CoProPQPlatform-TrustSysPQPerform-FlarePQPerform-InfernoPQPerform-FlexProduct SecurityCertificationsMarketsAll MarketsSemiconductors and ManufacturingIdentity and PaymentechMilitary and AerospaceSystem IntegratorsAutomotiveIndustrial IoTNetwork & TelecommunicationsEnterprise PlatformsPublicationsNewsIndustry InsightsEventsPartnersCareersExplainer articlesContact Hardware Verification Engineer (Sponsorship available) View all roles Location: Remote; UK, Germany, France, Belgium, Austria, Netherlands, Spain. Some travel to our offices (Oxford/London/Paris) will be required from time-to-time Department: EngineeringHardware Verification EngineerVisa Sponsorship & Relocation EligibilityWe are committed to finding the best talent globally. For this position, we are able to provide visa sponsorship for candidates wishing to relocate to the United Kingdom, the Netherlands, or France, regardless of your current country of residence.Visa Sponsorship: Full visa sponsorship is available for successful candidates to legally work and reside in the UK, Netherlands, or France.Relocation Costs: Please note that we do not offer relocation packages or financial assistance for moving expenses. While we will fully manage and support the legal visa process, candidates are entirely responsible for their own travel, housing, and physical relocation logistics. Reports to: Lead Hardware Verification EngineerDepartment: Engineering 💼 About the roleWe’re seeking a Hardware Verification Engineer who thrives on solving hard problems, building tools that make life easier for others, and driving verification with both rigor and creativity. This is not a checkbox role — we want someone who is hands-on, curious, and motivated to go beyond the obvious.The ideal candidate will have a strong background in software development, cryptography, and secure product development, with a focus on delivering secure, high-performance, and efficient products.We have been established since 2018, so you would be directly working with the founders and inventors of this deep tech startup. The technology is already a couple of years in the making, its feasibility having been established, funding secured, and it has a clear path to market. This is a great opportunity for career progression and to get a head start in a rapidly expanding segment of the technology industry. ⚒️ What you’ll be doingYou'll be a part of a team verifying security-critical designs where thoroughness is everything. On a daily basis, you will:Build and extend UVM testbenches to verify cryptographic IPs and subsystems.Develop Python-based tools and automation to improve verification productivity.Use formal verification creatively, writing properties beyond canned apps to prove tricky scenarios.Debug at every level - from low-level waveforms to algorithmic mismatches.Collaborate with design, software, and architecture teams to ensure real-world use cases are covered.Approach designs with a "break it to make it" mindset, thinking like an attacher to expose weaknesses. Key Job FunctionsBeyond hands-on verification, you will also:Influence and define methodologies and strategies for design verification.Develop testbench architectures using UVM and formal-based approaches.Define verification plans, functional coverage models, and test strategies for block and subsystem verification.Lead verification at IP or SoC level, including effort estimation, scheduling, task assignment, and reporting progress to management.Drive coverage closure and sign-off quality across complex designs.Mentor junior engineers and help raise the team’s overall capability. 🎯 Required Skills And QualificationsPreferred:Strong background in UVM-based verification at IP and subsystem levels.Proficiency in Python for tool development and automations.Practical formal verification experience, beyond app-based use.Knowledge of cryptographic algorithms (AES, SHA< ECC, etc.)...