R&D Engineering, Sr Architect

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: An experienced and dynamic professional with a passion for creating efficient data structures and algorithmic solutions to tackle complex technological challenges. You thrive in a high-caliber team of developers and are committed to delivering quality production software that satisfies our customers' needs. With your strong understanding of the VLSI design flow and methodology, you bring a unique perspective to the team. Your proficiency in developing and maintaining C and C++-based applications in a Unix/Linux environment sets you apart. You are attentive to strict performance and quality requirements, and your sound communication skills enable you to steer and coordinate discussions effectively, presenting them in an organized fashion.
What You’ll Be Doing:

• Designing efficient data structures and algorithmic solutions
• Working with a high-caliber team of developers
• Developing and maintaining C and C++-based applications
• Ensuring strict performance and quality requirements
• Coordinating discussions and presenting them effectively
• Producing design documents based on product requirements

The Impact You Will Have:

• Driving innovation in the field of Equivalence Checking and automation of Functional ECOs
• Contributing to full-chip and hierarchical Low Power signoff verification
• Supporting distributed verification for scalable and fast design closure
• Enhancing our software's performance and quality
• Strengthening our team's communication and coordination
• Advancing our product requirements and design documents

What You’ll Need:

• Proficiency in developing and maintaining C and C++-based applications
• Expertise in software development lifecycle
• Proficiency with debugging and configuration management tools
• Understanding of VLSI design flow and methodology
• Sound communication skills, verbal and written
• BS/MS/Ph.D. CS, EE + 15+ years of experience in programming EDA software

Desirable to Have:

• Experience in formal verification and/or synthesis techniques
• In-depth knowledge of solver algorithms such as SAT or BDD

Who You Are: A driven professional who thrives in a team-oriented environment. You value clear communication and have a knack for coordinating group discussions. Your attention to detail ensures that you meet strict performance and quality requirements.
The Team You’ll Be A Part Of: You will be part of the industry’s leading Equivalence Checking software R&D team. We lead and drive innovation in the field FEV, Functional ECOs, and Full flow Low Power verification delivering the best verifiable synthesis QoR.
Inclusion and Diversity: Synopsys considers all applicants for employment without regard to race, color, religion, sex, gender preference, national origin, age, disability, or status as a Covered Veteran in accordance with federal law. We strive to foster an inclusive, diverse workplace where everyone feels valued and empowered to innovate.