Home
Jobs

Staff Software Engineer (R&D Engineering)

8 - 13 years

25 - 35 Lacs

Posted:1 week ago| Platform: Naukri logo

Apply

Work Mode

Work from Office

Job Type

Full Time

Job Description

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 youll 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.

At Synopsys, we want talented people of every background to feel valued and supported to do their best work. Synopsys considers all applicants for employment without regard to race, color, religion, national origin, gender, sexual orientation, age, military veteran status, or disability.
Apply Save Job test Share
  • Email
  • LinkedIn
  • X
  • Facebook
Benefits
At Synopsys, innovation is driven by our incredible team around the world. We feel honored to work alongside such talented and passionate individuals who choose to make a difference here every day. Were proud to provide the comprehensive benefits and rewards that our team truly deserves.
Visit Benefits Page
  • Health & Wellness
    Comprehensive medical and healthcare plans that work for you and your family.
  • Time Away
    In addition to company holidays, we have ETO and FTO Programs.
  • Family Support
    Maternity and paternity leave, parenting resources, adoption and surrogacy assistance, and more.
  • ESPP
    Purchase Synopsys common stock at a 15% discount, with a 24 month look-back.
  • Retirement Plans
    Save for your future with our retirement plans that vary by region and country.
  • Compensation
    Competitive salaries.

Mock Interview

Practice Video Interview with JobPe AI

Start Machine Learning Interview
cta

Start Your Job Search Today

Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.

Job Application AI Bot

Job Application AI Bot

Apply to 20+ Portals in one click

Download Now

Download the Mobile App

Instantly access job listings, apply easily, and track applications.

coding practice

Enhance Your Skills

Practice coding challenges to boost your skills

Start Practicing Now
Synopsys
Synopsys

Software Development

Sunnyvale California

RecommendedJobs for You

Bengaluru / Bangalore, Karnataka, India