A

ABHISHEK SINGH

CTO

Delhi, India5 yrs 8 mos experience

Key Highlights

Proven expertise in Formal Verification and Linux.
Strong foundation in C++ and Data Science.
Experience in leading technical teams at Siemens EDA.

Stackforce AI infers this person is a Software Engineer with a focus on Formal Verification and Data Science in the tech industry.

Contact

Skills

Core Skills

Formal Verification

Other Skills

LinuxMicrosoft ExcelCustomer ServiceMicrosoft WordWordPressC++TCLVerilogVHDLLogic SynthesisOnespinElastic Stack (ELK)MQTTMachine Learning AlgorithmsData Science

About

Experienced Software Engineer with a demonstrated history of working in the internet industry. Skilled in Microsoft Excel, Customer Service, Microsoft Word, WordPress, and C++. Strong engineering professional with a Bachelor of Technology - BTech focused in Instrumentation and control from Netaji Subhas Institute of Technology.

Experience

5 yrs 8 mos

Total Experience

--

Average Tenure

--

Current Experience

Siemens eda (siemens digital industries software)

2 roles

Lead Member of Technical Staff

Promoted

Dec 2024 – Present · 1 yr 6 mos

Senior Member of Technical Staff

May 2022 – Nov 2024 · 2 yrs 6 mos

LinuxFormal Verification

Jio

2 roles

Software Engineer

Aug 2021 – May 2022 · 9 mos

Engineer Trainee

Aug 2020 – Jul 2021 · 11 mos

Coding ninjas india

Teaching Assistant

Jun 2019 – Jul 2019 · 1 mo · New Delhi Area, India

Solving Doubts of students regarding C++.

Student scout and guide organisation (ssago)

President Awarded Scout

Apr 2008 – May 2015 · 7 yrs 1 mo · India

Education

Netaji Subhas Institute of Technology

Bachelor of Technology - BTech — Instrumentation And Control Engineering

Jan 2016 – Jan 2020

Kendriya Vidyalaya

XIIth — Non Medical

Jan 2014 – Jan 2015

Stackforce found 100+ more professionals with Formal Verification

Explore similar profiles based on matching skills and experience

Rajendra Prasad

R&D Engineering Director

at Synopsys Inc

Mountain View, United States27 yrs 2 mos exp

ManagementMachine LearningLeadershipCustomer EngagementPeople Management

Ajitesh Mishra

Senior Engineer

at Sandisk

Bengaluru, India7 yrs exp

Application-Specific Integrated Circuits (ASIC)Hardware EngineeringFunctional VerificationSAPDevOps

Allen Nguyen

SOC Physical Design Engineer

at Synopsys Inc

Ho Chi Minh City, Vietnam5 yrs 3 mos exp

Physical DesignApplication-Specific Integrated Circuits (ASIC)

Ashutosh Rao

R&D Engineer

at Synopsys Inc

Bengaluru, India4 yrs 4 mos exp

Static Timing AnalysisCircuit DesignHardware Security

Gaurav Gupta

Senior R&D Manager

at Synopsys Inc

India14 yrs 6 mos exp

Circuit DesignVerificationSimulationLow Power Design

Avinash K.

Sr Manager, ASIC Digital Design

at Synopsys Inc

Bengaluru, India23 yrs 4 mos exp

Ravindra Shrivastava

Application Engineering

at Synopsys Inc

Acton, United States24 yrs 7 mos exp

Application EngineeringEmbedded Memory Design

Jitendra Puri

R&D Group Director

at Synopsys Inc

West Delhi, India31 yrs 11 mos exp

ASICFunctional VerificationVerification IPSystemVerilogPCI-X