PQShield · 3 months ago
Senior Cryptography Verification Engineer
United States
Full-time
Remote
Senior LevelPQShield is a deep tech startup established in 2018, focusing on secure hardware solutions. They are seeking a Senior Cryptography Verification Engineer to verify security-critical designs, develop automation tools, and collaborate with various teams to ensure comprehensive coverage of real-world use cases.
Cyber SecurityNetwork SecurityQuantum ComputingSoftware
Responsibilities
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
Qualification
Required
Strong background in software development
Strong background in cryptography
Strong background in secure product development
Experience in building and extending UVM testbenches to verify cryptographic IPs and subsystems
Experience in developing Python-based tools and automation to improve verification productivity
Experience in using formal verification creatively, writing properties beyond canned apps to prove tricky scenarios
Experience in debugging at every level - from low-level waveforms to algorithmic mismatches
Experience in collaborating with design, software, and architecture teams to ensure real-world use cases are covered
Experience in approaching designs with a 'break it to make it' mindset
Experience in influencing and defining methodologies and strategies for design verification
Experience in developing testbench architectures using UVM and formal-based approaches
Experience in defining verification plans, functional coverage models, and test strategies for block and subsystem verification
Experience in leading verification at IP or SoC level, including effort estimation, scheduling, task assignment, and reporting progress to management
Experience in driving coverage closure and sign-off quality across complex designs
Experience in mentoring junior engineers and helping raise the team's overall capability
Preferred
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!
Company
PQShield
PQShield is a post-quantum cryptography company that develops cryptographic algorithms and protocols to secure technology infrastructures.
Founded in 2018
51-200 employees
Funding
Current Stage
Growth StageTotal Funding
$63.94MKey Investors
AdditionInnovate UKOxford Science Enterprises
2024-06-20Series B· $37M
2022-01-26Series A· $20M
2020-07-08Seed· $6.94M
Leadership Team
Ali El Kaafarani
CEO and Founder
Michael Vroobel
COO
Recent News
Benzinga.com
2025-11-05
Company data provided by crunchbase