Staff R&D Software Engineer – Formal Verification

We Are:

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 a dedicated and seasoned engineer with a strong background in formal verification, equivalence checking, and SAT/SMT solvers. You possess excellent coding skills in C/C++ and have a deep understanding of algorithms and data structures. Your analytical, logical reasoning, and problem-solving abilities are exceptional, allowing you to tackle complex verification challenges efficiently. With 5 to 10 years of relevant experience, you are well-versed in the latest verification methodologies and tools. You thrive in dynamic environments, working independently with minimal supervision while effectively communicating and collaborating with cross-functional teams. Your innovative mindset and commitment to excellence drive you to continuously learn and adapt, ensuring that you stay at the forefront of technological advancements.

What You’ll Be Doing:

• Developing and enhancing formal verification solutions with a focus on equivalence checking and SAT/SMT solver technologies.
• Implementing and optimizing verification algorithms to improve the performance and capacity of our VC Formal tool.
• Collaborating with cross-functional teams to integrate formal verification methodologies into the overall verification flow.
• Conducting thorough analysis and debugging of complex SoC designs to identify and resolve verification issues.
• Creating and maintaining comprehensive documentation for verification processes, methodologies, and best practices.
• Staying updated with the latest industry trends and advancements in formal verification to drive continuous improvement.

The Impact You Will Have:

• Enhance the capabilities of our VC Formal tool, ensuring it meets the highest standards of performance and reliability.
• Enable our customers to tackle the most challenging verification tasks with confidence and efficiency.
• Contribute to the development of cutting-edge verification technologies that set new industry benchmarks.
• Drive innovation in formal verification methodologies, positioning Synopsys as a leader in the field.
• Support the successful delivery of high-quality, high-performance SoC designs for a wide range of applications.
• Foster a culture of excellence and continuous improvement within the verification team.

What You’ll Need:

• Proficiency in C/C++ programming with a focus on developing high-performance software.
• Strong understanding of algorithms and data structures, particularly in the context of formal verification.
• Experience with formal verification techniques, equivalence checking, and SAT/SMT solvers.
• Excellent analytical and problem-solving skills with the ability to tackle complex verification challenges.
• 5 to 10 years of relevant experience in formal verification or related fields.

Who You Are:

• Innovative and driven, with a passion for pushing the boundaries of technology.
• Detail-oriented and meticulous, ensuring the highest standards of quality in your work.
• Collaborative and communicative, able to work effectively within cross-functional teams.
• Adaptable and open to learning, continuously seeking to enhance your skills and knowledge.
• Committed to excellence and dedicated to achieving outstanding results.

The Team You’ll Be A Part Of:

You will be part of a highly skilled and motivated verification team focused on developing and enhancing formal verification solutions. The team is dedicated to pushing the boundaries of what is possible in verification technology, working collaboratively to solve complex challenges and deliver innovative solutions. You will have the opportunity to work with industry-leading experts and contribute to the development of cutting-edge verification tools that empower our customers to achieve their design goals with confidence.

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.