R&D Engineer, Sr II

At Synopsys, you will be at the heart of innovations changing how 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. Synopsys powers it all with the world’s most advanced technologies for chip design and software security. If you have a passion for innovation, we want to meet you.

Our Silicon Realization Group supplies tools to create and verify IC designs. Leading-edge customers use these tools on their most challenging designs. Formality is one of these tools and offers next-generation equivalence checking technology.

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.

You will be responsible for:

• Enhancing the product through developing algorithms and writing code.
• Learning, analyzing, testing, and debugging the Formality code base.
• Interacting with Synopsys R&D, customer support, and sales experts. The goal: understand customer needs and product directions.
• Delivering high-quality software on schedule.

Required skills:

• BS/BE in Electrical and/or Computer Engineering. 5 years of post-graduate experience.
• Software development experience with C or C++.
• Broad understanding of data structures, algorithms, heuristics, and their applications.
• Experience with complex software development in a legacy code base.
• Comfortable with learning and applying new technologies.
• Ability to work in both independent and 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.
• Experience in formal verification and/or synthesis techniques.
• Knowledge of software specification and design process, and regression testing.
• In-depth knowledge of solver algorithms such as SAT or BDD.