R&D Engineer · Synopsys

Fri, 24 Apr 2026 14:16:48 GMT
Engineering

Synopsys · Santiago · onsite

Join Synopsys' R&D team as an R&D Engineer to contribute to the development of Formality's next-generation equivalence checking technology. As a member of the Formality R&D team, you will work with other enthusiastic and creative engineers to enhance the product through developing algorithms and writing code. You will also learn formal verification strategies, distributed computing, and more.

Key responsibilities include:

Joining and contributing to the Formality team

Enhancing the product through developing algorithms and writing code

Learning, analysing, testing, and debugging the Formality code base

Interacting with Synopsys R&D and customer support

Requirements include:

BS Computer Science or relevant degree

Fluent in English

Strong software development experience with C++ on Linux platforms

Broad understanding of data structures, algorithms, and heuristics

Good analytic, debug, and problem-solving skills

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

Working mode: On-site position based in Santiago, Vitacura, with a flexible work schedule.