Formal Verification Engineer

Job title:

Formal Verification Engineer

Firm

Avanti Recruitment

Job description

Avanti Recruitment have partnered with a specialist Formal Verification firm within the Hertfordshire space, who present specialist consulting to massive names within the semiconductor world.The corporate are set to undergo a serious development section and are on the lookout for Formal Verification Engineers in any respect ranges to hitch their specialist staff. You is usually a graduate with a powerful Maths/Electronics/Physics background, or an engineer bringing Formal Verification data from business. For skilled engineers, you may have the chance to instantly lead tasks.To achieve success on this function you may want:

• A BSc/MSc/PhD in EEE/Maths/Physics
• Fluency in no less than one in every of VHDL/Verilog/Systemverilog
• Ideally a Linux/Unix background

It will be nice should you additionally had:

• Data of RISC-V/Arm/x86
• Expertise in ML or AI
• An understanding no less than one in every of Python/Tcl/Bash

On supply are aggressive wage packages, in addition to devoted Formal Verification coaching from business consultants – you may even have the chance to journey to worldwide verification conferences.

Anticipated wage

Location

Hertfordshire

Job date

Thu, 14 Mar 2024 00:26:36 GMT

To assist us observe our recruitment effort, please point out in your electronic mail/cowl letter the place (globalvacancies.org) you noticed this job posting.