Principal Application Engineer, VC Formal at Synopsys

requirements that influence product roadmap Support customers in applying formal verification to complex logic including data path verification, math functions, and sequential equivalence across design revisions The Impact You Will Have Enable customers to find critical bugs earlier in the design cycle, reducing costly respins and time-to-market delays Drive adoption of formal verification methodologies that improve verification coverage and confidence across complex So C and IP designs Shape the VC Formal product roadmap by translating real-world customer challenges into actionable engineering requirements Accelerate customer productivity by delivering training and methodologies that make formal verification accessible to teams with varying levels of expertise Build long-term technical relationships with leading semiconductor companies, becoming a trusted advisor on verification strategy Reduce tool performance bottlenecks and proof times through expert modeling and optimization, directly improving customer ROI What You'll Need 10 to 15 years of hands-on experience in digital design verification, with deep expertise in formal verification methodologies Strong application knowledge of formal property checking, sequential equivalence checking, formal coverage analysis, and connectivity checking Proven experience diagnosing and resolving formal tool performance issues, including convergence problems and proof optimization Solid understanding of RTL design, System Verilog, and verification test bench development Experience working directly with customers in a technical consulting, application engineering, or field engineering role Experience with VC Formal or equivalent formal verification tools is a strong plus Who You Are You can walk into a customer meeting, listen to a verification challenge, and sketch out a formal methodology that makes immediate sense to the team You know when to push back on a customer request that will not solve the real problem, and you can explain why in terms they respect You are comfortable moving between deep technical debugging, writing formal properties, and presenting results to engineering leadership You treat every customer deployment like a learning opportunity, not just for them but for the product team back at Synopsys You are organized enough to manage multiple customer engagements at once and technical enough to go deep when a proof is failing The Team You'll Be Part Of Application engineers (AEs) drive and deploy SNPS technologies at the customers and support successful usage of the products at the customers that leads to renewals and new business. Rewards and Benefits We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process. At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.