Jobs
>
London

    Formal Verification Engineer Axiomise - United Kingdom - Semiconductor Engineering

    Semiconductor Engineering
    Semiconductor Engineering United Kingdom

    3 days ago

    Default job background
    Description
    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 proofs of bug absence.

    We train engineers in some of the best-known semiconductor names, and you can assume that we will provide you with the best FV training to get you started.

    All we expect from you is a passion for digital design, computer architecture and problem-solving.
    For additional details and the most recent updates, hit "Apply for job"
    #J-18808-Ljbffr