At Synopsys, you will be at the heart of innovations that change the way people work and play. Self-driving cars. Artificial Intelligence. The cloud. 5G. The Internet of Things. These breakthroughs are ushering in the era of Smart Everything. Synopsys powers it all with the world’s most advanced technologies for chip design and software security. If you have a passion for innovation, we want to meet you. 

Our Silicon Creation business supplies tools to create and verify IC designs. Leading-edge customers use these tools on their most challenging designs. Formality is one of these tools and offers next-generation equivalence checking technology. 

As a member of the Formality R&D (Santiago, Chile) 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, machine learning, and more. 

You will be responsible for: 

  • Enhancing the product through developing algorithms and writing code. 
  • Learning, analyzing, testing, and debugging the Formality code base. 
  • Interacting with Synopsys R&D, customer support, and sales experts.


The goal: understand customer needs and product directions. Delivering high-quality software on schedule. 

Required skills: 

  • Strong software development experience with C / 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. 


Preferred skills: 

  • Basic understanding of compilers and synthesis. 
  • Knowledge of scripting and VHDL/Verilog.


Inclusion and Diversity are important to us. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, gender identity, age, military veteran status, or disability.

#LI-DG

Is a Remote Job?
No

Our Technology, Your Innovation

Synopsys is the leading silicon to systems design solutions company. Synopsys accelerates technology innovation, from silicon to systems.

Synopsys delivers the most...

Apply Now