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