Formal Verification Engineer

2 weeks ago

London, Greater London, United Kingdom Apple Full time £120,000 - £500,000 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, amazing people and inspiring, innovative technologies are the norm here. The people who work here have reinvented entire industries with all Apple Hardware products. 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 love working on challenges that no one has solved yet? As a member of our dynamic group, you will have the unique and rewarding opportunity to craft upcoming products that will delight and inspire millions of Apple's customers every single day.

Description
As a formal verification architect leading the complete formal verification for single or multiple design blocks and IP's (CPU, Media IP, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.), you will be responsible for: Working with Apple's world-class SOC and IP design engineers to develop a formal micro-architecture specification 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

Minimum Qualifications
Advanced knowledge of SoC/CPU/GPU designs, VLSI, and digital logic design and verification techniques
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
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

Preferred Qualifications
Knowledge and experience in interpreting hardware specifications and using
Temporal logic assertion-based languages such as SVA or PSL
BS / MS / Ph.D in EE or CS is required.

  • Formal Verification Framework for Hardware IPs Validation

    1 week ago

    London, Greater London, United Kingdom Apple Full time £45,000 - £90,000 per year

    Join our dynamic and growing team at our London Bishopsgate design center.At Apple, new ideas and complex challenges have a way of becoming phenomenal products, services, and customer experiences very quickly. The AMS IP team owns a wide portfolio of IPs & complete subsystems going to all the Apple products.In this context the Design Verification Engineer...

  • Design Verification Engineer

    4 days ago

    London, Greater London, United Kingdom G-Research Full time £60,000 - £120,000 per year

    We tackle the most complex problems in quantitative finance, by bringing scientific clarity to financial complexity. From our London HQ, we unite world-class researchers and engineers in an environment that values deep exploration and methodical execution - because the best ideas take time to evolve.  Together we're building a world-class platform to...

  • Verification Engineer

    5 days ago

    London, Greater London, United Kingdom Fractile Full time

    Fractile's mission is to enable a new chapter in the AI revolution. We're pioneering AI innovation where hardware and software join to create something truly extraordinary, unlocking the power of the world's largest language models with speed increases of x100. Our team is rapidly expanding, and we're searching for visionary engineers, scientists, and...

  • Lead - Design Verification Engineer

    4 days ago

    London, Greater London, United Kingdom Quest Global Full time £160,000 - £200,000 per year

    Job RequirementsJob DescriptionWho We AreQuest Global delivers world-class end-to-end engineering solutions by leveraging our deep industry knowledge and digital expertise. By bringing together technologies and industries, alongside the contributions of diverse individuals and their areas of expertise, we are able to solve problems better, faster. This...

  • System Specification and Verification Principal Engineer

    2 days ago

    London, Greater London, United Kingdom Anaplan Full time £80,000 - £120,000 per year

    At Anaplan, we are a team of innovators focused on optimizing business decision-making through our leading AI-infused scenario planning and analysis platform so our customers can outpace their competition and the market.What unites Anaplanners across teams and geographies is our collective commitment to our customers' success and to our Winning Culture.Our...

  • System Specification and Verification Principal Engineer

    3 days ago

    London, Greater London, United Kingdom Anaplan Full time £100,000 - £150,000 per year

    At Anaplan, we are a team of innovators focused on optimizing business decision-making through our leading AI-infused scenario planning and analysis platform so our customers can outpace their competition and the market.What unites Anaplanners across teams and geographies is our collective commitment to our customers' success and to our Winning Culture.Our...

  • Senior Verification Engineer

    6 days ago

    London, Greater London, United Kingdom ixceed Full time £3,249,513 - £8,596,110 per year

    Role: Senior Verification EngineerLocation: London, UKMode: HybridType: Fixed-term contractJob Description:Drive verification for DSP/RF signal-chain blocks using UVM and advanced verification techniques. Validate algorithms such as FFT, FIR, and channelizers.Key Skills:UVM, class-based testbench, VIP integrationDSP verification (FFT, FIR, channelizer)Python...

  • Design Verification Engineer

    1 week ago

    London, Greater London, United Kingdom Apple Full time £60,000 - £120,000 per year

    Do your life's best work here - with the whole world watching. At Apple, new ideas and complex challenges have a way of becoming phenomenal products, services, and customer experiences very quickly. You will join the growing team at our UK GPU design centre, contributing to the pre-silicon RTL verification of blocks in high performance 3D graphics processor...

  • Experienced AMS Design Verification Engineer

    2 weeks ago

    London, Greater London, United Kingdom Apple Full time £90,000 - £120,000 per year

    At Apple, we work daily to craft products that enrich people's lives. Do you love working on challenges that no one has solved yet? Do you like changing the game? We have an opportunity for a forward-thinking and creative Design Verification Engineer. As a member of our Advanced Technology group, you will have the rare and rewarding opportunity to craft...

  • Experienced AMS Design Verification Engineer

    1 week ago

    London, Greater London, United Kingdom Apple Full time £90,000 - £120,000 per year

    At Apple, we work daily to craft products that enrich people's lives. Do you love working on challenges that no one has solved yet? Do you like changing the game? We have an opportunity for a forward-thinking and creative Design Verification Engineer. As a member of our Advanced Technology group, you will have the rare and rewarding opportunity to craft...