Description
Synopsys is hiring a Principal Application Engineer, VC Formal to lead technical deployments of VC Formal at customer sites in Bengaluru. The role analyzes complex digital designs, recommends formal verification methodologies, diagnoses and optimizes tool performance issues, develops customer training, and communicates customer priorities to Synopsys R&D and product engineering. The position requires 10 to 15 years of digital design verification experience, strong formal verification expertise, and experience in technical consulting, application engineering, or field engineering.
