Formal Verification Jobs
Browse 147 Formal Verification jobs on Inference Jobs.
147 jobs
5dTE
Formal Verification Lead
Tenstorrent
Santa Clara, California, United States (Hybrid)$100k – $500k Yearly
2wNV
Formal Verification Engineer - New College Grad 2026
NVIDIA
Austin, Texas, United States (On-site)$100k – $189.8k Yearly
3wNV
Senior Formal Verification Engineer
NVIDIA
Myrtle Point, Oregon, United States or Remote (California, United States)$196k – $310.5k Yearly
2wNV
Senior Formal Verification Engineer
NVIDIA
Canada, Remote, Canada or Remote (Canada)C$195k – C$245k Yearly
4wNV
Formal Equivalence Checking Methodology Engineer
NVIDIA
Santa Clara, California, United States (Hybrid)$136k – $264.5k Yearly
1wOP
Design Verification Engineer
OpenAI
San Francisco, California, United States (On-site)$310k – $380k Yearly
5dTE
Staff Design Verification Engineer, AI HW
Tenstorrent
Toronto, Ontario, Canada (Hybrid)$100k – $500k Yearly
1wNV
Senior Software Architect, DriveOS
NVIDIA
Santa Clara, California, United States (On-site)$224k – $431.3k Yearly
Formal Verification salary FAQs
These figures come from 5 Formal Verification job listings on Inference Jobs that include salary data. The middle 50% of advertised salaries fall between $100k and $310.5k, with the overall range spanning $135.1k – $289.0k. All figures are converted to annual USD with outliers removed. These are base salary ranges only and don't include bonuses, equity, or benefits.