RND ENGINEER

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.