Formal Verification Technical Lead

2 weeks ago

United Kingdom Apple Inc. Full time

Saint Albans , Hertfordshire , United Kingdom

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 leading 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 looking for an experienced Formal Verification Technical Lead to join our UK team.

Key Qualifications

  • Outstanding team leading and communication skills and experience working with design and verification teams to identify FV candidates, develop test plans and perform data-centric verification closure.
  • 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
Description

As a formal verification technical lead you'll work to identify targets and 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-classP 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.

#J-18808-Ljbffr

  • Formal Verification Engineer

    Found in: Jooble UK C2 - 2 weeks ago

    United Kingdom European Recruitment Full time

    Formal Verification Engineer We are working with the world's largest CPU development company who are looking to add an experienced Formal Verification Engineer for their systems IP team in Cambridge. This role will allow you to work on the latest hardware design and verification methodologies to develop complex and highly configurable hardware IP that...

  • Formal Verification Engineer

    2 weeks ago

    United Kingdom European Recruitment Full time

    Formal Verification Engineer We are working with the world's largest CPU development company who are looking to add an experienced Formal Verification Engineer for their systems IP team in Cambridge. This role will allow you to work on the latest hardware design and verification methodologies to develop complex and highly configurable hardware IP that...

  • CPU - Formal Verification Engineer

    2 weeks ago

    United Kingdom Arm Limited Full time

    In the fast-moving world of CPU Verification, Formal Methods are becoming crucial to the success of today's ever-accelerating development cycle. Arm’s CPU Group is looking for engineers with experience in Formal Verification who desire to be at the cutting edge of applied formal methods. We are offering the chance to become part of a dedicated team...

  • Systems IP

    2 weeks ago

    United Kingdom Arm Limited Full time

    This position is an excellent opportunity for an experienced and highly motivated verification engineer to join the hardworking System IP team! This is a fast-paced technical role employing the latest hardware design and verification methodologies to develop complex and highly configurable hardware IP that sit at the heart of Arm-based Systems! This role is...

  • Formal Verification Engineer Axiomise

    2 weeks ago

    United Kingdom Semiconductor Engineering Full time

    We are looking to hire top-notch engineering talent for the UK. Your typical day job would involve building cutting-edge formal verification testbench environments to find bugs and build proofs of bug absence in SoCs containing processors, video/GPUs, networking, AI/ML designs.Formal verification is the only way to generate proofs of correctness and build...

  • Formal Methods Engineer

    2 weeks ago

    United Kingdom Input Output Hong Kong Full time

    Summary: Are you ready to make a significant impact in the world of cutting-edge technology and data protection? Midnight is seeking a Formal Methods Engineer to join our dynamic team and help revolutionize our state-of-the-art data protection-based blockchain platform. If you are passionate about formal methods, excited about creating software that meets...

  • Principal Verification Engineer

    2 weeks ago

    United Kingdom Arm Limited Full time

    Arm’s verification engineers continuously push the boundaries of what is possible with simulation, formal, and emulation tools to produce industry-leading CPU IP. If working at the cutting edge of technology in a world-class team sounds like an exciting challenge then a role as an Arm Verification Engineer is for you! This team has been responsible for...

  • SoC/ASIC Design Verification Engineer

    2 weeks ago

    United Kingdom zeroRISC inc. Full time

    zeroRISC is committed to enabling trust in critical systems via transparently implemented security foundations. We embrace the use of open source technologies as a practical starting point for accessible, trustworthy, commercial engineering of secure systems. We contribute extensively to the OpenTitan open source silicon root of trust project and consider...

  • Verification Engineer

    Found in: Jooble UK C2 - 2 weeks ago

    United Kingdom European Recruitment Full time

    Formal Verification Engineer We are working with the world's largest CPU development company who are looking to add an experienced Formal Verification Engineer for their systems IP team in Cambridge. This is a permanent role that can be worked on-site in Cambridge, Manchester or Sheffield. Optimize existing testbenches for peak performance, quality, and...

  • Verification Engineer

    2 weeks ago

    United Kingdom European Recruitment Full time

    Formal Verification Engineer We are working with the world's largest CPU development company who are looking to add an experienced Formal Verification Engineer for their systems IP team in Cambridge. This is a permanent role that can be worked on-site in Cambridge, Manchester or Sheffield. Optimize existing testbenches for peak performance, quality, and...

  • Senior Verification Engineer

    2 weeks ago

    United Kingdom Arm Limited Full time

    This position provides an exceptional opportunity for a highly motivated and experienced verification engineer to join the engaging, hardworking, and creative System IP team. The latest and most advanced hardware design and verification methodologies are employed to create the System IPs that will drive the development of the next generation of compute...

  • CPU - Principal Verification Engineer

    2 weeks ago

    United Kingdom Arm Limited Full time

    Arm’s verification engineers continuously push the boundaries of what is possible with simulation, formal, and emulation tools to produce industry-leading CPU IP. If working at the cutting edge of technology in a world-class team sounds like an exciting challenge then a role as an Arm Verification Engineer is for you! This team has been responsible for...

  • Director of Verification

    7 days ago

    United Kingdom Arm Limited Full time

    Job purpose This position provides a fantastic opportunity to work at the heart of the GPU development team; defining, developing and delivering the future Arm GPU roadmap! We are looking for a passionate engineering leader to be the Director verification for our GPU verification team based in Cambridge. Arm’s GPU verification team is responsible for...

  • Principal SoC

    2 weeks ago

    United Kingdom Arm Limited Full time

    Job Description: Arm’s Systems Development team creates subsystems and SoC designs for various application segments, using the latest IP products from Arm and other vendors. We are looking for creative and enthusiastic SoC Verification Engineers to join the team. For this role you will have knowledge of verifying and testing sophisticated IP such as...

  • Senior Digital Verification Engineer

    Found in: Jooble UK C2 - 2 weeks ago

    United Kingdom Codasip Full time

    Digital Design Verification - RISC-V ISA - Processor Microarchitecture - CPU - Formal Verification - Model checking - Property checking - SVA - OneSpin - JasperGold- International teams - Start-up culture France (Villeneuve-Loubet), Germany (Munich), the UK (Bristol/Cambridge), the Czech Republic (Brno, Prague), Barcelona (Spain), Greece...

  • Senior Digital Verification Engineer

    2 weeks ago

    United Kingdom Codasip Full time

    Digital Design Verification - RISC-V ISA - Processor Microarchitecture - CPU - Formal Verification - Model checking - Property checking - SVA - OneSpin - JasperGold- International teams - Start-up culture France (Villeneuve-Loubet), Germany (Munich), the UK (Bristol/Cambridge), the Czech Republic (Brno, Prague), Barcelona (Spain), Greece...

  • Staff SoC

    2 weeks ago

    United Kingdom Arm Limited Full time

    Job Description: Arm’s Systems Development team creates subsystems and SoC designs for various application segments, using the latest IP products from Arm and other vendors. We are looking for creative and enthusiastic SoC Verification Engineers to join the team. For this role you will have knowledge of verifying and testing sophisticated IP such as...

  • Verification Engineer

    2 weeks ago

    United Kingdom Arm Limited Full time

    Job Description: We are a multi-disciplinary team with software, FPGA and board design expertise delivering platforms internally and externally in support Arm’s IP business model. This role will based in Cambridge, UK working at the forefront of Arm based embedded design. The Hardware Platforms team craft physical hardware development platforms based...

  • Digital Verification Engineer

    2 weeks ago

    United Kingdom microTECH Global Limited Full time

    Job title: Digital Verification Engineer Location: Cambridge, UK Contract: Permanent About the client As pioneers of innovative neural computing, my client is transforming the future of computing by bringing the enormous potential of neural computing to the highest performance in most data-intensive applications. They are made up of people with...

  • Senior SoC

    2 weeks ago

    United Kingdom Arm Limited Full time

    Job Description: Arm’s Systems Development team builds subsystems and SoC designs for various application segments, using the latest IP products from Arm and other vendors. We are looking for creative and enthusiastic SoC Verification Engineers to join the team. For this role you will have knowledge of verifying and testing sophisticated IP such as...