מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר
Apple Formal Verification Engineer United States, California, Cupertino 958647314
16.05.2024
Key Qualifications
- Hands on experience with VLSI and digital logic design and verification techniques or formal methods and their application to hardware, software, or systems
- Interest in learning and becoming an expert in SoC, CPU, GPU, or Cellular designs
- Detail oriented approach and desire to overcome challenges is required.
Description
As a formal verification engineer working the complete formal verification for single or multiple design blocks and IPs (CPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.), you will be: - Working with Apple Silicon's world-class design engineers to develop a formal micro-architecture specification. - Formalizing the refinement from architecture to micro-Architecture. - Developing comprehensive formal verification test plan. Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture. - Crafting novel and creative solutions for verifying complex design micro-architectures. - Developing and implementing re-usable and optimized formal models and verification code base. - Architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.
Education & Experience
Minimum requirement of a bachelors degree.
Additional Requirements
- PREFERRED QUALIFICATIONS
- - Formal Method or Formal Verification technologies experience and abstraction techniques
- - Knowledge and experience in interpreting hardware specifications and using
- - Temporal logic assertion-based languages such as SVA or PSL
- - Experience in using EDA formal tools and tool development experience is a plus
- - Proficiency in any scripting language with excellent debugging skills
- - Extraordinary teammate with excellent interpersonal skills
- - Passionate about developing world-class/innovative formal verification solutions
- - Exposure to CPU instruction-set architectures, memory consistency or cache coherence principles
Pay & Benefits
- At Apple, base pay is one part of our total compensation package and is determined within a range. This provides the opportunity to progress as you grow and develop within a role. The base pay range for this role is between $55.82 and $84.09/hr, and your base pay will depend on your skills, qualifications, experience, and location.Note: Apple benefit, compensation and employee stock programs are subject to eligibility requirements and other terms of the applicable plan or program.
משרות נוספות שיכולות לעניין אותך
