Formal Verification Engineer (Grad-Senior)

FoAvanti 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.