Staff Software Engineer (R&D Engineering)

Synopsys, Inc.; Aachen; Vor Ort; EUR 70.000 - 90.000; Vollzeit

Zusammenfassung

A leading technology company seeks a motivated R&D Engineer for its Formality team in Aachen. The role involves designing and enhancing verification technologies using C/C++. If you have extensive experience and a passion for innovation in the realm of verification, this opportunity is for you.

Qualifikationen

• Minimum 8 years of software development experience.
• Strong desire to learn and adapt to new technologies.
• Experience with complex software tool development.

Aufgaben

• Design, develop, and improve verification technologies.
• Enhance software quality, performance, and memory utilization.
• Collaborate with R&D and clients to meet product goals.

Kenntnisse

Software development

C / C++

Data structures

Algorithms

Analytical skills

Debugging

Problem-solving

Communication skills

Jobbeschreibung

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.