Job Overview
Location
Canada, Remote
Job Type
Full-time
Category
Engineering
Date Posted
May 7, 2026
Full Job Description
đź“‹ Description
- • As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs developed at the forefront using formal verification tools, ensuring correctness and defining verification scope for AI-related sophisticated designs.
- • You will partner with architecture and RTL teams to specify properties, resolve deep design issues, and influence micro-architecture decisions while executing formal verification to rigorously verify critical design properties and minimize spec ambiguities.
- • You will develop and implement advanced formal verification environments and methodologies for complex ASIC designs, including automated flows for scalability and efficiency, and mentor junior engineers on formal techniques and standard processes.
- • You will support silicon bring-up and debug using formal methods where applicable, articulate formal verification coverage to partners, and efficiently complete the formal verification effort for the entire project cycle, delivering high-quality results on schedule.
- • NVIDIA is a leader in transforming computer graphics, PC gaming, and accelerated computing, now tapping into AI’s potential to define the next era of computing where GPUs act as the brains of computers, robots, and self-driving cars.
- • You will be immersed in a diverse, supportive environment where everyone is inspired to do their best work, with opportunities to build a lasting impact on the world through cutting-edge technology and collaboration.
🎯 Requirements
- • BS/MS/PhD or equivalent experience in CS/CE/EE
- • 12+ years in ASIC verification with 8+ years focused on formal verification methods
- • Mastery of SystemVerilog Assertions (SVA) and formal property verification
- • Proficient on at least one popular formal verification tool in the industry (JasperGold, VC Formal, etc.)
- • Good scripting skills for flow automation (Tcl, Python, etc.)
- • Good written and oral communication skills
🏖️ Benefits
- • Highly competitive salaries (base salary range: 195,000 CAD - 245,000 CAD)
- • Equity eligibility
- • Comprehensive benefits package
- • Opportunity to work on AI-related ASIC designs at the forefront of technology
- • Mentorship and leadership opportunities in formal verification methodologies
- • Supportive, diverse environment at one of the technology world’s most desirable employers
Skills & Technologies
About NVIDIA Corporation
NVIDIA Corporation designs and supplies graphics processing units, system-on-chips, and AI infrastructure hardware and software. Founded in 1993, the Santa Clara-based company serves gaming, data center, professional visualization, and automotive markets. Its products include GeForce GPUs, RTX graphics cards, Tesla and A100 accelerators, Jetson edge AI modules, and the CUDA parallel computing platform. NVIDIA also develops Omniverse for 3D simulation and collaborates on autonomous vehicle and robotics technologies.
Subscribe to the weekly newsletter for similar remote roles and curated hiring updates.
Newsletter
Weekly remote jobs and featured talent.
No spam. Only curated remote roles and product updates. You can unsubscribe anytime.
Similar Opportunities
ShipBob, Inc.
3 months ago
Deepgram Inc.
3 months ago
Credit Acceptance Corporation
3 months ago