Synopsys

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 flexible 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.

At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.