Shrey .

CEO

Bengaluru, Karnataka, India6 yrs 10 mos experience
Most Likely To SwitchHighly Stable

Key Highlights

  • Expert in Formal Verification techniques at Nvidia.
  • Strong leadership skills demonstrated in project management roles.
  • Solid foundation in Digital Circuit Design and GPU technologies.
Stackforce AI infers this person is a Formal Verification Engineer with expertise in GPU and digital circuit design.

Contact

LinkedIn

Skills

Core Skills

Formal VerificationProject LeadershipSystem Verilog AssertionsDigital Circuit Design

Other Skills

Advanced Formal TechniquesComputer ArchitectureProject ManagementOrganizational LeadershipManagementGPUPerlPCIeDigital ElectronicsField-Programmable Gate Arrays (FPGA)SimulationsVery-Large-Scale Integration (VLSI)Machine LearningSemiconductorsCreative Writing

About

Technocracy under simulation

Experience

6 yrs 10 mos
Total Experience
2 yrs 3 mos
Average Tenure
4 yrs
Current Experience

Nvidia

3 roles

Formal Verification Lead

Promoted

Mar 2026 – Present · 3 mos

Advanced Formal TechniquesProject LeadershipFormal Verification

Senior GPU Formal Verification Engineer

Promoted

Jun 2023 – Feb 2026 · 2 yrs 8 mos

Project LeadershipAdvanced Formal TechniquesFormal Verification

GPU Formal Verification Engineer

May 2022 – Jun 2023 · 1 yr 1 mo

System Verilog AssertionsFormal Verification

Qualcomm

SoC Formal Verification Engineer

Sep 2021 – May 2022 · 8 mos

System Verilog AssertionsFormal Verification

Airtel

3 roles

Assistant Manager

Jun 2020 – Aug 2021 · 1 yr 2 mos · Gurugram, Haryana, India

Digital Circuit Design

Lead - NFD

Promoted

May 2020 – Aug 2021 · 1 yr 3 mos · Gurugram, Haryana, India

Senior Executive

Jun 2019 – Jun 2020 · 1 yr · Gurugram, Haryana, India

Education

Motilal Nehru National Institute Of Technology

Bachelor of Technology - BTech — Electronics and Communications Engineering

Jan 2015 – Jan 2019

Doon Senior Secondary School

12th — Science ( Maths )

Jan 2014 – Jan 2015

St. Xavier's Jr./Sr. School

10th

Jan 2012 – Jan 2013

Stackforce found 100+ more professionals with Formal Verification & Project Leadership

Explore similar profiles based on matching skills and experience

KA

Karteek Alluvada

Senior Manager

at Visa

Bengaluru, India17 yrs 3 mos exp
LeadershipArtificial Intelligence (AI)Program Management
Dave Chen

Dave Chen

Head of UX Research, Design System & UX Operations

at 1Password

Greater Toronto Area, Canada13 yrs 1 mo exp
UX ResearchDesign SystemsMarket Research
Agrim Koundal

Agrim Koundal

Manager - AI/ML & Data Science

at Optum

Noida, India8 yrs 4 mos exp
Natural Language Processing (NLP)Machine Learning
Leskinen Jari

Leskinen Jari

Director, Product Quality

at Copado

Tampere, Finland26 yrs 9 mos exp
DevOps QualityTest AutomationTest EngineeringCustomer SuccessTechnical Presales
Kanika Arora

Kanika Arora

Software Development Manager

at Amazon

London, United Kingdom11 yrs 1 mo exp
LeadershipTechnical DesignProduct StrategyProblem SolvingMachine Learning
Lori Polzin

Lori Polzin

Assistant Vice President Technology

at Berkshire Hathaway Specialty Insurance

Stevens Point, United States15 yrs 6 mos exp
Chakravarthi T

Chakravarthi T

Talent Acquisition Specialist

at Tecnicas Reunidas

Bengaluru, India9 yrs 5 mos exp
Talent AcquisitionTechnical RecruitingEngineering RecruitmentBusiness DevelopmentRecruitment Consulting
Piyush Sarawagi

Piyush Sarawagi

Director

at Delhivery

Bengaluru, India17 yrs 5 mos exp
Project ManagementBusiness TransformationBusiness Analysis