Hybrid Senior Cryptography Verification Engineer

at PQShield

• Job title: Senior Cryptography Verification Engineer
• Job type: Full Time
• Experience level: Senior
• Salary: Not specified
• Degree requirement: No Education Requirement
• Tech skills: Python
• Location requirements: Hybrid, United Kingdom

About the role

• Senior Cryptography Verification Engineer at PQShield verifying security-critical designs with innovative tools and methodologies. Collaborating with a team to develop high-performance, secure cryptographic products.

Responsibilities

• You'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 attacker to expose weaknesses.
• 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.

Requirements

• 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.) and hardware/software security concepts.
• Software-oriented thinking (C/C++ or scripting languages) for HW/SW co-verification.
• Demonstrated leadership in planning and executing verification projects.
• Self-driven, resourceful, and persistent when solving tough technical challenges.
• Excellent debugging and problem solving skills with strong attention to detail.

Benefits

• Unparalleled opportunities to learn and accelerated career development.
• A collaborative, team environment with people who truly love what they do.
• Competitive salary and share option scheme.
• Flexible and hybrid working, and a working from home budget.
• Private health insurance for yourself and your family.
• 25 days annual leave (plus bank holidays and two wellness weeks).
• 50% gym membership discount.
• The chance to work with a spirited, smart, and friendly team!