VC Formal Staff Application Engineer

Synopsys (incl. Ansys)·Bengaluru

Pay not stated4–8 yrsFull-time

Apply on Synopsys (incl. Ansys)'s site Track your applications and see your fit: start free

Read from the company's own careers page; you apply on their site.

How well do you fit this job?

Upload your resume to see each requirement checked against your profile, in under a minute.

Check my fit

Hard to read?

About the role

VC Formal Staff Application Engineer at Synopsys (incl. Ansys). Lead technical deployment of VC Formal at customer sites, assessing their verification environments and recommending formal methodologies that fit their design challenges.

What you'll do

Lead technical deployment of VC Formal at customer sites, assessing their verification environments and recommending formal methodologies that fit their design challenges
Analyze customer design blocks to identify the right candidates for formal property checking, sequential equivalence, connectivity checking, and formal coverage analysis
Diagnose root causes of tool performance issues and design complexity bottlenecks, then optimize formal testbench modeling to achieve proof closure
Develop and deliver technical training on VC Formal features, product updates, and formal verification best practices
Apply formal verification across data path logic, math function proofs, sequential equivalence checking, and formal coverage closure