AI-Driven PQC Security Verification Engineer

NXP Semiconductors NV; Gratkorn; On-site; EUR 60,000 - 90,000; Full time

Job summary

NXP Semiconductors NV is expanding its Crypto & Security Competence Centre and seeks a Digital Verification Engineer to advance next-generation security technologies such as PQC IP, secure SoC subsystems, and high-assurance cryptographic accelerators. The role blends AI-assisted verification with traditional methods, offering exposure to cutting-edge cryptography work and new verification workflows.

You will drive verification plans, develop verification strategies and environments for security

Qualifications

• BSc., or MSc., degree in Electronics or Electrical Engineering.
• Some experience with SystemVerilog for testbench development and verification.
• Some experience in UVM, including component creation, sequences, drivers, monitors, and scoreboards.
• Solid understanding and practical use of Constrained Random Verification techniques.
• Experience with Metrics-Driven Verification, including functional coverage and verification planning.
• Ability to write SystemVerilog Assertions (SVA) for protocol and design checking.
• Demonstrated success in achieving Coverage Closure across functional and code coverage metrics.
• Experience analysing coverage results and refining test strategies to close gaps.
• Strong debugging skills across simulations and complex verification environments.
• Knowledge of Formal Verification methods would be advantageous.

Responsibilities

• Verification of digital hardware architectures.
• Creating, reviewing, and maintaining verification plans, and tracking verification progress.
• Specifying and developing verification strategies, tests, and environments for security features and hardware co-processors.
• Working with emerging verification methodologies and introducing them into existing verification flows.

Education

BSc./MSc. in Electronics or Electrical Engineering

Tools

SystemVerilog

UVM

SVA

Formal Verification

Job description

NXP Semiconductors NV is expanding its Crypto & Security Competence Centre and seeks a Digital Verification Engineer to advance next-generation security technologies such as PQC IP, secure SoC subsystems, and high-assurance cryptographic accelerators. The role blends AI-assisted verification with traditional methods, offering exposure to cutting-edge cryptography work and new verification workflows.

You will drive verification plans, develop verification strategies and environments for security