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.

• 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.