Staff Engineer, Formality Team (R&D)

Job Title

Staff Engineer, Formality Team (R&D)

Role Summary

Work on the core internals of the Formality formal equivalence checking engine, owning infrastructure, data structures, and performance characteristics. The role focuses on scalability, runtime and memory optimization, and robust, maintainable C++ development on UNIX/Linux.

Team: Formality R&D. Responsibilities include design leadership, cross-team collaboration, mentoring, and resolving complex customer escalations.

Experience Level

Senior-level. Expected professional software development experience: 5+ years (BE/B.Tech), 3+ years (MS), or 2+ years (PhD) working on large, production C++ codebases with demonstrated module ownership and technical leadership.

Responsibilities

Key responsibilities include:

• Architect, develop, and own core infrastructure of the Formality verification engine.
• Profile production designs and implement runtime, memory, and capacity improvements.
• Design and harden parallel architectures to scale equivalence checking on multi-core machines.
• Take end-to-end technical ownership of complex customer escalations: reproduce issues, root-cause, fix, and add safeguards.
• Initiate and lead design reviews; raise code quality and unit-test coverage.
• Collaborate across teams to define abstractions for future capabilities and mentor engineers.

Requirements

Must-have technical skills and experience:

• Expert in modern C++ (STL, templates) and idiomatic memory/lifetime management for performance-sensitive systems.
• Strong fundamentals in data structures and algorithms (graphs, hash tables, trees, traversal, BDD) with experience applying them at scale.
• Demonstrated ability to profile, diagnose, and optimize runtime, memory, and scalability on large, multi-million-instance workloads.
• Working knowledge of HDLs (Verilog/SystemVerilog/VHDL) and digital design fundamentals; familiarity with synthesis/equivalence flows is preferred.
• Proficiency with TCL, Python, and shell scripting for tool infrastructure and regressions.
• Exposure to AI-assisted developer tools (e.g., GitHub Copilot) and modern productivity practices.
• Excellent written and verbal communication; ability to lead technical discussions across teams.

Education Requirements

BE/B.Tech in Computer Science, Electrical, or Electronics Engineering with strong relevant experience; or an MS or PhD in a related discipline. The posting specifies experience expectations by degree: 5+ years (BE/B.Tech), 3+ years (MS), or 2+ years (PhD). Equivalent practical experience is implied.

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.