Principal Application Engineer, VC Formal

Synopsys (incl. Ansys)·Bengaluru

Pay not stated10–15 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

Principal Application Engineer, VC Formal at Synopsys (incl. Ansys). Lead technical deployment of VC Formal solutions at customer sites, assessing verification environments and recommending formal methodologies tailored to their design….

What you'll do

Lead technical deployment of VC Formal solutions at customer sites, assessing verification environments and recommending formal methodologies tailored to their design…
Analyze customer design blocks to identify the right targets for formal property checking, sequential equivalence checking, formal coverage analysis
Diagnose root causes of tool performance issues, including state space explosion and convergence problems, then optimize formal test benches to achieve proof closure
Develop and deliver technical training to customer teams on new VC Formal features, product updates, and formal verification best practices
Support customers in applying formal verification to complex logic including data path verification, math functions, and sequential equivalence across design revisions