What you'll do
Designing and developing advanced algorithms for formal equivalence checking in complex digital SOC designs. Architecting innovative solutions to enhance runtime, memory efficiency, and supporting state-of-the-art synthesis optimizations. Collaborating with a dynamic R&D team to develop, prototype, and deliver high-quality EDA tools for Formality. Engaging in technical mentoring, sharing expertise, and guiding junior engineers to elevate overall team performance. Interacting with global customers across computing, AI, automotive, and mobile industries to understand their needs and deliver tailored solutions. Applying formal verification strategies, distributed computing, and machine learning techniques to solve industry-leading challenges. Contributing to the enhancement of existing engines, creation of new algorithms, and deployment of innovative AI/ML technologies. Ensuring timely delivery of high-quality software, aligned with customer requirements and product roadmaps.
What you need
BS/BE degree in Electrical or Computer Engineering (or related field) with at least 8 years of relevant experience. Proficiency in software development using C or C++. Strong grasp of data structures, algorithms, heuristics, and their practical applications. Experience in formal verification, synthesis techniques, and equivalence concepts. Knowledge of solver algorithms such as SAT or BDD, and familiarity with regression testing and software design processes. Hands-on experience with Verilog, VHDL, and System Verilog. Understanding of distributed processing, big data, and machine learning techniques is a plus. Demonstrated ability to work with complex legacy code bases and learn new technologies quickly.
Why this matters
Shape the future of digital SOC chip design by delivering industry-leading formal verification solutions. Drive performance improvements in Formality tools, enabling customers to achieve faster and more reliable design sign-off. Mentor and empower fellow engineers, building a culture of knowledge sharing and technical excellence. Enhance Synopsys’ reputation as a leader in EDA innovation, contributing to successful chip launches in high-growth markets. Bridge the gap between customer needs and product capabilities, ensuring solutions are practical, scalable, and impactful. Accelerate the adoption of advanced technologies, including AI/ML and distributed processing, within the formal verification domain. Help customers deliver their next big innovation—whether in AI, automotive, computing, or mobile—by providing robust, sign-off-ready solutions.
