Formal Verification Engineer

Chipright; United Kingdom; Remote; GBP 80,000 - 100,000; Part time

Job summary

A technology recruitment agency in the United Kingdom is seeking a Principal ASIC Verification Recruitment Specialist. Candidates should have over 5 years of industry experience in verification, particularly with System Verilog and formal tools like Jasper Gold. The role offers a very attractive hourly rate based on seniority.

Qualifications

• 5+ years of industry experience with strong verification skills.
• Experience with assertion and coverage-based verification methodologies.
• Familiarity with dynamic verification methodologies is a plus.

Skills

System Verilog/UVM verification skills

Assertion coding

Formal tools (Jasper Gold or VC Formal)

Scripting languages (Perl, Python)

Job description

Principal ASIC Verification Recruitment Specialist

Salary: Very attractive hourly rate based on Seniority

Location: N/A

Experience & Skills

• 5+ years industry experience with strong System Verilog/UVM based verification skills & experience with assertion & coverage-based verification methodology.
• Assertion coding and converging on Formal tools.
• Must have worked on Jasper Gold or VC Formal tools.
• Understanding of common flows, such as sequential equivalence checks, register verification using formal is a plus.
• Experience in dynamic verification methodologies will be a plus.
• Experience with scripting languages such as Perl, Python is a plus.