Hardware Verification Engineer (Cryptography)

Location: Remote in the UK, Germany, France, Belgium, Austria, the Netherlands, or Spain; occasional travel to offices in Oxford, London, or Paris is required. Visa sponsorship is available for relocation to the UK, the Netherlands, or France.

Company

hirify.global is a deep-tech cybersecurity startup founded in 2018 that develops secure hardware and cryptographic technology.

What you will do

• Build and extend UVM testbenches for cryptographic IPs and subsystems.
• Develop Python-based verification tools and automation.
• Apply formal verification and write properties to prove complex scenarios.
• Debug issues from low-level waveforms through algorithmic mismatches.
• Define verification methodologies, plans, coverage models, and test strategies for block and subsystem verification.
• Lead IP- and SoC-level verification, including estimation, scheduling, task assignment, reporting, coverage closure, and sign-off.

Requirements

• Strong experience with UVM-based verification at IP and subsystem levels.
• Proficiency in Python for tool development and automation.
• Practical formal verification experience beyond application-based use.
• Knowledge of cryptographic algorithms such as AES, SHA, and ECC, plus hardware and software security concepts.
• Software-oriented thinking with C, C++, or scripting languages for hardware/software co-verification.
• Experience planning and executing verification projects, mentoring engineers, and solving complex debugging problems.

Culture & Benefits

• Flexible and hybrid working with a work-from-home budget.
• Private health insurance for employees and their families.
• 25 days of annual leave, bank holidays, and two wellness weeks.
• Competitive salary and share option scheme.
• Learning opportunities and accelerated career development in a collaborative engineering environment.
• 50% gym membership discount.