Back
Tier-1 brand and metro location increase competition despite niche senior specialization.
Highly specialized hardware formal verification skills transfer poorly outside semiconductor and hardware design industries.
Explicit multi-level years requirements and mandatory formal methods/tool expertise make filters highly strict.
Login to See Your Match Score
Create a free account or log in to unlock your CV match score across:
Lead development of formal verification architecture and end-to-end sign-off environments for Qualcomm CPU components.
Collaborate with CPU design teams to translate design intent into comprehensive formal verification plans and schedules.
Deploy advanced model-checking and theorem-proving technologies including property verification, math proofs, and architectural validation for hardware designs.
Bachelor's degree in CS, EE, or related field with 6+ years hardware engineering experience, OR Master's with 5+ years, OR PhD with 4+ years.
8+ years practical experience applying formal methods in hardware or software verification.
Experience writing assertions and modeling code in HDLs or proving hardware spec correctness using formal methods.
Familiarity with model checkers like Jaspergold, VC-Formal or theorem-proving tools such as ACL2 and HOL.
Advanced degree (MS/PhD) with 12+ years practical formal methods experience applied to hardware specifications or implementations.
Domain expertise in microprocessor architecture, instruction set architecture, floating-point math, memory consistency/coherency, or security architectures.
Strong software engineering skills with automation experience and proficiency in at least one programming language (C++, Python, TCL).