Nov 2019 – Jun 2022 · 2 yrs 7 mos · Gurgaon, Haryana

• I am working as a Lead Software Engineer to develop and maintain Quant Library used for pricing trades.

Nov 2018 – Aug 2019 · 9 mos · Noida Area, India

Aug 2017 – Oct 2018 · 1 yr 2 mos

Dec 2016 – Jul 2017 · 7 mos

Aug 2016 – Nov 2016 · 3 mos

Oct 2015 – Jul 2016 · 9 mos

• I am part of SLEC (Sequential Level Equivalence Checker) team in the Calypto Division of Mentor Graphics. My focus is on the integration of High level Synthesis technology (Catapult) with Sequential Formal Verification technology (SLEC). I am one of the lead members in the team and my responsibilities are following:
• 1. I am the lead member of the integration team which works on the development of the component responsible for integrating Catapult with SLEC. This component acts as the bridge between two technologies.
• 2. In addition to the development of the component, I am also responsible for developing methodologies to verify various Catapult's synthesis constructs using SLEC.
• 3. I also contribute towards figuring out various bottlenecks in the complete flow, i.e., from synthesis to verification, and suggest improvements.

May 2014 – Sep 2015 · 1 yr 4 mos

• Working in HLS Integration.

Dec 2010 – Apr 2014 · 3 yrs 4 mos

• Working in HLS Integration.

Jul 2009 – Nov 2010 · 1 yr 4 mos

• Was part of Customer Support Team.