Senior Formal Verification Engineer at NVIDIA

Santa Clara, California, United States

Apply Now

Not SpecifiedCompensation

Senior (5 to 8 years)Experience Level

Full TimeJob Type

UnknownVisa

Semiconductor, TechnologyIndustries

Requirements

BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics
5+ years of formal verification of GPU/CPU designs
Solid understanding of GPU/CPU architectures and designs
Able to implement abstraction techniques for effective verification
Strong proficiency in agentic LLM Libraries/Technologies like LangChain, LangGraph, AutoGen, CrewAI, RAGs, vector databases, prompt engineering, knowledge graphs, etc
Strong analytical skills to solve complex problems
Knowledge of formal verification methodologies and techniques
Hands-on experience with Verilog/System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly
Preferable experience with Formal Verification Tools (e.g., Jasper, VC Formal)
Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team

Responsibilities

Identify key behaviors for verification to write clear testplans for complex designs
Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions and cover properties
Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage
Develop AI agents which can process large codebase and waves failures to help in coding and debugging tasks
Collaborate with FV engineering teams to understand their specific needs and challenges and ensure our agent platform is well-suited to these needs
Develop and optimize retrieval and generation algorithms for enterprise data (text, code, and images) to build advanced AI applications
Integrate AI-driven optimizations into existing formal tools and flows
Articulate formal verification coverage of the design to partners
Lead with purpose and maintain high-quality engineering practices that inspire others to achieve excellence

Skills

Key technologies and capabilities for this role

Formal VerificationAILLMGenerative AIAssertionsCover PropertiesAbstraction ModelsAI AgentsRetrieval AlgorithmsGeneration AlgorithmsCodebase AnalysisDebuggingFormal Tools

Questions & Answers

Common questions about this position

What experience level is required for this Senior Formal Verification Engineer role?

The role requires 5+ years of formal verification experience specifically with GPU/CPU designs.

What key technical skills are needed for this position?

Candidates need strong proficiency in agentic LLM libraries like LangChain, LangGraph, AutoGen, CrewAI, RAGs, vector databases, and prompt engineering, along with hands-on experience in Verilog/SystemVerilog HDLs, temporal logic assertions, and formal verification tools like Jasper or VC Formal.

What is the location or remote work policy for this job?

This information is not specified in the job description.

What is the salary or compensation for this role?

This information is not specified in the job description.

What makes a strong candidate for this position?

A strong candidate has a BS/MS/PhD in CS/CE/EE/Mathematics, solid understanding of GPU/CPU architectures, experience implementing abstraction techniques, strong analytical skills, and excellent interpersonal skills for collaborating with distributed teams.

NVIDIA

Designs GPUs and AI computing solutions

About NVIDIA

NVIDIA designs and manufactures graphics processing units (GPUs) and system on a chip units (SoCs) for various markets, including gaming, professional visualization, data centers, and automotive. Their products include GPUs tailored for gaming and professional use, as well as platforms for artificial intelligence (AI) and high-performance computing (HPC) that cater to developers, data scientists, and IT administrators. NVIDIA generates revenue through the sale of hardware, software solutions, and cloud-based services, such as NVIDIA CloudXR and NGC, which enhance experiences in AI, machine learning, and computer vision. What sets NVIDIA apart from competitors is its strong focus on research and development, allowing it to maintain a leadership position in a competitive market. The company's goal is to drive innovation and provide advanced solutions that meet the needs of a diverse clientele, including gamers, researchers, and enterprises.

Santa Clara, CaliforniaHeadquarters

1993Year Founded

$19.5MTotal Funding

IPOCompany Stage

Automotive & Transportation, Enterprise Software, AI & Machine Learning, GamingIndustries

10,001+Employees

Benefits

Company Equity

401(k) Company Match

Risks

Increased competition from AI startups like xAI could challenge NVIDIA's market position.

Serve Robotics' expansion may divert resources from NVIDIA's core GPU and AI businesses.

Integration of VinBrain may pose challenges and distract from NVIDIA's primary operations.

Differentiation

NVIDIA leads in AI and HPC solutions with cutting-edge GPU technology.

The company excels in diverse markets, including gaming, data centers, and autonomous vehicles.

NVIDIA's cloud services, like CloudXR, offer scalable solutions for AI and machine learning.

Upsides

Acquisition of VinBrain enhances NVIDIA's AI capabilities in the healthcare sector.

Investment in Nebius Group boosts NVIDIA's AI infrastructure and cloud platform offerings.

Serve Robotics' expansion, backed by NVIDIA, highlights growth in autonomous delivery services.

Land your dream remote job 3x faster with AI

Try Jobo Free