You'll join the Formality R&D teaman enthusiastic, creative, and highly skilled group of engineers focused on developing world-class formal verification tools. The team collaborates closely, values technical mentorship, and is driven by a shared mission to advance the capabilities of digital SOC chip design
Job description:
- 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'll Need:
- BS/BE degree in Electrical or Computer Engineering (or related field) with at least 4 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.
