Formal Verification Engineer

2 weeks ago


Reading, Reading, United Kingdom IC Resources Full time

Formal Verification Engineer - Reading

This role can also be based in Northampton, Dortmund, Lausanne and Copenhagen

An established yet fast-scaling semiconductor company known for developing advanced, low-power, high-speed connectivity solutions used in next-generation computing and consumer electronics. They're looking to expand their formal verification capability and are now hiring a skilled Formal Verification Engineer to support their European design teams.

This
Formal Verification Engineer
will work closely with design, micro-architecture and verification groups to shape and execute effective formal strategies across complex digital IP. The role can be based in Switzerland, the UK, Germany, or Denmark.

Key Responsibilities

  • Create, refine and apply formal verification methodologies for complex digital blocks
  • Review specifications and RTL to build well-structured, coverage-driven verification plans
  • Develop and maintain formal environments, assertions and models
  • Analyse results, identify root causes and collaborate with design teams to close issues
  • Support sign-off processes and contribute to improving verification flows and automation

Skills & Knowledge

  • Strong background in formal verification for ASIC or FPGA development
  • Proficiency with assertion-based techniques (e.g., SVA, PSL)
  • Experience using formal verification tools (Cadence ecosystem advantageous but not essential)
  • Scripting skills for automation (Python, TCL, Perl or similar)
  • Understanding of digital design, CPU/ISA concepts and common bus or interconnect protocols
  • Clear communicator with a structured, analytical and cooperative working style

Email -

Tel

LinkedIn -



  • Reading, Reading, United Kingdom European Tech Recruit Full time £80,000 - £120,000 per year

    Digital Verification EngineerEuropean Tech Recruit are working closely with a leading semiconductor company, based in Reading, who are looking for a talentedDigital Verification Engineerto join their team.This role can also be available working out of their Lausanne (Switzerland), Northampton (UK) or Dortmund (Germany) offices.Responsibilities asDigital...


  • Reading, Reading, United Kingdom European Tech Recruit Full time £80,000 - £120,000 per year

    We are seeking an experienced Digital Verification Lead Engineer to drive verification strategy, lead multi-site teams, and contribute to the development of cutting-edge semiconductor products.This role can be based out of the following locations:Lausanne (Switzerland), Reading/Northampton (UK), Dortmund (Germany), or Copenhagen (Denmark).Key...


  • Reading, Reading, United Kingdom IC Resources Full time

    Digital Mixed Signal Verification Engineer - ReadingThis role can also be based in Northampton, Lausanne, Dortmund and Copenhagen.A leading innovator in high-speed semiconductor solutions, delivering energy-efficient chip-to-chip link technologies that push the boundaries of electronics. They are seeking a Digital Mixed Signal Verification Engineer to join...


  • Reading, Reading, United Kingdom Innovate Full time

    JOB TITLE:Systems Engineer (IV&V / Project Engineering)LOCATION:SloughSALARY RANGE:Very Competitive & Excellent Benefits5 Days a week on SiteAbout the RoleThe Project/Systems Engineering function provides systems expertise across all projects, from bid through full development lifecycle. The function ensures project and statutory requirements are met, drives...


  • Reading, Reading, United Kingdom Solutions Driven Full time

    Senior System EngineerResponsible for the Engineering Life Cycle and delivery of the V-Model for Air and Missile Defense Systems.Represents the project engineering interest for all technical aspects related to system design.Overarching responsibility for the design and quality of the system level specifications, architecture, and detailed designs of the...


  • Reading, Reading, United Kingdom Technical Futures Ltd Full time

    An Analog Design Engineer skilled in the design and layout of high-speed circuits, an advanced user of EDA tools and with a deep understanding of transistor and wireline communications fundamentals will join a thriving scale-up semiconductor company, revolutionizing wired connectivity. Generous salary package and Hybrid working on offer.Key Requirements...


  • Reading, Reading, United Kingdom ALL Full time

    At ALL.SPACE we are fortunate to produce stand-alone phased-array antennas. This means that we cover the entire electronics spectrum. We design and produce the electronics hardware (power, analogue, digital, and RF), as well as the firmware and software that runs on our hardware. FPGAs are crucial elements of our antennas, and our FPGA firmware designers...

  • EDA CAD Engineer

    1 week ago


    Reading, Reading, United Kingdom IC Resources Full time

    This is a new opportunity for an EDA CAD Engineer to join a growing European Semiconductor company based in Berkshire, Southern England.As an expanding high-tech scale-up, our client offers a lot of opportunity for an EDA CAD Engineer interested in working across advanced chip and system-level projects. As the EDA CAD Engineer you will:Manage and maintain...


  • Reading, Reading, United Kingdom IC Resources Full time

    A new opportunity for an Analog IC Design Engineer to join a successful and expanding company working on high-speed transceivers in advanced technology nodesBased in Berkshire, UK, our client is looking for an Analog IC Design Engineer to take responsibility for block level specifications, modelling, design and verification of very high-speed Analog...


  • Reading, Reading, United Kingdom ALL Full time

    Who are we?We hire those that seek to innovate across people, process and technology. Join our global workforce, visualise the future and strive for success. Our engineering campus and corporate offices in the UK and US are optimal environments for ideas and innovation to flourish.ALL.SPACE, has developed a smart terminal, capable of linking with all...