R&D Engineer

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.