ⓘ There was an unexpected error processing your request.
Please refresh the page and try again.
If the problem persists, please contact us with your issue.
You can always manage your preferences and update your interests to ensure you receive the most relevant opportunities.
Get ready to discover your next great opportunity.
European Recruitment
Cambridge, England, United Kingdom
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
Job Source: European RecruitmentCodasip
Cambridge, England, United Kingdom
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), Greec
Job Source: CodasipAES
Cambridge
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
Job Source: AESEuropean Recruitment
Cambridge, England, United Kingdom
Verification Engineer (m/f/d) Location: Cambridge Our client 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 a Verification
Job Source: European RecruitmentAES
Cambridge
Position: 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 opportunity to
Job Source: AESEuropean Recruitment
Cambridge, England, United Kingdom
Verification Engineer | CPU | RTL / UVM / SystemVerilog Location: Cambridge, UK We are recruiting Verification Engineers of all seniorities to work for a world-leading Semiconductor Company on topics including the development of next-generation industry-leading CPU and GPU processors. The company is able to support visas and relocation where app
Job Source: European RecruitmentLEX Diagnostics
Cambridge, England, United Kingdom
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
Job Source: LEX DiagnosticsNeubla
Cambridge, England, United Kingdom
Verification Engineer in Cambridge, UK About Neubla As pioneers of innovative neural computing, Neubla is transforming the future of computing by bringing the enormous potential of neural computing to the highest performance in most data-intensive applications. Neubla is made up of people with expertise and lots of experience in many different fie
Job Source: NeublaCambridge, England, United Kingdom
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 sit at the heart of the company's Systems. This is a permanent role that can be worked on-site in Cambridge, Manchester or Sheffield.
Responsibilities for the role:
Design and build cutting-edge testbenches for next-generation hardware IP.
Optimize existing testbenches for peak performance, quality, and efficiency.
Analyze proposed design changes through a verification lens, ensuring testability.
Take complete ownership of verification environments, from initial setup to successful closure.
Develop, enhance, and maintain robust SVA Formal testbenches.
Craft and refine a comprehensive suite of SVA Protocol Checkers for both formal and simulation use
Requirements for this role:
Formal Verification Architect & Leader: Expertise in architecting, leading, and implementing formal verification environments for intricate IP and module-level designs.
SVA Assertion Master: Proven experience in property-based model checking or Formal Property Verification using SystemVerilog Assertions (SVA) with industry-standard formal tools.
Nice to have:
Team Leadership & Mentorship: Proven ability to lead and mentor teams, fostering growth and collaboration.
Multiprocessing Expertise: Deep understanding of multiprocessing microarchitectures, including cache coherence protocols (AMBA5 CHI, AMBA4 ACE) and bus protocols (AXI).
Collaborative Communicator: Excellent communication skills, adept at working effectively within a team environment.
Keywords: Formal Verification / Formal Methods / SVA / IP / SystemVerilog / System Verilog / AMBA 5 / AXI / Formals / Protocol Checkers / Checkers / Hardware / Systems / Cambridge / UK
By applying to this role you understand that we may collect your personal data and store and process it on our systems. For more information please see our Privacy Notice (https://eu-recruit.com/about-us/privacy-notice/)
Formal Verification Engineer jobs in Cambridge, England, United Kingdom
ⓘ There was an unexpected error processing your request.
Please refresh the page and try again.
If the problem persists, please contact us with your issue.
You can always manage your preferences and update your interests to ensure you receive the most relevant opportunities.
Get ready to discover your next great opportunity.