R&D Engineering, Staff Engineer - LEC & ECO

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 inpatchquality,toolperformance, and memoryutilization
• Lead technical investigations, root‑cause complex issues, and implement robust fixes across large, production‑gradeECO’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 aMaster’sdegree with 3+ years of relevant experience
• Strong software development experience in C++ on UNIX/Linux platformsand knowledge of EDA flows
• Proficientin 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 toscripting languages likePython, TCL,Perl &shell scripting.
• Familiarity with HDL languages such as Verilog orSystemVerilog, 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 toidentifysolutions 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.