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:

• Design, develop, and drive improvements to the verification technology.
• Support existing functionality and continually aim to enhance versatility, performance, and memory utilization while improving software quality.
• Work involves algorithm and data structure design, as well as developing robust and efficient implementations.
• Interact with other members of Synopsys R&D, customers as necessary to understand needs and product goals.

Skills Required:

• 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.
• Experience working in a multi-person product development environment with high dependencies and tight schedules.
• Highly motivated with a strong desire to learn and explore new technologies.
• Good analytical, debugging, and problem-solving skills.
• Experience with complex software tool development and legacy code bases.
• Judgment in developing methods, techniques, and evaluation criteria to meet project goals.
• Ability to work independently and collaboratively.
• Understanding/Experience in Unified Power Format (UPF) is beneficial.
• Good written and oral communication skills for team collaboration and presentations.

Preferred Skills:

• Background and experience in formal verification and/or synthesis techniques.
• Experience in compilers and RTL synthesis is beneficial.
• Knowledge of software specification, design process, and regression testing.
• Ability to understand customer needs in the formal verification community by working with sales and field personnel.

Product and team information:

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

At Synopsys, we’re at the forefront of innovations that change how we work and play, including self-driving cars, AI, the cloud, 5G, and IoT. We power these breakthroughs with advanced chip design and software security technologies. If you share our passion for innovation, we want to meet you.