Description
NVIDIA is hiring a Formal Verification Engineer for its Central Formal team in Bangalore to develop and maintain formal verification flows for CPU and GPU projects, automate verification, create verification environments and assertions, debug RTL, and use model checking and equivalence checking to prove digital design correctness. The role requires a bachelor's or master's degree in a relevant engineering or computer science field, at least two years of formal verification experience, strong scripting and analytical skills, knowledge of CPU and digital logic architectures, and hands-on experience with Verilog or System Verilog.
