Director Formal Verification Applications Engineering

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 a seasoned professional with a passion for formal verification and a knack for managing high-performing teams. With over 15 years of industry experience, you bring deep expertise in RTL design or verification methodologies, especially those involving simulation-based technologies. Your leadership skills are evident in your ability to manage medium to large-sized teams effectively, fostering an environment of collaboration and innovation. You possess a strong understanding of Assertion-based verification, hardware design, and micro-architecture, coupled with exceptional scripting skills in languages like Tcl, Perl, and Python. Your communication skills, both oral and written, are top-notch, enabling you to interact seamlessly with senior management and major customers. You have a strategic mindset, capable of driving technical reviews, competitive analysis, and the development of new formal verification flows and methodologies. Your commitment to inclusion and diversity aligns with our values at Synopsys, making you a perfect fit for our team.

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.

Who You Are:

You are a strategic thinker with a proven track record in formal verification and team management. You thrive in a collaborative environment and are adept at building strong relationships with both internal teams and external customers. Your technical expertise is complemented by your ability to communicate complex ideas clearly and effectively. You are committed to continuous learning and staying at the forefront of technological advancements. Your dedication to inclusion and diversity ensures a welcoming and supportive team culture.

The Team You’ll Be A Part Of:

The Formal Verification Team is part of Synopsys EDA Group. We work with top-tier Synopsys customers to deploy high-quality Formal Verification Solutions and Flows on the cutting-edge verification requirements of the industry. The team works across the spectrum of verification challenges like Property Verification, Data Path Verification, Clock-gating Checks, Design Security, Automotive Safety, etc. The team believes in fostering interest and opportunities to work in different aspects of design verification.

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.

Inclusion and Diversity are important to us. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, age, military veteran status, or disability.