×
Register Here to Apply for Jobs or Post Jobs. X
More jobs:

Formal Verification Engineer — RTL & Tools Lead

Job in Sunnyvale, Santa Clara County, California, 94087, USA
Listing for: Synopsys
Full Time position
Listed on 2026-08-30
Job specializations:
  • Engineering
    Test Engineer
Salary/Wage Range or Industry Benchmark: 150000 - 190000 USD Yearly USD 150000.00 190000.00 YEAR
Job Description & How to Apply Below
Position: Staff Formal Verification Engineer — RTL & Tools Lead

Synopsys is seeking a Senior Formal Verification Engineer to lead deployments and optimize verification workflows for customer designs in Sunnyvale. You will diagnose tool performance issues, tailor methodologies, and train customers on new features, working closely with R&D to align product directions.

Strong RTL/Verilog/VHDL, scripting, and formal verification experience are required. You will engage with customers to drive adoption, reduce bottlenecks, and scale verification across SoCs,

#J-18808-Ljbffr
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)
0
200
Filters
Education Level
Experience Level (years)
Posted in last:
Salary