Shambhavi Rai

Software Engineer

Delhi, India2 yrs 9 mos experience
Most Likely To Switch

Key Highlights

  • Optimized metric export pipeline, reducing costs by 92%.
  • Developed algorithm for counter structures in RTL designs.
  • Finalist in Morgan Stanley Code To Give competition.
Stackforce AI infers this person is a Software Engineer with expertise in AI and Cloud technologies.

Contact

Skills

Core Skills

Formal VerificationC++JavaGoogle Cloud Platform (gcp)Python (programming Language)

Other Skills

VerilogDefining RequirementsYAMLShell ScriptingUser RequirementsGo (Programming Language)Technical RequirementsCode ReviewSoftware QualityCascading Style Sheets (CSS)OpenCVHTML5Development ToolsSoftware Development ToolsTest Coverage

About

I am a Computer Science (Artificial Intelligence) student at IGDTUW, currently making my way through the final year. I consider myself to be a motivated determined person who is dedicated to getting whatever I put my mind to done. Developing skills is what enthusiasts me the most.

Experience

2 yrs 9 mos
Total Experience
1 yr 4 mos
Average Tenure
2 yrs
Current Experience

Google

Software Engineer

Jun 2024Present · 2 yrs · Bengaluru, Karnataka, India · On-site

Siemens eda (siemens digital industries software)

Software Engineering Intern

Jan 2024Feb 2024 · 1 mo · Noida, Uttar Pradesh, India · On-site

  • Developed an optimized algorithm to identify counter structures in RTL designs within the PowerPro Optimization Team. Authored comprehensive documentation on formal verification and BDD solvers.
C++Formal VerificationVerilog

Google

Software Engineering Intern

May 2023Aug 2023 · 3 mos · Bengaluru, Karnataka, India · On-site

  • Developed a solution to optimize the metric export pipeline, resulting in a remarkable 92% reduction in client costs within the Google Cloud Dataproc team. Additionally, created and deployed a module to configure the OpenTelemetry agent on nodes, improving metric collection processes. Furthermore, designed a specialized metric collector tailored for YARN Node Manager metrics.
JavaDefining RequirementsYAMLShell ScriptingUser RequirementsGo (Programming Language)+4

Google developer student clubs - indira gandhi delhi technical university for women

DSA Mentor

Aug 2022May 2023 · 9 mos

Microsoft

Microsoft Engage Mentee

May 2022Jun 2022 · 1 mo

Python (Programming Language)Cascading Style Sheets (CSS)OpenCVHTML5

Protégé igdtuw

Mentor

Jan 2022May 2022 · 4 mos

Techsahead

Program Manager

Jun 2021Sep 2021 · 3 mos

  • Planned, hosted and conducted 6 tech events and live sessions each streamed on YouTube live.
  • Enhanced my communication skills and leadership qualities along with team spirit of working as a team.

Education

INDIRA GANDHI DELHI TECHNICAL UNIVERSITY FOR WOMEN

Bachelor of Technology - BTech — Computer science engineering (Artificial Intelligence)

Jan 2020Jan 2024

St. Marks Senior Secondary Public School

Science

Jan 2008Jan 2020

Stackforce found 100+ more professionals with Formal Verification & C++

Explore similar profiles based on matching skills and experience