Description
Synopsys is hiring an Application Engineer to lead the technical deployment of VC Formal solutions at customer sites. The role involves assessing verification environments, recommending formal methodologies, diagnosing tool-performance issues, optimizing formal test benches, delivering technical training, and communicating customer priorities to product engineering. Candidates need 10 to 15 years of digital design verification experience, strong formal-verification expertise, RTL and SystemVerilog knowledge, and experience in technical consulting, application engineering, or field engineering.
