R&D Engineer At Synopsys, we’re at the heart of the innovations that change the way we 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. And we’re powering it all with the world’s most advanced technologies for chip design and software security. If you share our passion for innovation, we want to meet you. Our Digital Design business is all about delivering the right tools and methodologies for design creation and verification, enabling our leading-edge customers to complete their most challenging IC design projects.
This formal verification platform offers next-generation technologies for equivalence checking designs with high efficiency, quality, and predictability. As a member of this R&D team, you will work with a group of enthusiastic and creative engineers building advanced technologies into our products. You will have the ability to contribute to a growing tool and to expand your knowledge and skills, working with formal verification strategies, distributed computing, and machine learning, among others. You will be responsible for: Enhancing the product through algorithm development and code implementation. Learning, examining, testing, and debugging the existing product code base. Interacting with other members of Synopsys R&D, customer support, and sales experts as necessary to understand customer needs and product goals. Delivering high-quality software on schedule.
You will need: BS/BE in Electrical and/or Computer Engineering or equivalent. A minimum of 5+ years of job-related experience or equivalent post-graduate experience Software development experience with C or C++ Broad understanding of data structures, algorithms, heuristics, and their applications Familiarity with Unix and associated software development tools Experience working on complex software projects, with good deductive and problem-solving skills. Exercise of judgment in developing methods, techniques, and evaluation criteria to meet project goals. Comfortable with learning and applying new technologies. Ability to work both autonomously and in collaborative settings. Good written and oral communication skills.
Nice to have: MS/ME in a related field (EE/CS/Math/Physics) with 3 years job-related experience or PhD. Background and experience in formal verification, physical implementation and/or synthesis techniques. ~ Exported from Ongig ~ Knowledge of software specification and design process, and regression testing.In-depth knowledge of solver algorithms such as SAT or BDD
