About the Job:
Our client is looking to hire top-notch engineering talent for the UK. Your typical day job would involve building cutting-edge formal verification testbench environments to find bugs and build proofs of bug absence in SoCs containing processors, video/GPUs, networking, AI/ML designs. Formal verification is the only way to generate proofs of correctness and build proofs of bug absence.
Our client trains engineers in the best-known semiconductor names, and you can assume that we will provide you with the best FV training to get you started. All we expect from you is a passion for digital design, computer architecture and problem-solving.
There is a substantial amount of hands-on work on formal verification of processors, GPU blocks, networking designs or AI/ML. The work will include building strategy, verification plans, testbenches and sign-off using the six-dimensional coverage methodology.
You are expected to be confident in Verilog/VHDL as well as fluent in SVA and Tcl/Perl/Python and Unix/Linux scripting.
Essential Requirements:
Education
Bachelor/Masters/Doctorate in EEE/ECE/CS/Maths
Technical Skills:
Linux/Unix
Verilog/VHDL design
Open-source projects in design/verification
RISC-V/Arm/x86/MIPS
SVA/PSL/Theorem proving
Tcl/Python/Bash
Soft Skills
Problem solving
Ownership
Autonomy
Team spirit
Attention to detail