ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs in Kentucky

Distro

$4.0K - $5.0K/mo

Remote Reports to: CEO Team: 2-3 engineers About the role Distro is an AI-powered recruiting ... verification signals in application materials based on available information. These tools assist ...

Humana

Senior Kafka Developer - NBA

Louisville, KY · On-site +1

$52.25 - $69.25/hr

Reliability - Engineer for correctness under load: partitioning, ordering, idempotency, exactly ... Remote/Hybrid - Preferably Boston, MA. Occasional travel to Humana's offices for training or ...

Humana

Senior Kafka Developer - NBA

Louisville, KY · On-site +1

$52.25 - $69.25/hr

Reliability - Engineer for correctness under load: partitioning, ordering, idempotency, exactly ... Remote/Hybrid - Preferably Boston, MA. Occasional travel to Humana's offices for training or ...

Humana

Senior Kafka Developer - NBA

Louisville, KY · On-site +1

$52.25 - $69.25/hr

Reliability - Engineer for correctness under load: partitioning, ordering, idempotency, exactly ... Remote/Hybrid - Preferably Boston, MA. Occasional travel to Humana's offices for training or ...

Moderna

Intern, CMC Development (Summer 2027)

Owensboro, KY · On-site +1

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

Intern, CMC Development (Summer 2027)

Lexington, KY · On-site +1

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

Intern, CMC Development (Summer 2027)

Frankfort, KY · On-site +1

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

Intern, CMC Development (Summer 2027)

Covington, KY · On-site +1

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

Moderna

Intern, CMC Development (Summer 2027)

Louisville, KY · On-site +1

$20 - $60/hr

The CMC Development organization at Moderna is looking for top talent in science and engineering to ... Participate in planning, design, execution, analysis of experiments and formal risk assessments to ...

next page

Showing results 1-20

All JobsFormal Verification Engineer JobsRemote Formal Verification Engineer JobsRemote Formal Verification Engineer Jobs in Kentucky

Remote Formal Verification Engineer information

What is a remote formal verification engineer?

Remote Formal Verification Engineers are professionals who use mathematical methods to verify the correctness of hardware or software designs, ensuring they meet specified requirements and are free from critical errors. They typically work from home or any location outside a traditional office, collaborating with teams online. Their main tasks include writing formal specifications, developing verification strategies, analyzing results, and reporting on system reliability. This role is essential in industries like semiconductor design, automotive, and aerospace, where system failures can have significant consequences.

What are the key skills and qualifications needed to thrive as a remote formal verification engineer?

To thrive as a Remote Formal Verification Engineer, you need a strong background in digital design, formal verification methodologies, and a relevant degree in computer engineering or a related field. Expertise in formal verification tools (such as JasperGold or Questa Formal), hardware description languages (like Verilog or VHDL), and scripting languages is typically required. Strong problem-solving ability, attention to detail, and effective remote communication skills set top performers apart. These skills ensure the accurate validation of hardware designs, reduce costly errors, and enable efficient collaboration in distributed teams.

How does a remote formal verification engineer typically collaborate with development and design teams across different time zones?

As a Remote Formal Verification Engineer, effective collaboration with development and design teams is critical, especially when working across multiple time zones. Most teams use a combination of asynchronous communication tools (like email, Slack, and project management platforms) and scheduled video meetings to align on goals, clarify verification requirements, and review progress. It's common to document verification plans and results thoroughly so colleagues in other regions can review and contribute. Flexibility in working hours and proactive communication help ensure smooth handoffs and minimize blockers, making remote collaboration productive and efficient.

What is the difference between Remote Formal Verification Engineer vs Remote Hardware Verification Engineer?

AspectRemote Formal Verification EngineerRemote Hardware Verification Engineer
Required CredentialsBachelor's/Master's in Electrical Engineering, Computer Science; certifications in formal methodsBachelor's/Master's in Electrical Engineering, Computer Engineering; certifications in hardware testing
Work EnvironmentDesign and analyze digital systems using formal methods remotelyTest and validate hardware components remotely in lab or simulation environments
Industry UsageSemiconductor, electronics, tech companies focusing on verificationSemiconductor, electronics, hardware manufacturing companies
Search & Comparison IntentOften compared due to similar industry and skills, focusing on verification methods

The Remote Formal Verification Engineer specializes in mathematically proving the correctness of digital systems remotely, while the Remote Hardware Verification Engineer tests and validates hardware components remotely. Both roles require strong technical credentials and are used in similar industries, but they focus on different verification techniques and processes.

What are popular job titles related to Remote Formal Verification Engineer jobs in Kentucky?

For Remote Formal Verification Engineer jobs in Kentucky, the most frequently searched job titles are:

What job categories do people searching Remote Formal Verification Engineer jobs in Kentucky look for?

The top searched job categories for Remote Formal Verification Engineer jobs in Kentucky are:

What cities in Kentucky are hiring for Remote Formal Verification Engineer jobs?

Cities in Kentucky with the most Remote Formal Verification Engineer job openings:

Remote Formal Verification Engineer jobs near you

Principal Coding Annotator / LLM Evaluation Engineer

Alexandria, KY • On-site, Remote

Braintrust
See more jobs at Braintrustexternal

$75 - $90/hr

Full-time

Posted 8 days ago

Job description

Company
Braintrust is a global talent network that connects top independent professionals with leading companies for high-quality, flexible work. We help organizations hire skilled talent faster while giving professionals access to vetted opportunities with innovative teams. Job description

This is a contracting engagement - initially 6 months - with potential for long term engagement.

Location: Paris or London-based preferred; alternatively Europe remote for strong candidates


We are building and evaluating state-of-the-art large language models (LLMs) and are looking for experienced software engineers to join our evaluation and annotation team. This role sits at the intersection of real-world software engineering, model evaluation, and applied AI, and is critical to improving model reliability, reasoning, and code quality.

You will design challenging coding tasks, evaluate model outputs against rigorous benchmarks, identify failure modes, and contribute to reinforcement learning and model improvement workflows.

This is not a junior annotation role. We are looking for practitioners with deep hands-on coding experience who can think like both an engineer and an evaluator.

What You’ll Do
  • Evaluate coding tasks involving software vulnerabilities, exploit verification, and security patches.
  • Create high-quality coding prompts and reference answers (benchmark-style, e.g. SWE-Bench-like problems).
  • Evaluate LLM outputs for code generation, refactoring, debugging, and implementation tasks.
  • Identify and document model failures, edge cases, and reasoning gaps.
  • Perform head-to-head evaluations between private LLMs (Mistral-based) and leading external models.
  • Build or configure coding environments to support evaluation and reinforcement learning (RL).
  • Follow detailed annotation and evaluation guidelines with high consistency.
What We’re Looking For
  • 5+ years of professional software development experience.
  • Strong Python skills (required).
  • Knowledge of at least one additional programming language (bonus).
  • Experience with professional code review, coding annotation, LLM/code evaluation, or benchmark design is a plus, but not required.
  • Hands-on experience with vulnerability research, exploit reproduction or verification, or implementing, backporting, or validating security patches.
  • Proven ability to apply structured evaluation criteria and write clear technical feedback.
  • Fluent in English (written and spoken).
  • Team lead or mentoring experience is a strong plus.
Why This Role
  • Work hands-on with cutting-edge LLMs.
  • Apply real-world engineering judgment to model evaluation and improvement.
  • High-impact, technical work with a focused, senior team.

Apply