Senior Design Verification Engineer

4 days ago


St Albans, Hertfordshire, United Kingdom Apple Inc. Full time
Join Apple Inc. as a Senior Design Verification Engineer

We 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 Role

This position requires strong expertise in formal logic, automated reasoning, C, C++, or Python programming languages, and problem-solving skills. The ideal candidate will have a solid understanding of computer architecture and operating systems, as well as knowledge of SML or other functional languages.

You will work closely with design teams to create formal micro-architecture specifications, develop verification test plans, and prove properties for the design. Your primary focus will be on crafting novel and innovative solutions for verifying sophisticated design micro-architectures.

Requirements
  • Master's or PhD degree in Electronic Engineering, Computer Science, Computer Engineering, Mathematics / Applied Mathematics, or a related field
  • Strong written and verbal communication skills in English
  • Good knowledge of formal logic and automated reasoning
  • C, C++, or Python programming skills

The salary for this position is approximately £60,000 - £80,000 per year, depending on experience.



  • 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

    Imagine a world where innovation meets expertise. At Apple, we push boundaries and redefine industries with groundbreaking products and services.About the RoleWe 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...


  • 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

    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

    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

    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

    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

    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

    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

    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 Ampere Recruitment Full time

    Job DescriptionAmpere Recruitment is hiring a Senior Analog Design Engineer to lead the design and development of power electronics systems with a focus on switched-mode power supplies.About the TeamWe are a dynamic team of engineers working on cutting-edge projects in power electronics and analogue design. We are looking for an experienced leader who can...

  • Senior Design Lead

    4 days ago


    St Albans, Hertfordshire, United Kingdom AECOM Full time

    About the Role:AECOM is a world-leading infrastructure consulting firm, and we're currently seeking a Senior Design Lead for our Water Engineering team. In this role, you'll work on significant water and wastewater engineering projects, leading multi-disciplinary teams and delivering high-quality designs. You'll have expertise in treatment schemes, pipeline...

  • Senior Water Engineer

    3 weeks ago


    St Albans, Hertfordshire, United Kingdom AECOM Full time

    About the RoleAs a Senior Electrical Engineer, you will be responsible for undertaking the design and review of electrical elements in wastewater and water infrastructure treatment projects, including chemical dosing, pumping stations, and sludge treatment units. You will also produce and review client deliverables, including calculations, drawings, and...

  • 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 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 Ampere Recruitment Full time

    Job Title: Senior Analog Designer for Power ElectronicsSalary: Estimated £70,000 - £90,000 per annumAmpere Recruitment is seeking a highly skilled Senior Analog Designer to join our client's team in Hertfordshire. The ideal candidate will have a strong background in power electronics and analogue design with a focus on switched-mode power supplies.Main...

  • Senior Design Manager

    4 weeks ago


    St Albans, Hertfordshire, United Kingdom Calco Services Careers Full time

    Role Overview">We are seeking an experienced Senior Design Manager to lead our design teams in delivering large-scale water and wastewater infrastructure projects. The ideal candidate will have a strong background in civil engineering, project management, and team leadership.The successful candidate will be responsible for managing the development of concept...


  • 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 CDP Ltd Full time

    About the RoleWe are seeking a highly motivated and ambitious Graduate Mechanical Engineer to join our dynamic building services engineering team. As a key member of our team, you will be responsible for designing and delivering innovative building services solutions that meet our clients' needs.The ideal candidate will have a strong academic background in...


  • St Albans, Hertfordshire, United Kingdom Innovate Full time

    **Senior RF Engineering Position at Innovate**We are looking for a highly skilled Senior RF Engineer to join our team as a Technical Director, responsible for leading the design and delivery of complex defence projects.**Responsibilities:**Lead and guide the RF and Antenna Team in daily operations.Manage work packages to meet project goals and...