Static Verification Applications Engineer

General Information

Descriptions & Requirements

We Are:

At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the future through continuous technological innovation.

You Are:

You are an accomplished technical leader with a deep passion for advancing the state-of-the-art in chip design and verification. With a strong background in ASIC design flow and a mastery of HDL/HVL languages such as SystemVerilog, Verilog, and VHDL, you thrive in dynamic environments where innovation and collaboration are key. Your hands-on experience in RTL design and static verification is complemented by your ability to analyze complex methodologies and deliver impactful solutions that accelerate technology development. 
 
 You possess a natural curiosity for new technologies, especially in the realm of machine learning and formal verification, and you are eager to explore how these can be applied to create smarter, more efficient chip development processes. You bring a thoughtful approach to problem-solving, combining technical rigor with a keen understanding of customer needs. Your communication skills empower you to translate intricate technical concepts into clear, actionable insights for diverse audiences. As a member of Synopsys’ Customer Success Group, you are motivated by a genuine desire to help others succeed, contributing to a culture of excellence, inclusion, and continuous learning. 
 
 Whether you’re leading presentations, troubleshooting verification challenges, or deploying next-gen solutions, you demonstrate a commitment to quality, integrity, and growth. You value teamwork, respect diverse perspectives, and are always seeking new ways to elevate both yourself and those around you.

What You’ll Be Doing:

• Delivering technical expertise and support for Synopsys’ RTL static verification platform, especially VC SpyGlass platform, to global customers.
• Analyzing customers’ current verification methodologies and identifying opportunities for improvement and acceleration.
• Providing hands-on guidance in deploying advanced static and formal verification technologies, including ML-based solutions.
• Conducting technical presentations, demos, and workshops to educate and empower customer teams.
• Collaborating closely with R&D and product teams to relay customer feedback and influence product direction.
• Supporting pre-sales and post-sales activities, including troubleshooting, solution development, and optimization of verification flows.
• Developing and maintaining best-practice documentation, application notes, and training materials for customers and internal teams.

The Impact You Will Have:

• Accelerate chip development cycles for customers by deploying cutting-edge static verification solutions.
• Enable successful RTL sign-off by ensuring robust Lint, Clock Domain Crossing/Reset Crossing Domain, and Timing Constraint Checks.
• Enhance product quality and reliability through formal verification and advanced debugging support.
• Drive adoption of next-gen ML techniques, helping customers achieve higher automation and efficiency.
• Foster strong, trust-based relationships with key semiconductor and design teams worldwide.
• Shape the evolution of Synopsys verification products through direct customer interaction and feedback.
• Empower diverse teams to overcome technical challenges and deliver market-leading silicon solutions.

What You’ll Need:

• Bachelor’s degree in Computer Science, Electrical Engineering, or related field (Master’s preferred).
• 10+ years of experience in static verification, with hands-on expertise in RTL design.
• Proficiency in SystemVerilog, Verilog, and VHDL, including RTL debugging and constraint checking.
• In-depth knowledge of ASIC design flow, including synthesis and timing constraints.
• Experience with Lint, Clock Domain Crossing, Reset Domain Crossing, and Timing Constraints checking tools.
• Knowledge of formal verification and SVA property verification; experience with ML techniques is a plus.
• Strong verbal and written communication skills, with proven presentation abilities.

Who You Are:

• Analytical thinker with a passion for solving complex technical problems.
• Excellent collaborator and team player, able to work cross-functionally and build consensus.
• Adaptable and resilient in fast-paced, evolving environments.
• Committed to continuous learning and professional development.
• Customer-focused, with strong organizational and interpersonal skills.
• Inclusive, respectful, and supportive of diverse perspectives and backgrounds.

The Team You’ll Be A Part Of:

You will join the Customer Success Group, a passionate and innovative team dedicated to delivering industry-leading RTL static verification solutions. Our team partners closely with customers, R&D, and product management to ensure the successful deployment and evolution of technologies like VC SpyGlass. We value collaboration, creativity, and a shared commitment to excellence, making a tangible impact on the global semiconductor industry.

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.

#LI-LT1

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.

In addition to the base salary, this role may be eligible for an annual bonus, equity, and other discretionary bonuses. Synopsys offers comprehensive health, wellness, and financial benefits as part of a competitive total rewards package. The actual compensation offered will be based on a number of job-related factors, including location, skills, experience, and education. Your recruiter can share more specific details on the total rewards package upon request. The base salary range for this role is across the U.S.