Jobs in Rotherham, United Kingdom
Formal Verification Engineer
Chipright
Radiology, Community
Montefiore Health System
Commission-Only Sales Representative
TALENT INDIVIDUALS
Problem Manager - Automotive
Luxoft
Midwife - Relocate to Australia - Newcastle upon Tyne - Sanctuary Personal
Sanctuary Personnel Ltd
Discover more opportunities than anywhere else. Find more jobs nowSoftware Implementation Specialist
JR United Kingdom
Consultant Urology (Surgery) – Nationwide
Provide Medical
Senior Account Manager – Payments Sector
Executive Headhunters
Connect with headhunters to apply for similar jobsScientist / Analytical Chemist
Broughton
Work at Home Data Entry Agent - Part Time
TowardJobs
Work from Home Data Entry Clerk - (Part-time)
TowardJobs
New Sales & Business Development Manager
JR United Kingdom
Customer Support Associate
CreativeX
Work at Home Data Entry Agent - Part Time
TowardJobs
Online English as a Foreign Language - Part Time
FindTutors
Lead/Staff Full Stack Engineer, AI Platform & Agents
Wolters Kluwer
Work at Home Data Entry Agent - Part Time
TowardJobs
Technical Data Product Manager (Remote)
Forbes Advisor
Work From Home Customer Service Representative - Part Time
TowardJobs
Employment Solicitor
Sumer Group Holdings Limited
Work at Home Data Entry Agent - Part Time
TowardJobs
Formal Verification Engineer
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
Salary: Very attractive hourly rate based on Seniority
Location: N/A
- 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.
* The salary benchmark is based on the target salaries of market leaders in their relevant sectors. It is intended to serve as a guide to help Premium Members assess open positions and to help in salary negotiations. The salary benchmark is not provided directly by the company, which could be significantly higher or lower.