Director Formal Verification Applications Engineering

What You'll Be Doing:

• Manage a team of product application engineers to promote the adoption of Synopsys Formal Verification Apps.
• Develop and strengthen strategic partnerships with key customers.
• Drive management and technical review meetings with strategic customers.
• Perform competitive analysis to guide the development of differentiating formal technologies and methodologies.
• Collaborate with R&D and Product Management teams to develop new flows and functionalities.
• Define formal verification flows and methodologies to enhance customer productivity.
• Drive the scoping and execution of formal consulting services.
• Lead the development of assertion IPs to meet customer requirements.

The Impact You Will Have:

• Facilitate the widespread adoption of Synopsys Formal Verification Apps, driving innovation in the industry.
• Build and maintain strong relationships with strategic customers, ensuring their needs are met and exceeded.
• Enhance the competitive edge of Synopsys through thorough competitive analysis and innovation.
• Drive the development of cutting-edge verification flows and methodologies, setting industry standards.
• Improve customer productivity and satisfaction through well-defined verification processes.
• Lead a high-performing team, fostering an environment of collaboration and continuous improvement.

What You'll Need:

• EE graduate from a reputed school, with post-graduate qualifications preferred.
• 15+ years of industry experience in RTL design or verification using simulation-based technologies.
• 5+ years of experience managing medium to large-sized teams.
• In-depth understanding of Assertion-based verification using formal and simulation methods.
• Strong knowledge of hardware design (Verilog/VHDL) and micro-architecture.
• Expertise in Unix/Linux automation shell (bash, csh) and scripting (Tcl, Perl, Python).
• Excellent oral and written communication skills.
• Expertise in one or more areas such as Formal Property Verification testbench development, floating point arithmetic operations, C/C++, IEEE math libraries, Security architecture, Automotive Safety (FuSa) verification, and Verification signoff with formal.