NVIDIA is seeking a Software Engineer or Computer Scientist to join their Software Formal Verification team. The successful candidate will utilize advanced formal verification tools and methodologies to ensure the mathematical correctness of complex logic problems across various NVIDIA technologies like Switch, NIC, and GPU. This role involves contributing to the development of new verification methodologies and assisting in creating the next-generation core technology for NVIDIA.
Every query opens live roles, salary samples, and market demand — tap a search to run it instantly.
Unlock powerful job search, personalized recommendations, and deep career insights from comprehensive, market-leading data and live market signals.
For job seekers
Upload your résumé, start a Job Search Thread, and let Metaintro rank real openings against your experience — then guide you from search to offer.
Match
Compare live roles against your current evidence.
Position
Turn proof projects into role-specific applications.
Improve
Use market feedback to keep the skill plan current.
人工智能计算Santa Clara, CA, US
我们打造出速度更快的超级计算机和规模更大的游戏平台。
Customers and case studies
See customers and case studies