Staff R&D Software Engineer – VC Formal

Overview

At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the future through continuous technological innovation.

You Are:

You are an accomplished software engineer with a passion for formal verification, eager to solve some of the industry’s most complex challenges in chip design and verification. You thrive in an environment where innovation, collaboration, and technical excellence are core values. Your background in computer science is solid, with a proven track record of designing and implementing robust software solutions using C/C++. A strong analytical mindset and expertise in algorithms and data structures are your hallmarks, and you’re adept at breaking down intricate problems into actionable solutions.

You are a proactive individual contributor who takes ownership of initiatives, driving them from conception to delivery. Your approach is strategic, balancing the big picture with attention to detail, and you excel at prioritizing tasks to meet project milestones. Collaboration is in your DNA—you work seamlessly with global, cross-functional teams, facilitating effective meetings and guiding your peers through technical challenges.

Integrity, accountability, and a positive attitude define your work style. You are self-driven, dependable, and eager to learn, with a knack for quickly mastering new technologies. As a team player with excellent communication skills, you contribute to a culture of trust and continuous improvement. If you are excited by the opportunity to shape the future of formal verification and make a tangible impact in the EDA industry, you’ll fit right in with our dynamic Noida R&D team.

What You’ll Be Doing:

• Leading and delivering multi-project functionality for each VC Formal product release as a technical expert and initiative owner.
• Designing, implementing, and testing complex algorithms and data structures for high-performance formal verification solutions.
• Driving technical initiatives, collaborating with peers and management to sell and execute the vision for formal verification advancements.
• Identifying broad objectives and developing strategies to solve open-ended, challenging problems in software development.
• Running effective meetings to facilitate team problem-solving and helping overcome technical roadblocks (“brick walls”).
• Collaborating with global cross-functional teams to define, implement, and deliver innovative verification solutions.
• Ensuring the quality, robustness, and efficiency of software implementations in a large-scale development environment.
• Prioritizing project milestones and features, and developing project schedules with minimal managerial direction.
  
  

• Accelerate the verification of complex SoC designs, enabling Synopsys customers to deliver innovative products to market faster.
• Shape the development of next-generation formal verification algorithms and methodologies, setting industry benchmarks.
• Enhance the scalability and performance of VC Formal, ensuring it remains the tool of choice for the most challenging design tasks.
• Drive technical excellence and foster a culture of innovation within the R&D team and across the organization.
• Mentor and inspire fellow engineers by sharing best practices and facilitating knowledge transfer.
• Contribute to the overall success of Synopsys by delivering reliable, high-quality software that meets and exceeds customer expectations.
  
  

• BS/MS in Computer Science or related field, with 5+ years of relevant experience in software development.
• Expertise in C/C++ programming, with a demonstrated ability to write efficient, maintainable code.
• Strong foundation in algorithms and data structure design, with practical implementation experience.
• Proficiency in software development processes, debugging, and configuration management tools.
• Solid understanding of digital logic; prior experience in EDA, equivalence checking, or formal technologies is a plus.
  
  

• Highly motivated, responsible, and dependable with a strong sense of ownership.
• Quick learner who embraces new technologies and adapts to changing priorities.
• Excellent problem solver with sharp analytical and logical reasoning skills.
• Initiative-driven and proactive in driving solutions and overcoming challenges.
• Exceptional team player with outstanding oral and written communication skills in English.
• Flexible and able to manage multiple tasks in a dynamic, fast-paced environment.
• Committed to high standards of integrity and a positive, collaborative attitude.
  
  

You will join the VC Formal R&D team in Noida—a group of passionate engineers dedicated to advancing formal verification technology. The team focuses on developing high-capacity, high-performance formal verification solutions that address the most demanding SoC design challenges. Collaboration, knowledge sharing, and a commitment to technical excellence are at the heart of our culture. As part of this innovative and supportive team, you’ll have the opportunity to contribute to industry-leading products and shape the future of verification technology.

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.