What you'll do

You will lead and deliver 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.

What you need

• 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.

Why this matters

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.

XML job scraping automation by YubHub