Digital Verification Engineer - Crypto, AI-Driven Security

NXP Semiconductors NV; Glasgow; On-site; GBP 45,000 - 75,000; Full time

Job summary

NXP Semiconductors UK is expanding its Crypto & Security Competence Centre and seeks Digital Verification Engineers to help define and verify next-generation security technologies across PQC IP, secure SoC subsystems, and high-assurance cryptographic accelerators.

You will work with AI-driven verification, develop verification plans, and own complex projects from concept to silicon, applying SystemVerilog, UVM, and formal methods in a collaborative environment.

Qualifications

• Experience with SystemVerilog for testbench development and verification is required or strongly preferred.
• Experience with UVM and constrained random verification methodologies is expected.

Responsibilities

• Verify digital hardware architectures across projects.
• Create, review, and maintain verification plans and track progress.
• Specify and develop verification strategies, tests, and environments for security features and hardware co-processors.
• Adopt emerging verification methodologies and integrate them into existing flows.

Skills

SystemVerilog

UVM

Constrained Random Verification

Coverage-driven verification

Assertions (SVA)

Debugging

Education

BSc./MSc. in Electronics or Electrical Engineering

Tools

Formal Verification

Job description

NXP Semiconductors UK is expanding its Crypto & Security Competence Centre and seeks Digital Verification Engineers to help define and verify next-generation security technologies across PQC IP, secure SoC subsystems, and high-assurance cryptographic accelerators.

You will work with AI-driven verification, develop verification plans, and own complex projects from concept to silicon, applying SystemVerilog, UVM, and formal methods in a collaborative environment.