SY

Staff Software Engineer (R&D Engineering)

Synopsys
Bangalore8-12 LPA Posted 30 May 2025
FULL TIME
Data Structures And Algorithms
formal verification
Software Engineering

Job Description

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.

Join WhatsApp Channel