NVIDIA
GPU-accelerated computing • artificial intelligence • deep learning • virtual reality • gaming
Senior Formal Verification Engineer
6 days ago
NVIDIA
GPU-accelerated computing • artificial intelligence • deep learning • virtual reality • gaming
Description
• Verify the design and implementation of the industry's leading GPUs. • Verify the micro-architecture using formal verification tools. • Define the verification scope and ensure design correctness. • Employ advanced formal techniques to obtain sufficiently bounded proofs. • Work with architects, designers, and pre- & post-silicon verification teams.
Requirements
• BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 5+ years of experience. • Understanding of GPU/CPU architectures and designs. • Experience with Verilog / System Verilog HDLs and able to understand complex RTL quickly. • Experience with formal tools and knowledge of formal verification methodologies. • Able to implement abstraction techniques for effective verification. • Strong analytical skills to solve complex problems. • Excellent command of scripting using TCL, Perl, and/or Python. • Excellent interpersonal skills. • Able to effectively collaborate and work in a distributed team.
Benefits
• Equity • Benefits
Apply NowSimilar Jobs
December 11
Join CLARA Analytics as a Senior Data Engineer, optimizing Data Lakehouse architecture and data workflows. Utilize your 7+ years experience to ensure high performance, scalability, and reliability.
December 10
Senior Application Engineer at GFiber specializing in Billing and Payments, developing software components.
December 10
Join Safelite as a Senior SCCM Engineer, managing SCCM infrastructure in a diverse workplace. Ensure optimal deployment configurations and support for end users.
December 10
Join Ancestry as a Senior Bioinformatics Engineer to develop and maintain bioinformatics pipelines. Focus on optimizing AWS infrastructure and automating workflows for scientific research.
🇺🇸 United States – Remote
💵 $97.9k - $130.6k / year
💰 Post-IPO Equity on 2012-09
⏰ Full Time
🟠 Senior
🦅 H1B Visa Sponsor
December 10
Designs and implements complex software solutions using Angular & Nest for Centene's technology teams.