Senior Formal Verification Architect

2 days ago


London, Greater London, United Kingdom Apple Inc. Full time

We're seeking an exceptional Senior Formal Verification Architect to join our team at Apple Inc. As a key leader, you'll play a vital role in developing world-class formal verification solutions.

About the Role

This is a challenging and rewarding opportunity to work on System-on-a-chip (SoC) design verification, collaborating closely with design teams. If you have experience leading formal verification efforts and are passionate about driving excellence, we'd love to hear from you.

Key Responsibilities
  • Lead the complete formal verification for single or multiple design blocks and IPs (CPU, Media IP, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.).
  • Develop comprehensive formal verification test plans.
  • Prove properties of the design, find design bugs, and collaborate with design teams to improve the micro-architecture.
  • Craft novel solutions for verifying complex design micro-architectures.
  • Develop and implement reusable formal models and verification code.

As a Senior Formal Verification Architect, you'll be responsible for architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.

What We Offer

We offer an estimated salary range of $160,000 - $220,000 per year, depending on your level of experience and qualifications. You'll also enjoy a dynamic and collaborative work environment, working with smart people who share your passion for innovation.



  • London, Greater London, United Kingdom Austin Fraser Full time

    About the RoleAustin Fraser has partnered with a company in the London area to recruit a Senior Formal Verification Specialist. The successful candidate will be part of a remote working team responsible for creating GPU technology for online gaming and datacentre markets.The ideal candidate will have experience in developing formal testbenches, writing...


  • London, Greater London, United Kingdom Apple Inc. Full time

    About the JobWe are seeking an extraordinary teammate with excellent interpersonal skills and a passion for developing world-class/innovative formal verification solutions. As a key member of our team, you will contribute to architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.In this role,...


  • London, Greater London, United Kingdom microTECH Global LTD Full time

    About the Opportunity:We are seeking a highly skilled Digital Verification Engineer to join our team at microTECH Global LTD in the South East, United Kingdom. As a key member of our verification team, you will be responsible for planning and managing your work to achieve high-quality outcomes on schedule.About the Role:You will be responsible for...


  • London, Greater London, United Kingdom Platform Recruitment Full time

    Platform Recruitment is looking for a talented Verification Framework Architect to join our team.The ideal candidate will have extensive experience with SystemVerilog and strong knowledge of top/chip-level verification processes.We are developing a solution for the quantum cryptography problem, and we need someone to design, develop, and maintain...


  • London, Greater London, United Kingdom European Tech Recruit Full time

    Job Title: Senior SoC Verification EngineerEuropean Tech Recruit is seeking an experienced Senior SoC Verification Engineer to join our client's team in Cambridge or Manchester. This is a fantastic opportunity to work with a well-established semiconducting software design company, contributing to the development of cutting-edge technology.Estimated Salary:...


  • London, Greater London, United Kingdom European Tech Recruit Full time

    Job Title: Senior SoC Verification EngineerWe are a leading European technology recruitment agency, based in the UK, working with a well-established semiconducting software design company. We are currently seeking a Senior Staff SoC Verification Engineer to join their team in Cambridge or Manchester.The estimated salary for this role is £80,000 - £120,000...


  • London, Greater London, United Kingdom Apple Inc. Full time

    Job DescriptionThis is an exceptional opportunity to leverage your expertise in SoC/CPU/GPU designs, VLSI, and digital logic design and verification techniques. You will work on developing formal property proofs on industrial strength designs and architectures, utilizing temporal logic assertion-based languages such as SVA or PSL.The ideal candidate will...


  • London, Greater London, United Kingdom European Tech Recruit Full time

    Euroepan Tech Recruit is hiring a Verification Expert for Advanced Systems to join their team in the UK.We are partnering with a leading semiconducting software design company based in the United Kingdom who are seeking a Senior Staff SoC Verification Engineer & Soc Verification Engineer to join their team in Cambridge or Manchester.This role offers a...


  • London, Greater London, United Kingdom European Tech Recruit Full time

    European Tech Recruit is partnering up with a well-established semiconducting software design company based in the United Kingdom.We are looking for a Senior Staff SoC Verification Engineer & Soc Verification Engineer to join their team in Cambridge or Manchester.As a Senior SoC Verification Engineer, you will be working with design engineers, architects,...


  • London, Greater London, United Kingdom European Tech Recruit Full time

    Job OverviewWe are seeking an experienced Senior Staff SoC Verification Engineer to join our team in Cambridge or Manchester. This is a fantastic opportunity to work with a well-established semiconducting software design company.Estimated Salary: £90,000 - £110,000 per annumAbout the RoleAs a Senior Staff SoC Verification Engineer, you will collaborate...


  • London, Greater London, United Kingdom Pion Full time

    About PionWe are a leader in innovation, technology, and employee empowerment. Our company culture is defined by our people, who drive us to create an inclusive, diverse, and respectful work environment.Job DescriptionAs a passionate and experienced Head of Verification Partnerships, you will lead our sales strategy for verification products, champion them...

  • Senior GPU Architect

    4 weeks ago


    London, Greater London, United Kingdom Apple Inc. Full time

    About UsAt Apple, innovation knows no bounds. We empower our team members to push the frontiers of technology and create products that inspire wonder.A Career in GPU DesignWe are seeking a skilled Senior GPU Architect to join our UK GPU Design Centre. As a key member of our team, you will play a crucial role in designing complex GPU-related projects that...


  • London, Greater London, United Kingdom European Tech Recruit Full time

    Job Overview: We are looking for a highly skilled SoC Design Verification Expert to join our team in Cambridge or Manchester. Our client, a leading semiconducting software design company, requires an expert to contribute to the development of their next-generation products.Estimated Salary: £85,000 - £110,000 per annumJob Description:We are partnered up...


  • London, Greater London, United Kingdom microTECH Global LTD Full time

    Job Summary:We are seeking a highly skilled Digital Verification Engineer to join our team at microTECH Global LTD in the South East, United Kingdom. As a key member of our verification team, you will be responsible for planning and managing your work to achieve high-quality outcomes on schedule.About the Role:You will be responsible for architecting,...


  • London, Greater London, United Kingdom Pion Full time

    About the RoleWe are seeking a highly experienced and skilled Strategic Verification Solutions Leader to join our team at Pion. This role plays a pivotal part in leading our sales strategy for verification products and championing them across sales teams.ResponsibilitiesClosely work with customers to understand their specific verification needs and pain...


  • London, Greater London, United Kingdom Apple Inc. Full time

    Key ResponsibilitiesDevelop comprehensive formal verification test plans and prove properties of designs.Work closely with design teams to improve micro-architectures and develop reusable formal models.Craft novel solutions for verifying complex design micro-architectures.RequirementsAdvanced knowledge of SoC/CPU/GPU designs, VLSI, and digital logic design...


  • London, Greater London, United Kingdom microTECH Global Ltd Full time

    Job DescriptionWe are seeking a highly skilled SoC Verification Engineer to join our team at microTECH Global Ltd. As a key member of our engineering team, you will be responsible for designing and verifying complex electronic systems.Key Responsibilities:Verification Methodologies: Deploy advanced verification methodologies such as UVM and Formal...


  • London, Greater London, United Kingdom HSD Campus Full time

    We are seeking a seasoned Solution Engineer to join our UK team and help clients implement our innovative identity verification technology.About Inverid & ReadIDInverid is a rapidly growing tech company that specializes in award-winning identity verification solutions. Our flagship product, ReadID, is the world's first NFC-based smartphone identity...


  • London, Greater London, United Kingdom microTECH Global LTD Full time

    About the Company:Our client is driving disruptive innovations to help build a better future. With a focus on automotive and industrial end-markets, the company is accelerating change in megatrends such as vehicle electrification and safety, sustainable energy grids, industrial automation, and 5G and cloud infrastructure.Job Description:We have an exciting...


  • London, Greater London, United Kingdom European Tech Recruit Full time

    European Tech RecruitWe are partnered up with a well-established semiconducting software design company based in the United Kingdom who are looking for Senior Staff SoC Verification Engineers to join their team in Cambridge or Manchester.Job Description:The ideal candidate will have experience working with ARM-based designs and/or ARM System Architectures....