Senior Formal Verification Engineer

NVIDIA-posted 2 days ago
Full-time • Mid Level
Hybrid • Us, CA
5,001-10,000 employees
Resume
Match Score
Upload and Match ResumeTrack Jobs with Teal

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.

  • 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.
  • 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.
  • Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team.
  • Preferable experience with Formal Verification Tools (e.g., Jasper, VC Formal)
  • You will also be eligible for equity and benefits .
Track Jobs with Teal

Job Search Resources

•
AI Resume Builder
•
Senior Test Engineer Resume Examples
•
Senior Test Engineer Cover Letter Examples

Tools

Career Hubs

Guides

Company

© 2024 Teal Labs, Inc
Privacy PolicyTerms of Service