Senior Formal Verification Engineer - LPU
Remote in CanadaRemoteFull Time
NC
NVIDIA Canada Dev. Inc.
12+ YOECandidates need a BS, MS or PhD in computer science, computer engineering or electrical engineering, 12+ years of ASIC verification with 8+ years in formal methods, mastery of SystemVerilog Assertions, experience with a major formal tool such as JasperGold or VC Formal, and scripting skills in Tcl or Python.
VC Formal, SystemVerilog, Tcl, Python