At a Glance
- Tasks: Join the team to mathematically prove the correctness of Apple Silicon's logic and eliminate bugs.
- Company: Be part of Apple's innovative culture, transforming industries with cutting-edge technology.
- Benefits: Competitive salary, health benefits, and opportunities for professional growth.
- Other info: Dynamic environment with full training provided and excellent career advancement opportunities.
- Why this job: Make a real impact on groundbreaking products while pushing the boundaries of formal verification.
- Qualifications: MS or PhD in relevant fields and strong mathematical proof skills required.
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.
The Datapath Formal Verification team mathematically proves the correctness of Apple Silicon's arithmetic and datapath logic — from floating-point units to complex data transformation pipelines — eliminating entire classes of bugs before silicon is fabricated. We are looking for engineers who combine rigorous mathematical thinking with practical problem-solving. You will work at the boundary between architecture and micro‑architecture, formalising design intent and verifying design implementations. Full training is provided in hardware design, computer arithmetic, and formal verification tooling; what we need is the ability to construct and critically examine rigorous proofs, and the curiosity to push the boundaries of what formal methods can achieve at scale.
As a member of the Datapath Formal Verification team, you will collaborate with Apple Silicon's design engineers to develop formal micro‑architecture specifications for mathematically intensive components. Your work will span the full formal verification lifecycle: understanding architectural intent, formalising the refinement from architecture to micro‑architecture, building verification plans, writing and proving properties, debugging failures, and driving design changes when issues are found. You will develop reusable formal models and verification IP, and as you grow in the role there will be opportunities to explore areas such as correct‑by‑construction design methodologies and novel verification strategies for previously intractable micro‑architectures.
Responsibilities
- Develop formal specifications that capture the intended behaviour of datapath and arithmetic micro‑architectures
- Formalise the refinement relationship between architectural specifications and micro‑architectural implementations
- Create and execute comprehensive formal verification plans for datapath components
- Write, debug, and prove formal properties, applying abstraction and decomposition techniques as needed
- Identify design bugs; work with design teams to root‑cause issues and verify fixes
- Develop and maintain reusable formal models, reference models, and verification IP
- Evaluate and improve formal tool flows, including scripting, automation, and integration with broader verification infrastructure
Minimum Qualifications
- MS or PhD in Computer Science, Electrical Engineering, Mathematics, or a related discipline
- Comfortable with deep mathematical abstraction and able to construct, critically examine, and communicate rigorous proofs
- Tenacious and detail‑oriented — able to sustain focus through long proof efforts and identify subtle logical gaps in specifications and arguments
- Intellectually curious, with a genuine interest in understanding how mathematical systems work at a fundamental level
- Proficiency in at least one programming language (e.g., Python, C++) is strongly preferred
Preferred Qualifications
- Professional experience and/or PhD in formal methods, formal verification, computer arithmetic, or mathematical logic
- Experience with formal verification concepts such as model checking, theorem proving, or abstraction and refinement techniques
- Familiarity with EDA formal verification tools (e.g., JasperGold, VC Formal, or equivalent)
- Experience with assertion‑based verification using temporal logic languages (SVA, PSL)
- Domain knowledge or research interest in SAT/SMT solving, interactive theorem proving or Constrained Optimisation
- Familiarity with RTL design in SystemVerilog or VHDL
- Experience interpreting hardware architecture specifications and translating them into formal properties
- Experience with automation of engineering workflows, including the use of AI‑assisted tooling
Datapath Formal Verification Engineer in London employer: Omaze
At Apple, we foster a culture of innovation and collaboration, where your passion for technology can lead to extraordinary achievements. As a Datapath Formal Verification Engineer, you will be part of a dynamic team dedicated to ensuring the highest standards of quality in our groundbreaking products, with ample opportunities for professional growth and development. Our commitment to employee well-being is reflected in our supportive work environment and comprehensive training programmes, making Apple an exceptional place to advance your career while contributing to meaningful advancements in technology.
StudySmarter Expert Advice🤫
We think this is how you could land Datapath Formal Verification Engineer in London
✨Tip Number 1
Network like a pro! Reach out to current or former employees at Apple, especially in the Datapath Formal Verification team. A friendly chat can give us insights into the company culture and maybe even a referral!
✨Tip Number 2
Prepare for technical interviews by brushing up on your formal verification concepts and programming skills. We recommend practising problem-solving with real-world examples to showcase your mathematical thinking and practical problem-solving abilities.
✨Tip Number 3
Showcase your passion for innovation! During interviews, share your thoughts on how you can contribute to Apple's mission of reinventing industries. We want to see your curiosity and dedication to pushing boundaries in formal methods.
✨Tip Number 4
Don’t forget to apply through our website! It’s the best way to ensure your application gets noticed. Plus, it shows us that you’re genuinely interested in being part of the Apple team.
We think you need these skills to ace Datapath Formal Verification Engineer in London
Some tips for your application 🫡
Show Your Passion:When you're writing your application, let your enthusiasm for the role shine through! We want to see that you’re genuinely excited about the opportunity to work with cutting-edge technology and contribute to innovative projects.
Tailor Your Application:Make sure to customise your CV and cover letter to highlight relevant experiences and skills that match the job description. We love seeing how your background aligns with what we’re looking for in a Datapath Formal Verification Engineer.
Be Clear and Concise:Keep your application straightforward and to the point. We appreciate clarity, so avoid jargon and make sure your key achievements and qualifications stand out. This helps us quickly see why you’d be a great fit!
Apply Through Our Website:Don’t forget to submit your application through our official website! It’s the best way for us to receive your details and ensures you’re considered for the role. Plus, it’s super easy to do!
How to prepare for a job interview at Omaze
✨Know Your Maths
Brush up on your mathematical concepts, especially those related to formal verification and computer arithmetic. Be ready to discuss how you approach constructing and examining rigorous proofs, as this will be a key part of the role.
✨Familiarise with Formal Verification Tools
Get to know the EDA formal verification tools mentioned in the job description, like JasperGold or VC Formal. If you have experience with any of these tools, be prepared to share specific examples of how you've used them in past projects.
✨Show Your Curiosity
Demonstrate your intellectual curiosity by asking insightful questions about the team’s current projects and challenges. This shows that you're not just interested in the role, but also in pushing the boundaries of formal methods.
✨Prepare for Problem-Solving Scenarios
Expect to tackle some problem-solving scenarios during the interview. Practice explaining your thought process clearly and logically, especially when it comes to identifying design bugs and proposing solutions.
