Senior Formal Verification Lead

4 days ago


St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

Imagine a world where innovation meets expertise. At Apple, we push boundaries and redefine industries with groundbreaking products and services.

About the Role

We are seeking an experienced Senior Formal Verification Lead to join our UK team, focusing on high-quality functional products for millions of customers. As a critical contributor, you will work closely with design teams to identify FV candidates, develop test plans, and perform data-centric verification closure.

Responsibilities
  • Collaborate with world-class design engineers to develop formal micro-architecture specifications.
  • Formalize the refinement from architecture to micro-architecture.
  • Develop comprehensive formal verification test plans.
  • Prove properties of the design, find design bugs, and improve the micro-architecture.

As a key member of our team, you will craft novel solutions for verifying complex design micro-architectures, developing re-usable and optimized formal models and verification code base, and architecting correct-by-construction design methodologies for improved formal verification efficiency and productivity.

Requirements
  • Hands-on experience with VLSI and digital logic design and verification techniques.
  • Advanced knowledge of SoC, CPU, GPU, or Cellular designs.
  • Confirmed understanding of formal verification technologies/abstraction techniques.
  • Experience in interpreting hardware specifications.
  • Knowledge and experience in using EDA formal tools; tool development experience is a plus.
What We Offer

Join our dynamic team at Apple, and you'll be rewarded with a competitive salary of $180,000 per year, along with benefits that include excellent health insurance, retirement savings plan, and generous paid time off. If you're passionate about developing world-class formal verification solutions, this is your chance to shine



  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Overview:">">The Formal Verification Architect will lead the development of a formal micro-architecture specification for Apple's world-class SOC and IP design engineers.">">Responsibilities:">">Developing comprehensive formal verification test plans.">Proving properties of the design, finding design bugs, and working closely with design teams to help...


  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Apple Inc. is seeking an experienced senior verification engineer to work on System-on-a-chip (SoC) design verification. As a key member of our design team, you will be responsible for creating high-quality, bug-free functional products. Your main duties will include:Key Duties:Developing formal micro-architecture specificationsCollaborating with design...


  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Join Apple Inc. as a Senior Design Verification EngineerWe are seeking an exceptional individual to collaborate with our team in designing and verifying high-quality System-on-a-chip (SoC) products. This is a highly visible role that will impact the delivery of groundbreaking products to millions of customers worldwide.About the RoleThis position requires...


  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Job OverviewAs a Formal Verification Technical Lead, you'll play a critical role in ensuring the quality and reliability of our cutting-edge products.Your primary responsibilities will include identifying targets for formal verification, completing formal verification for single or multiple design blocks and IPs, and working closely with design teams to...


  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    At Apple Inc., we empower talented individuals to drive innovation and shape the future of technology. Our UK team is looking for a seasoned Digital Logic Design and Verification Expert to lead our Formal Verification efforts, pushing the boundaries of what's possible.Job SummaryWe're seeking a highly skilled Digital Logic Design and Verification Expert to...


  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    We're on a mission to revolutionize the world of technology, and we need your expertise to get there! As a Micro-Architecture Verification Specialist, you'll play a critical role in developing and implementing formal models and verification code base, ensuring the quality and reliability of our products.About the TeamOur team is comprised of talented...


  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Imagine what you could do at Apple Inc., a company renowned for revolutionizing entire industries with innovative products and customer experiences. With a passion for innovation, Apple Inc. is looking for a skilled Embedded Systems Verification Engineer to join its dynamic group.About the RoleThis highly visible role involves collaborating with design teams...


  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Unlock Your Potential at AppleWelcome to Apple Inc., a place where innovation knows no bounds. We are seeking a highly skilled Electronics Systems Verification Specialist to join our team and contribute to the development of cutting-edge System-on-a-chip (SoC) designs.This is an excellent opportunity for you to apply your knowledge of formal logic and...


  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    About the RoleWe are seeking a skilled Formal Verification Specialist to join our dynamic team. As a key member of our group, you will be responsible for crafting novel solutions for verifying complex design micro-architectures.Your expertise in formal verification technologies, abstraction techniques, and EDA formal tools will help us push the boundaries of...


  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Role OverviewWe are seeking a seasoned Formal Verification Technical Lead to join our team at Apple Inc. This role offers the opportunity to work on cutting-edge projects, collaborate with experienced professionals, and contribute to the development of innovative solutions.Key ResponsibilitiesCrafting novel and creative solutions for verifying complex design...


  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    About this Role:">">This is an exciting opportunity to join Apple's dynamic team and contribute to the development of innovative formal verification solutions.">">Key Responsibilities:">">Developing comprehensive formal verification test plans.">Proving properties of the design, finding design bugs, and working closely with design teams to help improve the...


  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Design Chips for the Future at Apple Inc.We are looking for a talented engineer to join our team in developing next-generation chips. As a Chips Development Specialist, you will play a critical role in creating high-quality System-on-a-chip (SoC) designs.About the JobThis position requires strong problem-solving skills, excellent communication skills, and...


  • St Albans, Hertfordshire, United Kingdom Apple Inc. Full time

    Make a Difference at Apple with Our High-Speed SoC Design TeamWe are looking for a talented High-Speed SoC Design Expert to join our team and help us push the boundaries of innovation. As a key member of our design team, you will be responsible for creating formal micro-architecture specifications, understanding computer architecture, and developing formal...


  • St Albans, Hertfordshire, United Kingdom Mane Contract Services Full time

    Job DescriptionThis role is perfect for someone who thrives on technical challenges, values collaboration, and is eager to develop their leadership skills further. As an FPGA Lead Designer, you'll play a pivotal role in delivering advanced solutions for projects that require precision, innovation, and top-tier expertise. You'll guide a talented team, foster...


  • St Albans, Hertfordshire, United Kingdom Oaklands College Full time

    Become a Part of Our A-Level Biology TeamWe are seeking an experienced and passionate educator to join our A-level team at Oaklands College, St Albans. As a leading institution providing transformational education for over 100 years, we are committed to delivering high-quality education and promoting academic excellence.The successful candidate will deliver...

  • Senior Technical Lead

    1 month ago


    St Albans, Hertfordshire, United Kingdom Aon Corporation Full time

    Aon Corporation seeks a skilled Senior Developer to drive innovation and lead the development of cutting-edge solutions in its Health business.Job DescriptionThis is an exceptional opportunity for a motivated individual to shape the future of client relationships while driving innovation within a leading global firm. As a Senior Developer - Health, you will...

  • Senior Design Lead

    2 weeks ago


    St Albans, Hertfordshire, United Kingdom Randstad Full time

    Job OverviewWe are seeking an experienced Senior Design Lead to manage the overall design process for water infrastructure projects within the Thames Water region.The ideal candidate will have a strong understanding of design processes and best practices across multiple engineering disciplines, excellent project management skills, and exceptional...


  • St Albans, Hertfordshire, United Kingdom AECOM Full time

    Job OverviewAECOM is a world-renowned infrastructure consulting firm delivering professional services throughout the project lifecycle. We are seeking an experienced Hydraulic Network Modeller to join our dynamic and multidisciplinary Water Resources team.The successful candidate will be responsible for leading hydraulic model build and verification of sewer...


  • St Albans, Hertfordshire, United Kingdom Mane Contract Services Full time

    About the RoleThis FPGA Lead Designer role offers an exciting opportunity to drive innovation and lead the design and development of cutting-edge FPGA solutions. With a strong background in digital circuit design and expertise in FPGA architectures, you will play a pivotal role in delivering advanced solutions for projects that require precision, innovation,...


  • St Albans, Hertfordshire, United Kingdom Calibre Search Full time

    Company OverviewWe are a leading engineering consultancy based in St Albans, recruiting a highly experienced Senior Bridge Engineer to join our expanding team. This is a confidential opportunity for a talented professional to take a lead role in delivering complex bridge and structure projects across various sectors.