RnD Senior Engineer

Villa Presidente Frei, Ñuñoa, Santiago, Chile, Santiago Metropolitan, Chile
Santiago, Santiago Metropolitan, Chile Apply Now Job ID 51208BR Date posted 07/12/2024

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.

Apply Now