Senior Formal Verification Engineer
Core
Use formal verification algorithms to prove the correctness of complicated logic problems for Pre-Silicon design and verification of Switch and GPU technologies.
Role type
Senior IC formal verification engineer (chip design)
Builds
Smart and high bandwidth multi port switches for HPC, AI infrastructures, data-center, network, and storage markets
Domain
Semiconductor / Hardware Design
Deliverable
production ML models
Required skills
Formal verification algorithms, Digital logic, Analytical reasoning, Problem-solving, Debugging
Preferred skills
Formal verification work experience
Technologies
Formal verification tools
Responsibilities
Use formal verification algorithms to formally prove the correctness of complicated logic problems; Work on ambitious designs along with the Pre-Silicon team; Take part in developing the next generation of NVIDIA's core technology
Seniority
Senior, hands-on IC
