Synopsys logo

Staff Engineer, Formality Team (R&D Engineering)

Synopsys
May 17, 2026
Full-time
On-site
Bengaluru, Karnataka, India
EDA Jobs, Level - Senior

Job Title

Staff Engineer, Formality Team (R&D Engineering)

Role Summary

Staff Engineer on the Formality team within R&D Engineering, based in Bengaluru, India. The role focuses on development and maintenance of formal verification tooling and related software components.

The position requires collaborating with engineering teams to deliver robust EDA features, troubleshoot complex issues, and contribute to product quality and performance.

Experience Level

Senior-level (Staff Engineer). Years of experience not specified in source.

Responsibilities

Primary responsibilities expected for this staff engineering role include:

  • Design, implement, and maintain software components for formal verification tools.
  • Diagnose and resolve complex defects and performance issues in production code.
  • Collaborate with product, QA, and other engineering teams to define and deliver features.
  • Perform code reviews, enforce engineering best practices, and improve development processes.
  • Mentor and provide technical guidance to junior engineers.

Requirements

Must-have technical skills and attributes (as inferred from the role listing):

  • Proven software development experience working on complex systems or tools.
  • Strong debugging and problem-solving skills for production-quality code.
  • Experience collaborating in cross-functional engineering teams and participating in code reviews.
  • Ability to communicate technical issues clearly and mentor less-experienced engineers.

Nice-to-have (not specified in source):

  • Familiarity with EDA/formal verification concepts and workflows.
  • Experience with performance tuning and scalable software design.

Education Requirements

Not specified.


About the Company

Company: Synopsys

Headquarters: Mountain View, California, USA

Synopsys is a leading company in electronic design automation (EDA) and semiconductor IP solutions. It provides tools and services for designing and verifying complex semiconductor devices and systems. The company plays a pivotal role in the semiconductor industry, helping engineers innovate and deliver higher-quality products faster. Synopsys is committed to advancing technology standards and offers a range of software and hardware solutions to its clients globally.

Synopsys logo

Date Posted: 2026-05-13