Senior Formal Verification Engineer - Customer Solutions

Synopsys Inc; Sunnyvale (CA); On-site; USD 150,000 - 190,000; Full time

Job summary

Synopsys Inc. is seeking an experienced formal verification engineer to deploy VC Formal at customer sites and optimize convergence. You will work hands-on with design and verification teams to map properties, tune testbenches, and deliver measurable improvements in tapeout readiness.

You will lead training, communicate requirements to R&D, and drive adoption of formal methodologies across complex semiconductor designs in a customer-facing role.

Qualifications

• You have a strong background in formal verification including property checking and coverage.
• You can diagnose convergence issues and tune tests and assertions for large designs.
• You communicate complex formal concepts to customers and internal teams.

Responsibilities

• Lead formal verification methodology deployment at customer sites, integrating VC Formal into existing flows.
• Identify high-value blocks for formal analysis and define metrics to prove results.
• Debug tool performance, refine testbenches, and optimize assertion modeling for convergence.
• Develop and deliver technical training on VC Formal features and best practices.
• Collaborate with R&D to communicate customer requirements and influence roadmap.
• Apply formal techniques across property checking, datapath verification, and formal coverage.
• Serve as the technical bridge between customers and internal engineers.

Skills

Formal verification

VC Formal

SVA (SystemVerilog Assertions)

Customer engagement

Education

Bachelors or Masters in EE/CE/CS

Tools

VC Formal or equivalents

Job description

Synopsys Inc. is seeking an experienced formal verification engineer to deploy VC Formal at customer sites and optimize convergence. You will work hands-on with design and verification teams to map properties, tune testbenches, and deliver measurable improvements in tapeout readiness.

You will lead training, communicate requirements to R&D, and drive adoption of formal methodologies across complex semiconductor designs in a customer-facing role.