ZipRecruiter

Log In

1

Verification Jobs in Kentucky (NOW HIRING)

Harmonic

$180 - $230/hr

About the Role We are seeking a Formal Verification Engineer to verify production hardware and software with Aristotle, our formal reasoning agent. In this role, you will work with customers to scope ...

New

Apple Inc.

$123 - $214/hr

Description As a member of Emulation verification team, you will play a key role in utilizing Emulation for verification of large Wireless SoCs. You will also be involved in the most cutting-edge ...

New

Advanced Micro Devices

$150 - $190/hr

This is an exciting opportunity to work in the AMD SOC Verification Team as Silicon Design Verification Engineer where you will work with a team and experts in verification. THE PERSON: The candidate ...

New

Doist

$183 - $198/hr

# Verification & Qualification Engineer - Solar & DeployablesMuon Space • • Aerospace, Science, Environment • 1h agoSave this role or tell us whether you want more jobs like it.## **About the ...

New

NVIDIA Corporation

$100 - $167/hr

## GPU Verification Engineer - New College Grad 2026Applylocations: US, MA, Westford: US, CA, Santa Claratime type: Full timeposted on: Posted Todayjob requisition id: JR2023187## We are now looking for ...

New

Nexperia

$110 - $160/hr

## Mixed Signal Design Verification (MSDV) EngineerApplylocations: Dallastime type: Full timeposted on: Posted Yesterdayjob requisition id: R-20014867**Mixed Signal Design Verification Engineer*

New

NVIDIA Corporation

$136 - $265/hr

## Senior IP Verification EngineerApplylocations: US, CA, Santa Claratime type: Full timeposted on: Posted Todayjob requisition id: JR2015186We are now looking for a Senior Verification Engineer!NVIDIA ...

New

Hobbsnews

$150 - $310/hr

Own and drive block-level or subsystem verification efforts, from creating test plans to achieving comprehensive coverage closure. * Develop, enhance, and maintain advanced UVM verification ...

New

next page

Showing results 1-20

All JobsVerification JobsVerification Jobs in Kentucky

Verification information

See Kentucky salary details

$11

$16

$22

How much do verification jobs pay per hour?

As of Aug 21, 2026, the average hourly pay for verification in Kentucky is $16.39, according to ZipRecruiter salary data. Most workers in this role earn between $14.18 and $17.55 per hour, depending on experience, location, and employer.

What is a verification job?

Verification jobs involve checking the accuracy and authenticity of information, documents, or processes. Individuals in these roles often work in fields like finance, insurance, background screening, or quality assurance, ensuring that data complies with regulations and company standards. The tasks may include reviewing applications, validating identities, or confirming the validity of transactions. Attention to detail and strong analytical skills are essential for success in verification positions.

What skills and qualifications are needed for a verification engineer?

To thrive as a Verification Engineer, you need a solid background in digital design, logic analysis, and verification methodologies, often supported by a degree in electrical engineering or computer science. Familiarity with hardware description languages (such as Verilog or VHDL), simulation tools (like ModelSim or UVM), and scripting languages (like Python or Perl) is typically required. Strong problem-solving skills, attention to detail, and effective communication help Verification Engineers excel in debugging and collaborating with design teams. These skills are crucial for ensuring complex systems function as intended, reducing errors, and meeting project deadlines.

What are common challenges faced by professionals in verification roles, and how can they be addressed?

Professionals in Verification roles often encounter challenges such as managing tight project deadlines, ensuring thorough test coverage, and keeping up with rapidly evolving technology. Balancing attention to detail with efficiency is essential, as missing a critical bug can have significant downstream effects. Effective communication with design, development, and quality assurance teams is key to resolving ambiguities and aligning on test requirements. Staying updated on industry-standard tools and methodologies, and participating in regular training, can help verification specialists maintain high performance and adapt to new challenges.

What is the difference between Verification vs Quality Assurance?

AspectVerificationQuality Assurance
FocusEnsuring products meet specifications during developmentPreventing defects through process improvements
ActivitiesReviews, inspections, testing at various stagesProcess audits, standards implementation, training
TimingDuring development and testing phasesThroughout the entire production process
GoalConfirm correctness of the productImprove overall quality processes

Verification focuses on checking if the product meets specified requirements during development, while Quality Assurance aims to improve and maintain quality processes to prevent defects. Both are essential for delivering reliable products but serve different roles in the quality management lifecycle.

How to become a verification specialist?

To become a verification specialist, candidates typically need a high school diploma or equivalent, strong attention to detail, and good communication skills. Relevant experience in data entry, customer service, or background checks can be beneficial, and familiarity with verification tools or software is often preferred. Certifications are not usually required but can enhance job prospects.

What does a verification specialist do?

A verification specialist reviews and confirms the accuracy of information, such as identities, documents, or data, to ensure compliance and prevent fraud. They often use verification tools and follow established procedures to complete their assessments efficiently.

What are the most commonly searched types of Verification jobs in Kentucky?

The most popular types of Verification jobs in Kentucky are:

Verification jobs near you
Infographic showing various Verification job openings in Kentucky as of August 2026, with employment types broken down into 1% As Needed, 79% Full Time, 16% Part Time, 3% Contract, and 1% Nights. Highlights an 89% Physical, 3% Hybrid, and 8% Remote job distribution, with an average salary of $34,087 per year, or $16.4 per hour.

Formal Verification Engineer

Harmonic

On-site

$180 - $230/hr

Other

Medical, Dental, Vision, Retirement, PTO

Posted 3 days ago

New

Job description

About Harmonic

At Harmonic, we are building a mathematical reasoning engine that operates with absolute precision. While most AI makes maximum-likelihood guesses, Harmonic's Aristotle uses Lean 4 and reinforcement learning to verify its reasoning and results.

Following our Gold Medal-level performance on the 2025 International Math Olympiad (IMO) and the successful resolution of long-standing open problems, we are proving that AI can master the most rigorous domains of human thought. Backed by some of the world’s most prominent investors, we are intentionally scaling an elite technical team.

Visit our company blog to learn more about what we are working on!

About the Role

We are seeking a Formal Verification Engineer to verify production hardware and software with Aristotle, our formal reasoning agent. In this role, you will work with customers to scope requirements, define properties, execute formal proofs, and deliver reproducible workflows while feeding insights back to product and research. We are looking for a rigorous problem-solver with expertise in formal verification that can adapt readily based on customer requirements and expand the boundaries of Aristotle to push it further.

Key Responsibilities

  • Translate design intent into precise properties, utilize Aristotle intensively to execute formal proofs, and accurately diagnose verification failures.

  • Manage project scope and technical risk while maintaining direct, clear communication with customers

  • Quickly develop a comprehensive technical understanding of complex production-ready code, often across new or unfamiliar domains

  • Identify and analyze the critical properties customer teams need proved, translating business-critical requirements into clear, targeted formal specifications

  • Work with the product team to improve Aristotle based on observations in the field

  • Travel to customer sites on behalf of the company

Minimum Qualifications

  • BS in Computer Science, Mathematics, a related field, or equivalent industry experience

  • Direct experience in hardware verification, software verification, or interactive theorem proving (ITP)

  • Demonstrated ability to independently navigate complex concepts, manage risks and deadlines autonomously

  • Ability to calibrate communication seamlessly depending on the audience, from deep technical discussions to high-level value justifications and education for customers

  • Proficiency and practical experience with at least one proof assistant (e.g., Lean, Coq, Isabelle, Agda) and a strong foundation in formal methods and mathematical logic

Preferred Qualifications

  • MS or PhD in Computer Science, Mathematics, or a related field

  • Lean 4 expertise or strong fluency in another proof assistant

  • Experience applying formal verification methods to real-world industrial or commercial systems

  • Proven track record of high-caliber research demonstrated by publications, patents, or software contributions

  • Contributions to open-source projects or development of software tools in the field

What We Offer

  • Unlimited PTO

  • 401(k) matching

  • 100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents. Harmonic offers varied health coverage options to select what is best for you and your family.

  • Health Savings Account (HSA) available for qualifying health plans

Equal Opportunity Statement

Harmonic is committed to diversity and inclusivity in the workplace. We are an equal opportunity employer and do not discriminate on the basis of race, religion, national origin, gender, sexual orientation, age, veteran status, disability or any other legally protected status.

#J-18808-Ljbffr

Apply