Description
You will develop and improve algorithms in C++ for Formality, researching and implementing new solver techniques like SAT and BDDs. You will debug, test, and refine the Formality codebase, collaborating on formal verification strategies with your team. You will also explore distributed computing and machine learning for EDA.
Your impact will be raising the bar for Formality's speed and accuracy, enabling customers to verify complex chip designs with confidence, turning research into tools that solve real design challenges, and improving team knowledge and code quality through collaboration.
To succeed in this role, you will need a PhD, MS, or ME in CS or EE with strong programming skills, strong C++ skills and experience in large codebases, a solid grasp of algorithms, data structures, and heuristics, experience with formal verification or solver algorithms (SAT, BDDs), and distributed computing or ML experience is a bonus.
As a member of the Formality R&D team, you will work with other enthusiastic and creative engineers, contributing to a growing tool where you can expand your knowledge and skills. You will learn formal verification strategies, distributed computing, machine learning, and more.