Senior Research and Development Engineer - C++

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 technically driven R&D Engineer with deep expertise in data structures, algorithms, and performance‑critical software design. You bring strong experience developing and debugging large, complex C++ codebases on UNIX/Linux platforms and enjoy taking ownership of core technologies from design through delivery. You thrive on solving challenging, real‑world customer problems, applying analytical rigor to produce high‑quality, efficient, and scalable solutions with fast turnaround time.

You are comfortable working end to end, collaborating effectively with R&D peers and customer‑facing teams to align technical solutions with product goals. You are self‑motivated and results‑oriented, with a strong appreciation for clean design, high code quality, and continuous improvement, and you are eager to learn new technologies and tools that enhance productivity and product excellence.

What You’ll Be Doing

• Actively design, implement, and deliver core enhancements to the Formality ECO technology with a strong hands‑on focus
• Maintain, debug, and enhance existing functionality, driving measurable improvements in patch quality, tool performance, and memory utilization
• Lead technical investigations, root‑cause complex issues, and implement robust fixes across large, production‑grade ECO’s
• Collaborate closely with Synopsys R&D peers and customer support to translate real customer ECO challenges into practical, high‑impact solutions
• Champion best practices in code quality, testing, and design, contributing to the long‑term health and evolution of the product

The Impact You Will Have

• Ensure the robustness, reliability, and performance of world‑class ECO solutions that are integral to global chip design workflows.
• Drive continuous quality enhancements that have a direct and measurable impact on customer success and satisfaction.
• Advance formal and practical ECO verification methodologies, reinforcing Synopsys’ position as an industry leader.
• Contribute to the delivery of scalable, high‑performance solutions capable of meeting the stringent requirements of next‑generation semiconductor designs.

What You’ll Need

• Bachelor’s degree in Electrical, Electronics, or Computer Science Engineering with 5+ years of relevant experience, or a Master’s degree with 3+ years of relevant experience
• Strong software development experience in C++ on UNIX/Linux platforms and knowledge of EDA flows
• Proficient in data structures, algorithms, and their practical use cases, including system design

• Experience working with large, complex code bases in commercial software tools
• Familiarity with modern developer productivity tools such as Cursor or GitHub Copilot
• Exposure to scripting languages like Python, TCL, Perl &shell scripting.
• Familiarity with HDL languages such as Verilog or System Verilog, or a willingness to learn their nuances
• Knowledge of Logic Equivalence Checking (LEC) is a plus
• Effective communication and presentation skills for technical discussions

Who You Are

• A strong analytical and critical thinker with a keen attention to detail.
• An effective communicator, comfortable collaborating across teams and engaging with customers
• Self‑motivated and proactive, with a drive to identify solutions and move initiatives forward
• Adaptable and resilient, thriving in fast‑paced, dynamic environments
• A collaborative team player committed to continuous learning and improvement

The Team You’ll Be a Part Of
You’ll join the Formality ECO R&D team, a fast‑paced group focused on solving complex challenges in generating high‑quality, functionally accurate ECO patches with aggressive turnaround time goals. The team emphasizes patch minimality, correctness, and reliability for large designs while continuously improving product quality.

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.

#TPG