SI
Formal Verification R&D Engineer
Accepting applicationsSynopsys Inc · Bengaluru, Karnataka, India
Full-Time Mid_senior AIC++PerlPythonSynopsys
Posted
5d ago
Category
Test
Experience
Mid_senior
Country
India
We Are
Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D capability and productivity, powering innovation today that ignites the ingenuity of tomorrow.
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 in patch quality, tool performance, and memory utilization
Lead technical investigations, root‑cause complex issues, and implement robust fixes across large, production‑grade ECO’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 a Master’s degree with 3+ years of relevant experience
Strong software development experience in C++ on UNIX/Linux platforms and knowledge of EDA flows
Proficient in 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 to scripting languages like Python, TCL, Perl &shell scripting.
Familiarity with HDL languages such as Verilog or System Verilog, 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 to identify solutions 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.
Rewards And Benefits
We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process.
#TPG
Show more Show less
Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon design, IP, simulation and analysis solutions, and design services. We partner closely with our customers across a wide range of industries to maximize their R&D capability and productivity, powering innovation today that ignites the ingenuity of tomorrow.
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 in patch quality, tool performance, and memory utilization
Lead technical investigations, root‑cause complex issues, and implement robust fixes across large, production‑grade ECO’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 a Master’s degree with 3+ years of relevant experience
Strong software development experience in C++ on UNIX/Linux platforms and knowledge of EDA flows
Proficient in 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 to scripting languages like Python, TCL, Perl &shell scripting.
Familiarity with HDL languages such as Verilog or System Verilog, 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 to identify solutions 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.
Rewards And Benefits
We offer a comprehensive range of health, wellness, and financial benefits to cater to your needs. Our total rewards include both monetary and non-monetary offerings. Your recruiter will provide more details about the salary range and benefits during the hiring process.
#TPG
Show more Show less