Formal Verification Engineer

3 weeks ago


Cambridge, United Kingdom Connected Consulting Limited Full time

**Role Overview**

Does working at the cutting edge of technology in a world-class team sounds like an exciting challenge? Do you want to push the boundaries the fast-moving world of CPU Verification, and Formal Methods to improve the ever-accelerating development cycle?

**Required Skills and Experience**:

- Commercial experience in functional verification or digital hardware design
- Understand the fundamental verification concepts
- An interest in processors and digital systems, alongside an understanding of computer architecture & micro-architectural concepts
- Hardware description and verification languages, such as VHDL, Verilog, SystemVerilog etc
- Ability to understand and map abstract formal concepts into designs
- Creativity and ability to communicate ideas effectively

**'Nice to have’ Skills and Experience**:

- Familiar with industry-standard formal verification tools
- Knowledge of the end-to-end verification processes, from test plan creation through to verification closure
- Proficiency in scripting languages, e.g., Python, Perl, TCL etc
- Familiarity with model-checking techniques
- Exposure to invariants and abstractions

**Interview Process**

There will be a two-stage process in place, comprising of a first interview with some technical questions, followed by a second stage that will involve a deeper technical assessment, alongside a two-way Q&A.

**Sponsorship



  • Cambridge, United Kingdom European Recruitment Full time

    Formal Verification Engineer We are recruiting Formal Verification Engineers of all seniorities to work for a world-leading Semiconductor Company to join their dedicated Formal verification team working to deliver blocks for next-generation GPUs. This is a permanent working opportunity based in Cambridge, UK. Our client is able to support visas and...


  • Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    Formal Verification Engineer We are recruiting Formal Verification Engineers of all seniorities to work for a world-leading Semiconductor Company to join their dedicated Formal verification team working to deliver blocks for next-generation GPUs. This is a permanent working opportunity based in Cambridge, UK. Our client is able to support visas and...


  • Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    Formal Verification EngineerWe're partnering with the biggest CPU development company globally, on the lookout for a skilled Formal Verification Engineer to join their systems IP team in Cambridge. This opportunity lets you dive into the latest hardware design and verification methods, working on intricate hardware IP pivotal to the company's Systems. This...


  • Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    Job Description Formal Verification Engineer We are recruiting Formal Verification Engineers of all seniorities to work for a world-leading Semiconductor Company to join their dedicated Formal verification team working to deliver blocks for next-generation GPUs. This is a permanent working opportunity based in Cambridge, UK. Our client is able to...


  • Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    Formal Verification Engineer We are recruiting Formal Verification Engineers of all seniorities to work for a world-leading Semiconductor Company to join their dedicated Formal verification team working to deliver blocks for next-generation GPUs. This is a permanent working opportunity based in Cambridge, UK. Our client is able to support visas and...


  • Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    Formal Verification Engineer We are recruiting Formal Verification Engineers of all seniorities to work for a world-leading Semiconductor Company to join their dedicated Formal verification team working to deliver blocks for next-generation GPUs. This is a permanent working opportunity based in Cambridge, UK. Our client is able to support visas and...


  • Cambridge, United Kingdom arm limited Full time

    The Role 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...


  • Cambridge, 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 cultureLocations: France (Villeneuve-Loubet), Germany (Munich), the UK (Bristol/Cambridge), the Czech Republic (Brno, Prague), Barcelona (Spain), Greece...


  • Cambridge, Cambridgeshire, 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 Locations: France (Villeneuve-Loubet), Germany (Munich), the UK (Bristol/Cambridge), the Czech Republic (Brno, Prague), Barcelona (Spain), Greece...


  • Cambridge, Cambridgeshire, 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 Locations: France (Villeneuve-Loubet), Germany (Munich), the UK (Bristol/Cambridge), the Czech Republic (Brno, Prague), Barcelona (Spain), Greece...

  • Verification Engineer

    2 months ago


    Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    We are recruiting Formal Verification Engineers of all seniorities to work for a world-leading Semiconductor Company to join their dedicated Formal verification team working to deliver blocks for next-generation GPUs. This is a permanent working opportunity based in Cambridge, UK. Our client is able to support visas and relocation where applicable....

  • Verification Engineer

    1 month ago


    Cambridge, Cambridgeshire, United Kingdom European Recruitment Full time

    We are recruiting Formal Verification Engineers of all seniorities to work for a world-leading Semiconductor Company to join their dedicated Formal verification team working to deliver blocks for next-generation GPUs. This is a permanent working opportunity based in Cambridge, UK. Our client is able to support visas and relocation where applicable....


  • Cambridge, United Kingdom AES Full time

    Position: Verification Engineer Location: Cambridgeshire (Hybrid) Salary: £40,000 to £85,000 (DOE) + Excellent Benefits / Prospects (including Relocation Assistance) If there is something stopping you from achieving all you’re capable of, you’ll relish a role with a company that will positively encourage you to be pro-active – a real opportunity to...


  • Cambridge, United Kingdom AES Full time

    Position: Verification EngineerLocation: Cambridgeshire (Hybrid)Salary: £40,000 to £85,000 (DOE) + Excellent Benefits / Prospects (including Relocation Assistance)If there is something stopping you from achieving all you’re capable of, you’ll relish a role with a company that will positively encourage you to be pro-active – a real opportunity to...


  • Cambridge, Cambridgeshire, United Kingdom microTECH Global Ltd Full time

    Job DescriptionJob Title: UVM Verification EngineerLocation: UK/RemoteDuration: 12 months' initialStart Date: 1st July 2024A client based in in the UK is looking for a UVM verification Engineer, this will be for an initial 12 month contract with extensions. The role can be performed mainly remotely with up to 50% on-site ideally required.The successful...


  • Cambridge, United Kingdom LEX Diagnostics Full time

    LEX is currently seeking a Verification and Validation Engineer who will actively engage in hands-on testing of the LEX diagnostic system. You will be working closely with the head of Quality and Engineering team and will be responsible for defining, designing, and executing verification and validation activities for the LEX 5-minute PCR diagnostic...


  • Cambridge, United Kingdom AES Full time

    Position: Senior Verification Engineer Location: Cambridgeshire (Hybrid) Salary: £65,000 to £85,000 (DOE) + Excellent Benefits / Prospects (including Relocation Assistance) If there is something stopping you from achieving all you’re capable of, you’ll relish a role with a company that will positively encourage you to be pro-active – a real...


  • Cambridge, United Kingdom AES Full time

    Position: Staff Verification Engineer Location: Cambridgeshire (Hybrid) Salary: £65,000 to £85,000 (DOE) + Excellent Benefits / Prospects (including Relocation Assistance) If there is something stopping you from achieving all you’re capable of, you’ll relish a role with a company that will positively encourage you to be pro-active – a real...


  • Cambridge, United Kingdom IC Resources Full time

    Cambridge based Start-up looking for CPU Verification Engineer. CPU Verification - ML/AI This is an exciting join an extremely well-funded machine learning start-up based in Cambridge as a CPU Verification Engineer. Having opened doors to new offices in North Cambridge last year, my client is creating brand-new AI acceleration hardware and software for edge...


  • Cambridge, United Kingdom AES Full time

    Position: Staff Verification EngineerLocation: Cambridgeshire (Hybrid)Salary: £65,000 to £85,000 (DOE) + Excellent Benefits / Prospects (including Relocation Assistance)If there is something stopping you from achieving all you’re capable of, you’ll relish a role with a company that will positively encourage you to be pro-active – a real opportunity...