Nipun Mehar

Software Engineer

Gurugram, Haryana, India9 yrs 6 mos experience

Most Likely To SwitchHighly Stable

Key Highlights

Expert in Formal Verification and Hardware Verification.
Proven track record in semiconductor projects.
Strong programming skills across multiple languages.

Stackforce AI infers this person is a Semiconductor and Robotics expert with strong formal verification capabilities.

Contact

Skills

Core Skills

Formal VerificationHardware VerificationProgramming

Other Skills

Test PlanningPerforceApplication-Specific Integrated Circuits (ASIC)SystemVerilogVimAnalytical SkillsAlgorithmsVerilogFunctional VerificationComputer ArchitectureVery-Large-Scale Integration (VLSI)GitC++CC (Programming Language)

About

Nipun has completed his Bachelor of Technology in Electronics & Communication Engineering from Indian Institute of Information Technology Nagpur in 2020. He is currently working at NVIDIA as a Formal Verification Engineer.

Experience

9 yrs 6 mos

Total Experience

3 yrs 2 mos

Average Tenure

4 yrs 7 mos

Current Experience

Nvidia

2 roles

Senior Formal Verification Engineer

Promoted

Jun 2023 – Present · 2 yrs 11 mos · Gurugram, Haryana, India

Test PlanningHardware VerificationFormal Verification

Formal Verification Engineer

Oct 2021 – Jun 2023 · 1 yr 8 mos · Gurugram, Haryana, India

PerforceApplication-Specific Integrated Circuits (ASIC)SystemVerilogVimProgrammingAnalytical Skills+8

Oski technology, inc.

Formal Verification Engineer

Nov 2020 – Oct 2021 · 11 mos · Gurugram, Haryana, India · Remote

Worked on Formal Verification of Data Streaming Accelerator and Caches.
Oski Technology was acquired by NVIDIA in 2021.

PerforceApplication-Specific Integrated Circuits (ASIC)SystemVerilogVimGitProgramming+9

Ubisoft

Intern Programmer

Sep 2020 – Nov 2020 · 2 mos · India · Remote

C++CProgrammingAlgorithmsC (Programming Language)

National atmospheric research laboratory

Research And Development Intern

Jun 2019 – Dec 2019 · 6 mos · Gadanki

Worked in the Advanced Spaceborne Instruments Development Lab
Implemented a BandPass Sampling Digital Receiver for Atmospheric Radar using a PXI based COTS transceiver. This work involved programming of FPGA via LabVIEW for Data Acquisition. Acquired data was processed and analysed using MATLAB.

MatlabMATLABProgrammingAnalytical SkillsAlgorithms

Indian institute of technology, bombay

Research And Development Intern

May 2018 – Jul 2018 · 2 mos · Mumbai Area, India

System and Control Engineering
A gearless spherical robot was designed. Development of control-laws for real-world applications using spherical robot was investigated. Challenge was to control nonlinear dynamics of the system with the constraints imposed by embedded processing and sensing.

Python (Programming Language)Raspberry PiMatlabMATLABProgrammingAnalytical Skills+1

Indian institute of information technology nagpur

2 roles

General Secretary (Technical Council)

Sep 2016 – Jul 2018 · 1 yr 10 mos

Had a wonderful experience working as general secretary of Technical Council of IIIT Nagpur ; organizing colleges first ever successful technical festival "Tantrafiesta" of college in 2017.

Algorithms