Formality offers next-generation equivalence checking technology. As a member of the Formality R&D team, you will work with other enthusiastic and creative engineers. You will contribute to a growing tool where you can expand your knowledge and skills. Things you'll learn include formal verification strategies, distributed computing, and more.
 
You will be responsible for:
- Joining and contributing into Formality's team
- Enhancing the product through developing algorithms and writing code.
- Learning, analyzing, testing, and debugging the Formality code base.
- Interacting with Synopsys R&D and customer support.
 
Required skills:
Strong software development experience with C++ on Linux platforms.
Broad understanding of data structures, algorithms and heuristics.
Good analytic, debug, and problem-solving skills.
A strong desire to learn and explore new technologies.
Ability to work in both independent and collaborative settings.
Experience with complex software development in a legacy code base.
Good written and oral communication skills.