Scanning top companies…
Core engineering roles get 10× fewer applicants than IT roles.
NVIDIA
Qualcomm
Samsung R&D
ISRO
DRDO
Texas Instruments
Intel
Bosch
L&T
Siemens
ABB
MediaTek
Checking NVIDIA…
Matching jobs to your stream and filters…
Scanning top companies…
Core engineering roles get 10× fewer applicants than IT roles.
Checking NVIDIA…
Matching jobs to your stream and filters…
“You survived JEE Advanced. A hiring manager is nothing.”
— Battle-tested wisdom
Loading job details…
Include these in your resume/cover letter to pass ATS filters
Highlighted keywords are explicitly listed as required skills.
Generating AI bullets using Gemini…
Sign in to get your ATS score and an enhanced resume tailored to this job.
Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the end-to-end formalization of the refinement from architecture to micro-architecture Define formal verification architecture, develop test plans and build end-to-end formal sign-off environments for Qualcomm CPU components Engage in full-spectrum deployment of model-checking technology to hardware designs including property verification, math proofs, architectural modeling and validation amongst other cutting-edge application areas To be successful in this position you will need: BA/BS degree in CS/EE with 8+ years of practical experience in application of formal methods in hardware or software Strong model checking or theorem proving background/experience in verification of complex systems Experience in writing assertions and associated modeling code in Hardware Description Languages or in proving correctness of architectural specifications using formal methods Working familiarity with model checkers like Jaspergold and VC-Formal or theorem-proving tools such as ACL2 and HOL The ideal candidate will have the following experience: MS/PhD degree in CS/EE; 12+ years of practical experience Strong foundation in formal methods and in their application to hardware specifications and/or implementations Domain knowledge in one or more of these areas: Microprocessor architecture and micro-architecture, instruction set architecture, floating-point math, memory consistency, memory coherency, security architectures Strong software engineering skills with proven ability in automation and proficiency in at least one programming language (C++, Python, TCL etc.) Minimum
Company
Qualcomm India
Location
Bangalore, Karnataka, India
Type
Full Time
Experience
8+ years
Posted
8 Apr 2026
Prep tools
Company
Qualcomm India
Location
Bangalore, Karnataka, India
Type
Full Time
Experience
8+ years
Posted
8 Apr 2026
Req ID
446717835218
Qualcomm India
Semiconductor