英伟达Formal Verification Engineer

工作描述

任职要求
• BS/MS/PhD in CS, CE, EE, or Mathematics (or equivalent experience) with 3+ years relevant experience
• Strong problem-solving skills and the ability to thrive in a collaborative, distributed team environment.
• Proficiency in scripting languages like TCL, Python, or Perl.

Ways to stand out from the crowd:
• Hands-on experience with formal verification tools such as JasperGold or VC Formal.
• Experience with formal verification methodologies, SystemVerilog, and temporal logic.
Join NVIDIA, a top-tier technology employer, and work alongside som…