The Job

Staff R&D Engineer (C++)

Technology, Data & Digital · Software & Web Development · Software Engineering · Embedded Systems

Join for updates

In short

Synopsys is seeking a highly skilled Staff R&D Engineer with C++ expertise to work on core infrastructure for their Formality verification engine. This role involves architecting, developing, and optimizing software for chip design, focusing on runtime, memory, and capacity improvements on UNIX/Linux systems.

Responsibilities

  • Architect, develop, and own core infrastructure of the Formality verification engine.
  • Drive runtime, memory, and capacity improvements by profiling production designs and re-engineering hotspots.
  • Design and harden parallel architectures to scale equivalence checking to modern multi-core machines.
  • Take end-to-end technical ownership of complex customer escalations, from reproduction to fixing.
  • Initiate design reviews and improve code quality and unit-test coverage.
  • Collaborate across teams to enable abstractions for future capabilities.

Requirements

  • BE/B.Tech in Computer Science, Electrical, or Electronics Engineering with strong relevant experience, or MS/PhD in a related discipline.
  • 5+ years (BE/B.Tech), 3+ years (MS), or 2+ years (PhD) of professional software development experience in large, production C++ codebases.
  • Demonstrated module ownership and technical leadership on non-trivial features.
  • Expert command of modern C++, the STL, templates, and idiomatic memory and lifetime management for performance-sensitive systems.
  • Strong fundamentals in data structures and algorithms (graphs, hash tables, trees, traversal, BDD) and their application to engineering problems.
  • Demonstrated ability to profile, diagnose, and optimize for runtime, memory, and scalability on multi-million-instance workloads.
  • Working knowledge of HDLs (Verilog/SystemVerilog/VHDL) and digital design fundamentals.
  • Comfort with TCL, Python, and shell scripting for tool infrastructure, regressions, and developer tooling.
  • Exposure to AI-assisted developer tools (e.g., Cursor, GitHub Copilot).
  • Excellent written and verbal communication skills, with the ability to lead technical discussions.

Desired Qualifications

  • Familiarity with synthesis, equivalence checking, or related EDA flows is strongly preferred.
  • A systems thinker who understands how a small change deep in the system ripples through the entire product.
  • A disciplined engineer who values measurement over intuition and tests over hope.
  • A mentor and collaborator who lifts the technical quality of everyone around you.
  • A pragmatic problem-solver who balances long-term architecture with short-term delivery.
  • A continuous learner who keeps pace with advances in C++ and EDA methodology.

Benefits

  • Competitive salaries.
  • Comprehensive medical and healthcare plans.
  • ETO and FTO Programs for time away.
  • Maternity and paternity leave, parenting resources, adoption and surrogacy assistance.
  • ESPP: Purchase Synopsys common stock at a 15% discount.
  • Retirement plans (vary by region and country).
  • Total rewards include both monetary and non-monetary offerings.
#R&D#Software Development#EDA#Chip Design#C++#AI/ML#GenAI#Cloud
Synopsys Inc Logo

Company

Synopsys Inc

Job Posted

1 month ago

Employment Type

Full Time

WorkMode

On Site

Experience Level

Senior

Locations

Bengaluru, India

Qualification

Bachelor, Master, Doctoral

Applicants

Be an early applicant