Formal Verification Engineer - New College Grad 2026
Core
Verify advanced processor and accelerator designs using mathematical reasoning, assertions, and model checking to ensure hardware correctness.
Role type
Junior IC formal verification engineer (hardware)
Builds
NVIDIA GPU, CPU, and accelerator silicon
Domain
Semiconductor hardware design and verification
Required skills
formal verification techniques, digital design fundamentals, computer architecture basics, Verilog/SystemVerilog, Python/Tcl/Perl/C++ scripting, mathematical reasoning
Preferred skills
JasperGold/VC Formal tool experience, SystemVerilog Assertions, microarchitecture knowledge (CPU/GPU/SoC), AI application in engineering
Responsibilities
Write assumptions, assertions, and cover properties to verify microarchitectural behavior; debug formal failures and counterexamples to identify RTL bugs; use abstraction and modeling to improve proof convergence; communicate verification progress and risks
Seniority
Entry-level, new graduate
