Full-Time
Formal Verification Technical Lead
Confirmed live in the last 24 hours
Apple
10,001+ employees
Designs and sells consumer electronics and software
Senior, Expert
Welwyn Garden City, UK
You match the following Apple's candidate preferences
Employers are more likely to interview you if you match these preferences:
- 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
- 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.
- 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'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