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.