We Are:
At Synopsys, we drive innovations that shape the way we live and connect. Our technology empowers high-performance silicon chips and software content, leading the era of pervasive intelligence. Join us to transform the future through continuous technological innovation.
What You’ll Be Doing:
- 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.

What You’ll Need:
- 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.
- 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.

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

The Team You’ll Be A Part Of:
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.
- Rewards and Benefits:
We offer health, wellness, and financial benefits. Your recruiter will provide more details about compensation and benefits.

📌 R&d Engineer (Santiago)
🏢 Synopsys
📍 Santiago