Priyanshu Jain

Software Engineer

United Kingdom8 yrs 10 mos experience
Most Likely To SwitchHighly Stable

Key Highlights

  • Expert in Formal Verification methodologies.
  • Strong background in Architectural Formal Verification.
  • Proven team leadership and collaboration skills.
Stackforce AI infers this person is a Formal Verification Engineer with expertise in semiconductor design and verification.

Contact

Skills

Core Skills

Formal VerificationArchitectural Formal Verification

Other Skills

AutoCADC++Digital PhotographyFunctional VerificationGitLinuxMicrosoft ExcelMicrosoft PowerPointMicrosoft WordPhotographyPhotoshopProblem SolvingProgrammingPythonR

Experience

8 yrs 10 mos
Total Experience
2 yrs 11 mos
Average Tenure
3 yrs 6 mos
Current Experience

Apple

Formal Verification Engineer

Dec 2022Present · 3 yrs 6 mos · Cambridge, England, United Kingdom

Formal VerificationArchitectural Formal VerificationTeam BuildingProblem Solving

Qualcomm

2 roles

Lead Formal Verification Engineer

Promoted

Dec 2021Dec 2022 · 1 yr · Bengaluru, Karnataka, India

Senior Formal Verification Engineer

May 2020Nov 2021 · 1 yr 6 mos · Bengaluru, Karnataka, India

Nvidia

Formal Verification Engineer

Jul 2017May 2020 · 2 yrs 10 mos · Gurgaon, Haryana, India

  • Worked for Oski Technology which later got acquired by Nvidia.

Education

Indian Institute of Technology, Kanpur

Bachelors and Masters — Materials Science and Engineering

Jan 2012Jan 2017

Indian Institute of Technology, Kanpur

Minor — Industrial Management and Engineering

Jan 2016Jan 2016

Modi Public School - India

High School — Mathematics and Science

Jan 2000Jan 2012

Stackforce found 100+ more professionals with Formal Verification & Architectural Formal Verification

Explore similar profiles based on matching skills and experience