Design Verification Engineer
Design Verification Engineer

Design Verification Engineer

England Full-Time No home office possible
C

3 days ago Be among the first 25 applicants

Get AI-powered advice on this job and more exclusive features.

Direct message the job poster from ConSol Partners

Technology Headhunter at ConSol Partners

Hello,

One of my clients in Oxfordshire is urgently hiring for a Formal Verification Engineer . This is a fantastic opportunity to dive into a challenging role, offering both personal and professional growth. Please send a copy of your CV if you would like to apply.

Job Description:

Location: Oxfordshire, England

Work Mode: Onsite

Responsibilities:

  • Mentorship from Principal & Distinguished Engineers.
  • Opportunity to mentor colleagues.
  • Gain insight into various stages of the design & verification cycle.
  • Hands-on experience with leading-edge EDA tools and advanced process nodes, using industry-standard languages and methodologies (e.g., SystemVerilog, UVM, Formal).
  • Work on high-volume data center & enterprise products used by leading industry companies.
  • Plan and manage resource utilization per project.

Requirements:

  • Bachelor’s or Master’s degree in Electronic Engineering, Computer Engineering, or related field.
  • 10+ years of experience in digital ASIC verification, with a strong focus on Formal Verification.
  • Expertise in Formal Verification methodologies, including:
  • Property Checking & Assertion-Based Verification (ABV)
  • Formal Test Planning & Coverage Analysis
  • Formal Sign-Off & Proof Convergence Strategies
  • Hands-on experience with industry-standard formal tools, such as:
    • Cadence JasperGold
    • Synopsys VC Formal
  • Strong SystemVerilog Assertions (SVA) & PSL (Property Specification Language) knowledge.
  • Ability to translate architecture and design specifications into formal properties and constraints.
  • Familiarity with debugging inconclusive proofs and optimizing proof convergence.
  • Experience in verifying complex protocols (e.g., PCIe, NVMe, DDR, AMBA) using formal methods.
  • Proficiency in scripting for automation (Python, Perl, TCL).
  • Seniority Level

    Mid-Senior level

    Employment Type

    Full-time

    Job Function

    Software Development

    #J-18808-Ljbffr

    C

    Contact Detail:

    ConSol Partners Recruiting Team

    Design Verification Engineer
    ConSol Partners
    C
    Similar positions in other companies
    UK’s top job board for Gen Z
    discover-jobs-cta
    Discover now
    >