Find a job 
Featured Companies 
Featured Universities 
For Companies At a Glance
- Tasks: Lead formal verification for cutting-edge design blocks and collaborate with top engineers.
- Company: Join Apple, a leader in innovation and technology.
- Benefits: Competitive salary, health benefits, and opportunities for professional growth.
- Other info: Dynamic environment with roles for all experience levels, from junior to senior.
- Why this job: Make a real impact on groundbreaking products that change the world.
- Qualifications: Experience in VLSI, digital logic design, and formal verification techniques.
The predicted salary is between 60000 - 80000 ÂŁ per year.
Imagine what you could do here. At Apple, new ideas have a way of becoming extraordinary products, services, and customer experiences very quickly. Bring passion and dedication to your job and there's no telling what you could accomplish. Dynamic, smart people and inspiring, innovative technologies are the norm here. The people who work here have reinvented entire industries with all Apple Hardware products powered by Apple Silicon. The same passion for innovation that goes into our products also applies to our practices strengthening our commitment to leave the world better than we found it. Join us to help deliver the next groundbreaking Apple product.
Do you have experience being at the center of a System-on-a-chip (SoC) design verification effort collaborating with design? Are you passionate about changing the world? We have a critical impact on getting high quality functional products to millions of customers quickly and we are hiring all levels from junior to senior roles.
As a formal verification architect leading the complete formal verification for single or multiple design blocks and IP’s (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 responsible for:
- 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.
Minimum Qualifications
- 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 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.
- 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.
Preferred Qualifications
- Knowledge and experience in interpreting hardware specifications and using Temporal logic assertion-based languages such as SVA or PSL.
- BS / MS / Ph.D in EE or CS is required.
Formal Verification Engineer employer: Omaze
Contact Detail:
Omaze Recruiting Team
StudySmarter Expert Advice 🤫
We think this is how you could land Formal Verification Engineer
✨Network Like a Pro
Get out there and connect with folks in the industry! Attend meetups, conferences, or even online webinars. The more people you know, the better your chances of landing that dream job at Apple.
✨Show Off Your Skills
Don’t just tell them what you can do; show them! Create a portfolio or GitHub repository showcasing your projects and achievements in formal verification. This will give you an edge and demonstrate your passion for innovation.
✨Ace the Interview
Prepare for technical interviews by brushing up on your knowledge of VLSI, digital logic design, and formal verification techniques. Practice common interview questions and be ready to discuss your past experiences and how they relate to the role.
✨Apply Through Our Website
Make sure to apply directly through our website! It’s the best way to ensure your application gets seen by the right people. Plus, it shows you’re genuinely interested in being part of the Apple team.
We think you need these skills to ace Formal Verification Engineer
Some tips for your application 🫡
Show Your Passion: When you're writing your application, let your passion for innovation shine through! We want to see how excited you are about the role and how you can contribute to our mission of creating extraordinary products.
Tailor Your CV: Make sure your CV is tailored to the job description. Highlight your experience with VLSI, digital logic design, and any formal verification techniques you've used. We love seeing how your skills align with what we're looking for!
Craft a Compelling Cover Letter: Your cover letter is your chance to tell us why you're the perfect fit for the role. Share specific examples of your work in SoC design verification and how you've collaborated with teams to solve complex problems. Make it personal!
Apply Through Our Website: Don't forget to apply through our website! It’s the best way for us to receive your application and ensures you’re considered for the role. Plus, it gives you a chance to explore more about what we do at StudySmarter!
How to prepare for a job interview at Omaze
✨Know Your Stuff
Make sure you brush up on your VLSI and digital logic design knowledge. Familiarise yourself with the specific SoC, CPU, and GPU designs mentioned in the job description. Being able to discuss these topics confidently will show that you're serious about the role.
✨Showcase Your Problem-Solving Skills
Prepare to discuss examples of how you've tackled complex verification challenges in the past. Think about specific instances where you developed innovative solutions or improved verification efficiency. This will demonstrate your ability to think critically and creatively.
✨Get Comfortable with Tools
If you have experience with EDA formal tools, be ready to talk about it! Even if you haven't used them extensively, showing a willingness to learn and adapt is key. Brush up on any scripting languages you know, as this could come up during technical discussions.
✨Be a Team Player
Apple values collaboration, so be prepared to discuss how you've worked effectively in teams. Highlight your interpersonal skills and give examples of how you've contributed to group projects. This will help convey that you're not just a tech whiz, but also a great teammate.