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
- Knowledge of RISC-V/Arm/x86
- Experience in ML or AI
- An understanding at least one of Python/Tcl/Bash
