Senior Software Engineer - Formal Verification R&D

Role Overview: You are an accomplished software engineer with a passion for formal verification and eager to solve complex challenges in chip design and verification. You excel in an environment that values innovation, collaboration, and technical excellence. Your background in computer science, proficiency in C/C++ programming, and expertise in algorithms and data structures make you adept at designing and implementing robust software solutions. You are a proactive individual contributor who takes ownership of initiatives, drives them from conception to delivery, and excels at prioritizing tasks to meet project milestones. Collaboration is second nature to you, as you work seamlessly with global, cross-functional teams.

Key Responsibilities: - Lead and deliver multi-project functionality for each VC Formal product release as a technical expert and initiative owner. - Design, implement, and test complex algorithms and data structures for high-performance formal verification solutions. - Drive technical initiatives, collaborate with peers and management to execute the vision for formal verification advancements. - Identify broad objectives and develop strategies to solve challenging problems in software development. - Run effective meetings to facilitate team problem-solving and help overcome technical roadblocks. - Collaborate with global cross-functional teams to define, implement, and deliver innovative verification solutions. - Ensure the quality, robustness, and efficiency of software implementations in a large-scale development environment. - Prioritize project milestones and features, and develop project schedules with minimal managerial direction.

Qualifications Required: - BS/MS in Computer Science or related field, with 5+ years of relevant experience in software development. - Expertise in C/C++ programming and 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.

Company Details: 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 to address demanding SoC design challenges. Collaboration, knowledge sharing, and a commitment to technical excellence are at the heart of the team's culture, offering you the opportunity to contribute to industry-leading products and shape the future of verification technology. Role Overview: You are an accomplished software engineer with a passion for formal verification and eager to solve complex challenges in chip design and verification. You excel in an environment that values innovation, collaboration, and technical excellence. Your background in computer science, proficiency in C/C++ programming, and expertise in algorithms and data structures make you adept at designing and implementing robust software solutions. You are a proactive individual contributor who takes ownership of initiatives, drives them from conception to delivery, and excels at prioritizing tasks to meet project milestones. Collaboration is second nature to you, as you work seamlessly with global, cross-functional teams.

Key Responsibilities: - Lead and deliver multi-project functionality for each VC Formal product release as a technical expert and initiative owner. - Design, implement, and test complex algorithms and data structures for high-performance formal verification solutions. - Drive technical initiatives, collaborate with peers and management to execute the vision for formal verification advancements. - Identify broad objectives and develop strategies to solve challenging problems in software development. - Run effective meetings to facilitate team problem-solving and help overcome technical roadblocks. - Collaborate with global cross-functional teams to define, implement, and deliver innovative verification solutions. - Ensure the quality, robustness, and efficiency of software implementations in a large-scale development environment. - Prioritize project milestones and features, and develop project schedules with minimal managerial direction.

Qualifications Required: - BS/MS in Computer Science or related field, with 5+ years of relevant experience in software development. - Expertise in C/C++ programming and 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.

Comp