Summary: Join Synopsys to contribute to Formality's team, enhance products through algorithm development and coding, and learn formal verification strategies in a creative R&D environment. Highlights: 1. Contribute to enhancing products through developing algorithms and writing code. 2. Learn, analyze, test, and debug the Formality code base. 3. Expand knowledge in formal verification strategies and distributed computing. **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.