The point where experts and best companies meet
Share
Job Area:
Engineering Group, Engineering Group > ASICS Engineering
Roles and Responsibilities
Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the end-to-end formalisation 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 modelling and validation amongst other cutting-edge application areas
To be successful in this position you will need
Degree in Computer Science /Electronic Engineering with 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 modelling 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
MSc /PhD degree in Computer Science /Electronic Engineering; graduate to 10+ years of practical experience (experience matters to us more than years)
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 Qualifications:
• Bachelor's degree in Science, Engineering, or related field and 4+ years of ASIC design, verification, validation, integration, or related work experience.
Master's degree in Science, Engineering, or related field and 3+ years of ASIC design, verification, validation, integration, or related work experience.
PhD in Science, Engineering, or related field and 2+ years of ASIC design, verification, validation, integration, or related work experience.
What's on Offer
Apart from working in an open, relaxed and collaborative space, you will enjoy:
Apart from working in an open, relaxed and collaborative space, you will enjoy:
Salary, stock and performance related bonus
Employee stock purchase scheme
Matching pension scheme
Life, Medical, Income and Travel Insurance
Relocation Assistance (If required)
Enhanced Maternity Leave
Enhanced Paternity Leave
Menopause Support
Education Assistance
Employee Assistance Programme
Voluntary Health Checks
Complimentary Period Products onsite
Global Wellbeing Days
Subsidised gym membership
Bicycle purchase scheme
Employee run clubs, including, running, football, chess, badminton + many more
*References to a particular number of years experience are for indicative purposes only. Applications from candidates with equivalent experience will be considered, provided that the candidate can demonstrate an ability to fulfill the principal duties of the role and possesses the required competencies.
Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.
These jobs might be a good fit