Formal Verification Engineer

Chipright
📍 Galway, Galway, Ireland 💼 Part Time 🕒 Posted June 09, 2026

Job Description

5+ years industry experience with below skillset :
  • 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
  • Ready to Apply?

    Submit your application today and join our talented team at Chipright.

    Submit Application

    Job Details

    • Location Galway, Galway
    • Job Type Part Time
    • Category Engineers
    • Posted Date June 09, 2026
    • Application Deadline July 19, 2026