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

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 2025Present · 6 mos · Hyderabad

Software Development Engineer 1

Jan 2024Nov 2025 · 1 yr 10 mos · Hyderabad

  • VAS Discovery
TypeScriptGit

Synopsys inc

R&D Engineer I

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

  • Worked in CDC Formal Team
Formal VerificationVerilog

John deere india pvt. ltd. (jdtci)

SDE Intern

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

Python (Programming Language)Python

Education

National Institute of Technology, Kurukshetra, Haryana

Bachelor of Technology - BTech — Information Technology

Jul 2019May 2023

Yaduvanshi Shiksha Niketan, Mahendergarh, Haryana

12th

May 2018May 2019

Central Board of Secondary Education

10th

May 2016May 2017

Stackforce found 100+ more professionals with Typescript & Formal Verification

Explore similar profiles based on matching skills and experience