Senior Staff Product Validation Engineer - PD Formality

You Are:

You are a passionate and highly skilled engineer with a deep understanding of digital implementation and logic equivalence checking and a strong desire to lead product validation efforts. Your exceptional debugging skills and proficiency in software and scripting languages such as Perl, Tcl, and Python set you apart. With a keen eye for detail, you maintain high standards of product quality and excel in communication and leadership roles. You thrive in collaborative environments, working closely with cross-functional teams to develop and execute comprehensive validation plans. Your analytical mindset allows you to perform in-depth root cause analysis and proactively address potential issues, ensuring the readiness of products for customer deployment. You are an experienced professional with a B.Tech or M.Tech degree and a minimum of 6-8 years of related experience, ready to make a significant impact on our Formality tool.

What You’ll Be Doing:

• Execute and lead product validation of Synopsys's Formality tool by understanding requirements specifications, functional specifications, and customer use cases
• Lead a team of 5 or more product validation engineers
• Collaborate with cross-functional teams such as R&D, Product Engineering to develop, implement, and execute comprehensive validation plans based on our technical roadmap and specifications
• Define and manage scope, schedule, and risks associated with the validation objectives
• Perform in-depth customer incoming root cause analysis to understand the product weak areas and hot spots and execute proactive testing to improving product quality
• Use product expertise to provide technical recommendations, identify, diagnose and troubleshoot issues, and propose solutions to ensure quality and readiness of the product/solution for customer deployment
• Analyze product validation data to identify trends, discrepancies, and areas for improvement
• Prepare detailed validation reports for presenting to multi-functional teams and management

The Impact You Will Have:

• Ensuring the quality and reliability of Synopsys's Formality product to keep standing out as a leading LEC solution in the industry
• Enabling timely and successful deployment of high-performance designs for our customers
• Contributing to the innovation and advancement of LEC and product validation technologies
• Strengthening collaboration and communication across R&D, Product Engineering, and Field teams

What You’ll Need:

• B.Tech or equivalent and a minimum of 8 years of related experience or M.Tech or equivalent and a minimum of 6 years of related experience
• Self-motivated individual with deep domain knowledge in Logic Equivalence Checking (LEC) including expertise in debugging and resolving LEC failures using Synopsys’s Formality tool
• Experience and sound knowledge in design implementation including datapath optimization, CTS, UPF and DFT instrumentation
• Sound knowledge in HDL including SystemVerilog and VHDL
• Exceptional debugging skills
• Proficiency in software and scripting skills (Perl, Tcl, Python)
• Experience in cross-functional teamwork, driving projects and mentoring

Who You Are:

• Details oriented with a focus on maintaining high standards of product quality
• Excellent communication, organizational, risk assessment/mitigation, and time management skills
• Ability to abstract up and communicate meaningful conclusions and define next steps
• Excellent communication and leadership skills