Staff Software Engineer (R&D Engineering)

We are looking for a motivated R&D Engineer to join our team! 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, machine learning, and more.

Key Responsibilities:

As part of the team, design, develop and drive improvements to the verification technology

Support the existing functionality and continually aim to enhance the versatility, performance and memory utilization while improving quality of the software.

Work requires algorithm, data structure design as well as developing robust and efficient implementations.

Interact with other members of Synopsys R&D, customer as necessary to understand customer needs and product goals.

Skills Required:

• A minimum of 8 years of related experience.
• Excellent Software development experience with C / C++ on UNIX/Linux platforms
• Broad understanding of data structures, algorithms and their applications.
• Should have experience working in a multi-person product development environment with high dependencies and tight schedules.
• It is essential that the applicant is highly motivated and has solid desire to learn and explore new technologies.
• Demonstrated history of good analytical, debugging and problem-solving skills.
• Experience with complex software tool development and usage with legacy code base
• Exercise of judgment in developing methods, techniques, and evaluation criteria to meet project goals.
• Ability to work in both self-directed and collaborative settings.
• Understanding/Experience in Unified Power Format (UPF) would be beneficial
• Good written and oral communication skills, for team collaboration and product presentations.

Preferred Skills:

• Special consideration given to those with background and experience in formal verification and/or synthesis techniques.
• Experience in Compilers and RTL Synthesis would be beneficial
• Knowledge of software specification and design process, and regression testing.
• Ability to know about customer wants and needs in the formal verification user community, by working with sales and field personnel.

Product and team information:

Formality is a formal verification product that checks combinational equivalence between two different representations of a design.

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.