Senior Formal Verification Engineer
NVIDIA(1 month ago)
About this role
A Formal Verification Engineer at NVIDIA verifies the design and implementation of high-performance CPUs and HPC solutions, ensuring functional correctness of next-generation chip designs. The role collaborates with architects, designers, and verification teams to develop and implement formal verification methodologies and obtain bounded or full proofs using industry tools.
Required Skills
- Formal Verification
- RTL Debugging
- System Verilog
- Verilog
- Temporal Logic
- Tcl
- Perl
- Python
- Abstraction Models
- Coverage Reporting
+1 more
Qualifications
- BS in CS/CE/EE/Mathematics
- MS
- PhD
About NVIDIA
nvidia.comNVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.
View more jobs at NVIDIA →Apply instantly with AI
Let ApplyBlast auto-apply to jobs like this for you. Save hours on applications and land your dream job faster.
More jobs at NVIDIA
Similar Jobs
Senior/Staff - Formal Verification Engineer
SiFive(3 months ago)
Formal Verification Manager
Astera Labs(1 month ago)
Distinguished Formal Verification
Astera Labs(3 hours ago)
Arithmetic Formal Verification Engineer
Intel(1 month ago)
Senior Hardware Verification Engineer
NXP Semiconductors(26 days ago)
FVCTO - Formal Verification Engineer
Intel(1 month ago)