Senior Formal Verification Engineer
Job Description
NVIDIA, the world leader in accelerated computing, is seeking a Senior Formal Verification Engineer to join their Central Formal Verification Team. This role combines traditional formal verification expertise with cutting-edge AI capabilities, focusing on ensuring the functional correctness of next-generation chips.
The position offers a unique opportunity to work at the intersection of formal verification and artificial intelligence, developing and integrating AI capabilities into verification tasks. You'll be responsible for enhancing formal verification flows and developing AI agents to improve productivity across teams. The role involves working with advanced formal techniques and building core infrastructure for AI agents in production.
As a Senior Formal Verification Engineer, you'll be implementing testplans, developing abstraction models, and creating AI agents for processing large codebases. The role requires a strong background in formal verification (5+ years experience) and expertise in modern AI technologies, including LLM Libraries and RAGs. You'll work with GPU/CPU architectures and need proficiency in Verilog/System Verilog HDLs.
NVIDIA offers competitive compensation, with a base salary range of $136,000 - $264,500 depending on level and experience, plus equity and benefits. The company is known for being one of the technology world's most desirable employers, offering the opportunity to work on groundbreaking technologies that are transforming industries through AI and digital twins.
The hybrid work environment promotes collaboration with talented team members while maintaining flexibility. This role is perfect for someone who combines technical expertise in formal verification with a passion for AI advancement and desires to work at a company that's at the forefront of technological innovation.
Responsibilities For Senior Formal Verification Engineer
- Identify key behaviors for verification to write clear testplans for complex designs
- Implement testplans using formal techniques
- Develop abstraction models to overcome complexity challenges
- Develop AI agents for processing large codebase
- Collaborate with FV engineering teams
- Develop and optimize retrieval and generation algorithms
- Integrate AI-driven optimizations into existing formal tools
- Articulate formal verification coverage of the design
- Lead with purpose and maintain high-quality engineering practices
Requirements For Senior Formal Verification Engineer
- 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
- Strong proficiency in agentic LLM Libraries/Technologies
- Knowledge of formal verification methodologies and techniques
- Experience with Verilog / System Verilog HDLs
- Preferable experience with Formal Verification Tools (e.g., Jasper, VC Formal)
- Excellent interpersonal skills
Benefits For Senior Formal Verification Engineer
- Equity
- Benefits package
Related Jobs
