Director Formal Verification Applications Engineering

Job Description

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.