Formal Verification Engineer

Galway, Galway, Ireland • Posted May 29, 2026

Job Type: Part Time
Location: Galway, Galway
Posted: May 29, 2026
Category: Engineers
Application Deadline: July 08, 2026

Role 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
  • Interested in this role?

    Click the button below to start your application for Formal Verification Engineer at Chipright.

    Apply Now