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 dynamic innovator with a steadfast passion for solving complex engineering challenges. With more than a decade of experience in the semiconductor or high-tech domains, you thrive in technical leadership roles and are energized by mentoring and collaborating with diverse, global teams. You possess a deep understanding of software development fundamentals, formal verification, and digital design flows, and you’re eager to apply your expertise to cutting-edge technologies shaping the future of computing, AI, automotive, and mobile industries.

You have a proven track record of architecting and delivering robust solutions in EDA, and you’re comfortable navigating legacy code bases while integrating modern methodologies. You actively seek out new technologies—whether it’s distributed computing, machine learning, or advanced solver algorithms—and enjoy experimenting, prototyping, and refining approaches to push the boundaries of what’s possible. Your communication skills foster effective cross-functional collaboration, and your commitment to excellence ensures that every deliverable meets the highest standards.

You believe in continuous learning and value the opportunity to expand your skill set through challenging projects and global customer interactions. You are driven to make a tangible impact, supporting customers in their quest for innovation and enabling transformative solutions that power the next generation of smart everything.

What You’ll Be Doing:

• Architect and design innovative solutions to enhance verification runtime, memory efficiency, and support advanced synthesis optimizations.
• Research, develop, and prototype formal verification strategies leveraging AI/ML and distributed computing technologies.
• Analyze, test, and debug the Formality code base to continuously improve product performance and reliability.
• Collaborate with cross-functional teams including R&D, customer support, and sales to capture customer requirements and drive product direction.
• Deliver high-quality, production-ready software on schedule, ensuring robust documentation and regression testing.
• Mentor junior engineers, share technical knowledge, and foster an inclusive, innovative team culture.
• Engage with global customers to understand their design challenges and provide expert solutions across computing, AI, automotive, and mobile domains.

The Impact You Will Have:

• Drive the evolution of Synopsys Formality, empowering customers to achieve sign-off quality in their most advanced chip designs.
• Accelerate customer innovation by delivering breakthrough improvements in verification and synthesis flows.
• Enable seamless integration of cutting-edge technologies into workflows, expanding Formality’s capabilities and market reach.
• Mentor and support R&D talent, cultivating a high-performance engineering team that sets industry benchmarks.
• Shape product strategy through deep customer engagement, ensuring solutions align with real-world needs and future trends.
• Enhance Synopsys’ reputation as the trusted partner for next-generation EDA solutions, driving customer satisfaction and loyalty.

What You’ll Need:

• BS/BE in Electrical or Computer Engineering, or related field, with at least 15 years of relevant industry experience.
• Strong software development skills in C or C++, including experience with complex legacy code bases.
• Expertise in data structures, algorithms, heuristics, and their practical applications in EDA.
• Demonstrated ability to learn and apply new technologies in real-world scenarios.
• Excellent written and verbal communication skills for technical and cross-functional collaboration.
• Preferred: PhD or MS/ME in EE/CS/Math/Physics with 13+ years of job-related experience.
• Preferred: Experience in formal verification, synthesis techniques, solver algorithms (SAT/BDD), distributed processing, machine learning, and big data.
• Preferred: Familiarity with Verilog, VHDL, System Verilog, and design methodologies for digital SOC chip design.

Who You Are:

• Innovative thinker with a strong analytical mindset.
• Collaborative leader who inspires and mentors others.
• Adaptable, proactive, and resourceful problem solver.
• Committed to continuous learning and professional growth.
• Effective communicator, able to engage with technical and non-technical audiences.
• Inclusive team player who values diverse perspectives and backgrounds.

The Team You’ll Be A Part Of:

You’ll join the Formality R&D team, a group of passionate engineers dedicated to advancing formal verification technologies. The team thrives on innovation, collaboration, and technical excellence, working closely with global customers and internal experts to shape the future of chip design and verification. Together, you’ll tackle some of the industry’s most challenging problems, deliver sign-off quality solutions, and enable groundbreaking product advancements for Synopsys and its partners.

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.