Nvidia’s Central Formal Verification Team is seeking a highly motivated FV Engineer with a background in AI to help in the development and integration of AI capabilities into formal verification tasks. As a part of this team, you will play a key role in ensuring functional correctness and completeness of our next generation chips as well as enhancing formal verification flows and developing AI agents to improve productivity across teams in terms of deployment of various formal verification techniques. You will work in the domain of formal verification with not only deploying advanced formal techniques but also understanding and identifying capable areas to improve productivity for a wider team. You will also be responsible for working closely on building and maintaining core infrastructure for running these agents in production and ensuring their seamless and efficient performance. If you're passionate about the latest research and cutting-edge technologies shaping LLM and generative AI, this role and team offer an exciting opportunity to be at the forefront of innovation. What will you be doing: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. What we are looking for: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. NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most resourceful and talented people in the world working for us. If you're creative, autonomous and love a challenge, we want to hear from you!#LI-HybridYour base salary will be determined based on your location, experience, and the pay of employees in similar positions. The base salary range is 136,000 USD - 212,750 USD for Level 3, and 168,000 USD - 264,500 USD for Level 4.You will also be eligible for equity and benefits.Applications for this job will be accepted at least until September 12, 2025.NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.