Naman K.

Software Engineer

Gurugram, Haryana, India5 yrs experience
Most Likely To SwitchHighly Stable

Key Highlights

  • Expert in formal verification techniques.
  • Strong foundation in mathematics.
  • Experienced in engineering roles at NVIDIA.
Stackforce AI infers this person is a formal verification engineer with a strong mathematical background.

Contact

LinkedIn

Skills

Other Skills

MathematicsTutoring

Experience

5 yrs
Total Experience
2 yrs 6 mos
Average Tenure
4 yrs 6 mos
Current Experience

Nvidia

2 roles

Senior Formal Verification Engineer

Jun 2023 – Present · 2 yrs 11 mos

Formal Verification Engineer

Oct 2021 – May 2023 · 1 yr 7 mos

Oski technology, inc.

Formal Verification Engineer

Apr 2021 – Oct 2021 · 6 mos

Education

Indian Institute of Technology, Kanpur

Master of Science - MS — Mathematics and Scientific Computing

Aug 2014 – May 2019

Indian Institute of Technology, Kanpur

Bachelor of Science - BS — Mathematics and Scientific Computing

Aug 2014 – May 2019

Modern Delhi Public School - India

Class 12

Apr 2014 – Present

Stackforce found 100+ more professionals with Mathematics & Tutoring

Explore similar profiles based on matching skills and experience

MAMTA SULTANIA

MAMTA SULTANIA

D2AS Team Manager

at Amazon

India3 yrs 6 mos exp
troubleshootingtechnical supportoperations coordinationstrategyproject management
Mansi Sharma

Mansi Sharma

Social Media Strategist

at Kokila Henna and Herbals

Gurugram, India4 yrs 6 mos exp
Social Media MarketingInfluencer Marketing
Shradha Mourya

Shradha Mourya

Customer care

at Special techno online coaching

Jabalpur, India6 yrs 4 mos exp
Customer service
VT

Vinay Tiwari

Senior Talent Acquisition Specialist

at SkillKart

Ludhiana, India4 yrs 4 mos exp
Sridhar R

Sridhar R

Vice President - Academics

at Vedantu

Bengaluru, India21 yrs 4 mos exp
Academic ProgrammingLearning ManagementAcademic OperationsCurriculum Development
Prashik Deshpande

Prashik Deshpande

System Specialist

at Squarepoint Capital

Bengaluru, India0 mo exp
AutomationWeb Development
Afia Suhail

Afia Suhail

Mathematics Teacher

at Oratrics: The Personality Enrichment School

Kolkata, India1 yr 9 mos exp
Mathematics Education
Nitish Yadav

Nitish Yadav

Professional Educator

at 7xStudy

New Delhi, India13 yrs 10 mos exp
Mathematics EducationScience Education