SonicJobs Logo
Login
Left arrow iconBack to search

Formal Verification Engineer (Grad-Senior)

Avanti Recruitment
Posted 12 hours ago, valid for a day
Location

London, Greater London NW18QL, England

Salary

£35,000 - £60,000 per annum

Contract type

Full Time

By applying, a CV-Library account will be created for you. CV-Library's Terms & Conditions and Privacy Policy will apply.

SonicJobs' Terms & Conditions and Privacy Policy also apply.

Sonic Summary

info
  • Avanti Recruitment is seeking Formal Verification Engineers for a specialist company in the London area, focusing on consulting for the semiconductor industry.
  • The company is experiencing significant growth and is open to candidates at all levels, including recent graduates with a strong background in Maths, Electronics, or Physics.
  • Experienced engineers will have the chance to lead projects immediately, while all candidates must possess a BSc/MSc/PhD in EEE/Maths/Physics and fluency in at least one of VHDL, Verilog, or SystemVerilog.
  • Preferred qualifications include a Linux/Unix background, knowledge of RISC-V/Arm/x86, and experience in machine learning or AI, as well as familiarity with Python, Tcl, or Bash.
  • Competitive salary packages are offered, along with dedicated training in Formal Verification and opportunities to attend global verification conferences.

Avanti Recruitment have partnered with a specialist Formal Verification company in the London area, who provide specialist consulting to big names in the semiconductor world.

The company are set to go through a major growth phase and are looking for Formal Verification Engineers at all levels to join their specialist team. You can be a graduate with a strong Maths/Electronics/Physics background, or an engineer bringing Formal Verification knowledge from industry. For experienced engineers, you’ll have the opportunity to immediately lead projects.

To be successful in this role you’ll need:

  • A BSc/MSc/PhD in EEE/Maths/Physics
  • Fluency in at least one of VHDL/Verilog/Systemverilog
  • Ideally a Linux/Unix background

It would be great if you also had:

  • Knowledge of RISC-V/Arm/x86
  • Experience in ML or AI
  • An understanding at least one of Python/Tcl/Bash

On offer are competitive salary packages, as well as dedicated Formal Verification training from industry experts – you’ll also have the opportunity to travel to worldwide verification conferences.

Apply now in a few quick clicks

By applying, a CV-Library account will be created for you. CV-Library's Terms & Conditions and Privacy Policy will apply.

SonicJobs' Terms & Conditions and Privacy Policy also apply.