Senior RandD Engineer-Formal Verification-16960

Developing and improving algorithms in C for Formality. Researching and implementing new solver techniques like SAT and BD - Ds. Debugging, testing, and refining the Formality codebase. Collaborating on formal verification strategies with your team. Exploring distributed computing and machine learning for EDA - The Impact You Will Have. Raising the bar for Formalitys speed and accuracy. Enabling customers to verify complex chip designs with confidence. Turning research into tools that solve real design challenges. Improving team knowledge and code quality through collaboration. What You'll Need. PhD, MS, or ME in CS or EE with strong programming skills. Strong C skills and experience in large codebases. Solid grasp of algorithms, data structures, and heuristics. Experience with formal verification or solver algorithms (SAT, BD - Ds)Distributed computing or ML experience is a bonus. Who You Are. You get to the root of technical problems, not just the symptoms. You explain complex ideas...Verification, Engineer, Senior, Technology

Apply Now