Wasim Khan

Software Engineer

Bengaluru, Karnataka, India5 yrs 7 mos experience
Highly Stable

Key Highlights

  • Expert in formal verification for semiconductor technologies.
  • Strong programming skills in SystemVerilog and Python.
  • Experience in quality inspection and R&D.
Stackforce AI infers this person is a semiconductor verification engineer with expertise in formal verification and programming.

Contact

LinkedIn

Skills

Core Skills

Formal Verification

Other Skills

SystemVerilogQuality InspectionPython (Programming Language)R (Programming Language)Research and Development (R&D)C++Microsoft OfficeConsultingVisual Basic for Applications (VBA)

Experience

5 yrs 7 mos
Total Experience
1 yr 6 mos
Average Tenure
10 mos
Current Experience

Qualcomm

Senior Formal Verification Engineer

Jul 2025 – Present · 10 mos · Bengaluru, Karnataka, India

  • Formal Verification of Snapdragon GPU IPs
SystemVerilogQuality InspectionFormal Verification

Intel corporation

Formal Verification Engineer

Jul 2022 – Jul 2025 · 3 yrs · Bengaluru, Karnataka, India · Hybrid

  • FVCTO Team , Data Center & AI Group
Formal Verification

Zs

Business Operations Associate

May 2021 – Jun 2022 · 1 yr 1 mo · Gurugram, Haryana, India

Arcelormittal nippon steel india

Technical Services (QA/QC)

Sep 2020 – May 2021 · 8 mos · Surat, Gujarat, India

Indian institute of technology, madras

Summer Internship

May 2018 – Jun 2018 · 1 mo · Chennai, Tamil Nadu, India

Education

Indian Institute of Technology, Indore

BTech - Bachelor of Technology

Jan 2016 – Jan 2020

Stackforce found 100+ more professionals with Formal Verification

Explore similar profiles based on matching skills and experience

Ridhi Aggarwal

Ridhi Aggarwal

Coordinator

at Indian Game Theory Society(IGTS), IIT Delhi

Delhi, India2 yrs 1 mo exp
algorithm design
SD

Suvajit Das

ASIC Engineer Design Verification

at Meta

Bengaluru, India5 yrs 9 mos exp
EthernetAMBA AXI
Ashutosh Prasad

Ashutosh Prasad

Hardware Engineering Manager

at NVIDIA

Gurgaon, India12 yrs 9 mos exp
SP

Sankalan Palchowdhury

Scientific Assistant

at ETH Zürich

Zurich, Switzerland2 yrs exp
Natural Language Processing (NLP)
Nikhil GV

Nikhil GV

Implementation Engineer

at Meta

Bengaluru, India8 yrs 8 mos exp
VC

VARSHA C R

DFT Design Engineer

at Intel Corporation

Chennai, India1 yr 10 mos exp
VerilogSystemVerilog
Nishant Singh

Nishant Singh

Digital Verification Engineer G2

at NXP Semiconductors

Jaunpur, India10 yrs exp
ManagementPlacement ServicesProgram Coordination
VG

Vamsi Gullapalli

Lead Engineer

at Texas Instruments

Bengaluru, India21 yrs exp
VLSIASIC