Director Formal Verification 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:

A visionary and experienced leader with a passion for formal verification methodologies. You have a robust background in digital design and formal verification of hardware IPs, with a proven track record in leading engineering teams to success. Your strategic mindset and technical expertise enable you to develop and execute verification strategies for cutting-edge digital design IPs. You are collaborative, innovative, and dedicated to fostering a culture of excellence and continuous learning. As an effective communicator, you can distill complex technical information into clear, concise presentations for diverse audiences.

What You will Be Doing:

• Developing and leading formal verification strategies for IPs, aligning with industry standards and customer needs.
• Overseeing the design, execution, and continuous improvement of formal verification methodologies for processors, datapaths, and firmware frameworks.
• Providing technical and strategic guidance to engineering teams, fostering collaboration, innovation, and excellence.
• Building and leading a high-performing team of formal verification engineers, defining clear goals, objectives, and metrics for success.
• Mentoring and coaching engineering managers and technical leads, promoting professional growth within the team.
• Overseeing project planning and execution for multiple concurrent IP verification projects, ensuring timely and budget-conscious delivery.
• Collaborating closely with IP design, architecture, product management, and customer support teams to ensure a comprehensive verification process.
• Representing the company in industry forums, technical conferences, and consortiums, positioning Synopsys as a thought leader in formal verification.

The Impact You Will Have:

• Ensuring the highest standards of quality, efficiency, and innovation in formal verification processes.
• Delivering high-value IP to leading semiconductor design companies worldwide.
• Driving the adoption of new verification techniques and emerging technologies within the team.
• Enhancing productivity through the implementation of advanced verification tools and methodologies.
• Strengthening cross-functional collaboration, leading to seamless and efficient verification processes.
• Positioning Synopsys as a leader in the industry through active engagement and thought leadership.

What You will Need:

• Bachelors or Master’s degree in Electrical Engineering, Computer Engineering, or a related field; a Ph.D. is a plus.
• 5+ years of experience in digital design and formal verification of hardware IPs, with 4+ years in a senior engineering management or director role.
• Proven experience in formal verification methodologies and tools (e.g., Jasper, VC Formal, Questa Formal).
• Deep understanding of digital design, computer architecture, and high-speed interface protocols such as CXL, UCIe, USB, PCIe, and Ethernet.
• Hands-on experience with verification languages (SystemVerilog Assertions, PSL) and scripting languages (Python, TCL).

Who You Are:

• Demonstrated success in leading engineering teams, with a focus on fostering a high-performance culture.
• Excellent communication skills, capable of distilling complex technical information into clear, concise presentations.
• Strategic thinker with a vision for driving innovation in formal verification methodologies.
• Collaborative leader who fosters an environment of continuous learning and professional growth.

The Team You Will Be A Part Of:

You will lead a dynamic and highly skilled team of formal verification engineers dedicated to ensuring the highest quality and performance of our IP solutions. The team is focused on innovation, collaboration, and excellence, working closely with cross-functional engineering teams to deliver cutting-edge verification methodologies and solutions.

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.