Full-Time

Formal Verification Technical Lead

Confirmed live in the last 24 hours

Apple

Apple

10,001+ employees

Designs and sells consumer electronics and software

VR & AR
Consumer Software
Fintech
Consumer Goods

Senior, Expert

Welwyn Garden City, UK

Category
Hardware Engineering
Hardware Validation & Testing

You match the following Apple's candidate preferences

Employers are more likely to interview you if you match these preferences:

Degree
Experience
Requirements
  • Outstanding team leading and communication skills and experience working with design and verification teams to identify FV candidates, develop test plans and perform data-centric verification closure.
  • Hands on experience with VLSI and digital logic design and verification techniques
  • Advanced knowledge of SoC, CPU, GPU, or Cellular designs
  • Developed formal property proofs on industrial strength designs and architectures
  • Deep understanding of pipeline architectures, memory/DMA controllers, out-of-order and speculative instruction execution hardware, bus interconnects, and cache coherence mechanisms
  • Confirmed understanding of formal verification technologies/abstraction techniques
  • Knowledge and experience in interpreting hardware specifications
  • 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
Responsibilities
  • Working with Apple'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.
Desired Qualifications
  • Understanding of application processors (CPU/GPU), their Instruction Set Architectures (ISA), Memory Consistency Models (MCM) or Cache Coherence protocols is desirable but not necessary
  • Exposure to ARM type architectures is desirable but not necessary

Apple Inc. designs, manufactures, and sells a variety of consumer electronics and software products. Its main offerings include iPhones, iPads, Mac computers, Apple Watches, and Apple TVs, along with services like the App Store, Apple Music, iCloud, and Apple Pay. The products work together seamlessly, providing users with a cohesive experience across devices. Apple differentiates itself from competitors through its integrated approach, which combines hardware and software to enhance user interaction. The company aims to provide high-quality technology solutions while expanding its services, such as the Apple Card and trade-in programs, to foster customer loyalty and promote sustainability.

Company Stage

IPO

Total Funding

$619.1K

Headquarters

Cupertino, California

Founded

1976

Simplify Jobs

Simplify's Take

What believers are saying

  • AirPods Pro 3's health tracking taps into the growing wearable health tech market.
  • Apple Music's new PR leadership could strengthen brand presence in the music industry.
  • Smart home hub development positions Apple as a key player in home automation.

What critics are saying

  • Health tracking features may face regulatory scrutiny over data privacy concerns.
  • AI-powered smart home devices increase competition with Amazon and Google.
  • $430 billion U.S. investment may be affected by economic and policy changes.

What makes Apple unique

  • Apple's integrated hardware and software create a seamless user experience across devices.
  • The Apple Card offers unique financial incentives, enhancing customer loyalty and engagement.
  • Apple's spatial computing innovations provide immersive experiences without physical controllers.

Help us improve and share your feedback! Did you find this helpful?

Benefits

Health Insurance

Dental Insurance

401(k) Retirement Plan

401(k) Company Match

Tuition Reimbursement

Performance Bonus

Relocation Assistance

Employee Stock Purchase Plan