Staff R&D Engineer (C++)

Synopsys software engineers are key enablers in the world of Electronic Design Automation (EDA), developing and maintaining software used in chip design, verification and manufacturing.

As a Staff R&D Engineer (C++), you will architect, develop, and own core infrastructure of the Formality verification engine. You will drive runtime, memory, and capacity improvements profiling production designs and re-engineering hotspots to deliver step-function gains.

Responsibilities:

• Architect, develop, and own core infrastructure of the Formality verification engine.
• Drive runtime, memory, and capacity improvements profiling production designs and re-engineering hotspots to deliver step-function gains.
• Design and harden parallel architectures to scale equivalence checking to modern multi-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.
• Initiate design reviews, raise the bar on code quality and unit-test coverage.
• Collaborate across teams to enable the abstractions needed for future capabilities.

Requirements:

• BE/B.Tech in Computer Science, Electrical, or Electronics Engineering with strong relevant experience, or an 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, with 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 and BDD , with a track record of applying them to real engineering problems.

Benefits:

• Comprehensive medical and healthcare plans that work for you and your family.
• Time away: In addition to company holidays, we have ETO and FTO Programs.
• Family support: Maternity and paternity leave, parenting resources, adoption and surrogacy assistance, and more.
• ESPP: Purchase Synopsys common stock at a 15% discount, with a 24-month look-back.
• Retirement plans: Save for your future with our retirement plans that vary by region and country.
• Competitive salaries.