Deepak Yadav

Software Engineer

Hyderabad, Telangana, India2 yrs 10 mos experience
Most Likely To Switch

Key Highlights

  • Proficient in TypeScript and AWS technologies.
  • Experience in formal verification and semiconductor projects.
  • Strong foundation in data structures and algorithms.
Stackforce AI infers this person is a Software Engineer with expertise in SaaS and Semiconductor industries.

Contact

LinkedIn

Skills

Core Skills

TypescriptFormal VerificationPython

Other Skills

GitVerilogPython (Programming Language)Data StructuresProblem SolvingC++EngineeringAmazon CloudWatchAWS LambdaMySQLDynamoDbMicroservicesAmazon S3Amazon Web Services (AWS)Continuous Integration and Continuous Delivery (CI/CD)

Experience

2 yrs 10 mos
Total Experience
1 yr 5 mos
Average Tenure
2 yrs 4 mos
Current Experience

Amazon

2 roles

Software Development Engineer 2

Promoted

Dec 2025 – Present · 6 mos · Hyderabad

Software Development Engineer 1

Jan 2024 – Nov 2025 · 1 yr 10 mos · Hyderabad

  • VAS Discovery
TypeScriptGit

Synopsys inc

R&D Engineer I

Jul 2023 – Jan 2024 · 6 mos · Noida, Uttar Pradesh, India

  • Worked in CDC Formal Team
Formal VerificationVerilog

John deere india pvt. ltd. (jdtci)

SDE Intern

Jan 2022 – May 2022 · 4 mos · Pune, Maharashtra, India

Python (Programming Language)Python

Education

National Institute of Technology, Kurukshetra, Haryana

Bachelor of Technology - BTech — Information Technology

Jul 2019 – May 2023

Yaduvanshi Shiksha Niketan, Mahendergarh, Haryana

12th

May 2018 – May 2019

Central Board of Secondary Education

10th

May 2016 – May 2017

Stackforce found 100+ more professionals with Typescript & Formal Verification

Explore similar profiles based on matching skills and experience

VM

Vardan Mkrtchyan

Staff Analog Design Engineer

at Synopsys Inc

Yerevan, Armenia5 yrs 2 mos exp
Analog Integrated Circuit DesignCircuit DesignAnalog Circuit DesignMixed-Signal Integrated CircuitsDigital Circuit Design
MP

Manjari Pradhan

Senior Research And Development Engineer

at Synopsys Inc

Kolkata, India2 yrs 6 mos exp
Automatic Test Pattern Generation (ATPG)DFT
MA

Mazumdar Anirudh

ASIC Digital Design Engineer

at Synopsys Inc

Hyderabad, India2 yrs 7 mos exp
VV

Vaishnavi V

Software Engineer

at Cisco

Bengaluru, India8 yrs exp
Embedded Software ProgrammingDistributed SystemsAutomation
AV

Aditya Vikram

Software Engineer II

at Cadence

Noida, India3 yrs exp
C++Verilog
KP

Krishnaprasad Palamattam Aji

Senior Engineer

at Target

Tempe, United States4 yrs 9 mos exp
JavaCore JavaObject-Oriented Programming (OOP)
SB

Safeeq B

Senior Security Engineer (L3)– InfoSec

at Kroll

Bengaluru, India5 yrs 9 mos exp
Security Architecture DesignPenetration TestingApplication Security
BG

Bindu Gunja

Senior Application Engineer

at Synopsys Inc

Cuddapah, India5 yrs 1 mo exp
ZebuEngineering