Avanti Recruitment have partnered with a specialist Formal Verification company in the Hertfordshire 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
#J-18808-Ljbffr