We Are

Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D; capability and productivity, powering innovation today that ignites the ingenuity of tomorrow.

You Are

You are a highly skilled R&D; engineer who is energized by working deep in the core internals of a large, mission-critical EDA product. You take pride in writing robust, performant, and maintainable C++ on UNIX/Linux, leveraging up-to-date IDEs and AI-assisted developer environments to accelerate development. You have a deep appreciation for the data structures, memory layouts, and algorithmic choices that determine whether a tool scales gracefully to billion-gate designs and enjoy reasoning about netlist representations, graph traversals, hashing strategies, and the subtle trade-offs between runtime, memory footprint, and capacity.





You communicate clearly and employ a methodical approach to solving complex problems. You see software craftsmanship — clean interfaces, disciplined testing, and measurable improvements — as the foundation of long-term product health.

What You'll Be Doing

Architect, develop, and own core infrastructure of the Formalityverificationengine.
Drive runtime, memory, and capacity improvements profiling production designs and re-engineering hotspots to deliver step-function gains.
Design and hardenparallelarchitecturesto scale equivalence checkingtomodernmulti-core machines.
Take end-to-end technical ownership of complex customer escalations rooted in layers — reproducing, root-causing, fixing, and adding the safeguards that prevent regression.
Initiatedesign reviews, raise the bar on code quality and unit-test coverage.
Collaborate across teams to enable the abstractions needed for future capabilities.

The Imp

📌 Staff R&D Engineer (Bengaluru)
🏢 Synopsys
📍 Bengaluru