Summary
Overview
Work History
Education
Skills
Accomplishments
Timeline
Generic

Sonali

Noida

Summary

Dynamic R&D Engineer with extensive experience at Synopsys Inc, specializing in C++ programming and debugging. Proven track record in feature development and team collaboration, successfully leading complex projects and mentoring junior engineers. Adept at problem-solving, enhancing product functionality, and driving customer satisfaction through innovative solutions.

Overview

7
7
years of professional experience

Work History

R&D Engineer, Staff

Synopsys Inc
Noida
02.2023 - Current
  • Working for VC Formal product in frontend technologies using C++ software solutions.
  • Collaborated across teams on hyper-convergence project in VC Formal.
  • Developed features for AEP App through effective C++ programming.
  • Executed coding and debugging to resolve customer issues efficiently.
  • Served as Technical Lead, guiding junior team members in skill development and collaboration on complexity reporting.

R&D Engineer II

Synopsys Inc
Noida
12.2022 - 02.2023
  • Ownership of Complexity reporting for VC Formal. Was deeply involved in complex customer critical bugs, enhancements, and features in the tool based on C++.
  • Worked on AEP App of VC Formal, The Automatically Extracted Properties (AEP) application mode can be used to automatically extract properties from the design and verify them.
  • Implemented the support of FSM Checks in AEP app from scratch, this involved deadlock, livelock and unionlock checks, which was overall a 3-4-month project.
  • Was deeply involved in complex customer critical bugs and features in the tool based on C/C++.
  • Acted as Buddy/mentor for various freshers/interns in the team.

R&D Engineer I

Synopsys Inc
Noida
05.2019 - 12.2022
  • Got to learn EDA domain terminologies and concepts and get hands-on experience in handling larger codebases in c++.
  • Was deeply involved in complex customer critical bugs and features in the tool based on C/C++.

Software Development Engineer

Accolite Digital India Pvt Ltd
Delhi
07.2018 - 05.2019
  • Acquired proficiency in IT domain terminologies and concepts through extensive codebase management.
  • Contributed to the development of a New Employee portal, enhancing onboarding experience.
  • Addressed customer-reported bugs and implemented feature enhancements to improve product functionality.

Education

Bachelor of Technology (B.Tech.) - Computer Science and Engineering

Dr. B R Ambedkar National Institute of Technology
Jalandhar
07-2018

Class 12th (CBSE) - Non - Medical

Shri Guru Harkrishan Public School
Pathankot, Punjab
01.2014

Class 10th (CBSE) -

St. Joseph's Convent School
Pathankot, Punjab
01.2012

Skills

  • C programming
  • Debugging techniques
  • Feature development
  • Hyper-convergence technologies
  • Team collaboration
  • Effective communication
  • Problem solving

Accomplishments

  • Bravo Award, Great work in handling Complexity Reporting Issues.
  • ACE Award for Best Buddy, Awards conducted at South Asia level, received for acting as buddy for 3 employees at the same time and did a brilliant job.
  • Received 3 Cheers Award, For excellent debugging and quickly fixing critical issues in Complexity Reporting of VC Formal from QCOM and Samsung.
  • Purple Poster, Presented purple poster for AEP App.
  • Recognized in VC Formal All-Hands twice, For outstanding contributions to the product and team.

Timeline

R&D Engineer, Staff

Synopsys Inc
02.2023 - Current

R&D Engineer II

Synopsys Inc
12.2022 - 02.2023

R&D Engineer I

Synopsys Inc
05.2019 - 12.2022

Software Development Engineer

Accolite Digital India Pvt Ltd
07.2018 - 05.2019

Bachelor of Technology (B.Tech.) - Computer Science and Engineering

Dr. B R Ambedkar National Institute of Technology

Class 12th (CBSE) - Non - Medical

Shri Guru Harkrishan Public School

Class 10th (CBSE) -

St. Joseph's Convent School
Sonali