ZipRecruiter

Log In

2

Remote Formal Verification Engineer Jobs (NOW HIRING)

Logical Intelligence

AI Engineer in ML Data

San Francisco, CA · On-site +1

$134K - $162K/yr

We've won a well-known formal verification benchmark called PutnamBench, which consists of 672 hard ... About the role Join our team as an AI Engineer and help us push the boundaries of what's possible ...

K2 Space

Senior ASIC Design Verification Engineer

$170K - $250K/yr

Engineered to survive the harshest radiation environments and to fully capitalize on today's and ... Write SystemVerilog Assertions (SVA) and integrate formal verification where appropriate. * Drive ...

FortifyIQ

Senior Verification Engineer (Remote)

Salem, MA · Remote

$114K - $156K/yr

We're looking for a Senior Verification Engineer to play a key role in verifying complex SoC and subsystem designs. You'll work hands-on with design and architecture teams to ensure functionality ...

Apex Informatics

ASIC Design Verification Engineer

$139K - $169K/yr

Bachelor's degree in Computer Science, Computer Engineering, or a related technical field, or ... Knowledge of advanced verification techniques, including SV Assertions, Formal, and Emulation.

Zortech Solutions

SOC Verification

New Marlborough, MA · Remote

$139K/yr

Remote 1. General verification expertise - * System Verilog * UVM working experience (In the ... Check that engineer has done reasonable amount of debug in past projects * Has logical and ...

CertiK

Solidity Compiler Frontend Engineer

OR · Remote

$140K - $220K/yr

Develop integration layers between the Solidity compiler and formal verification tools ... Knowledge of programming language semantics and type theory * Contributions to open-source compiler ...

CertiK

Solidity Compiler Frontend Engineer

$140K - $220K/yr

Develop integration layers between the Solidity compiler and formal verification tools ... Knowledge of programming language semantics and type theory * Contributions to open-source compiler ...

TMS

Blockchain Developer

Edison, NJ · Remote

$90 - $95/hr

NC (Remote) Duration: 12+ Months Blockchain Developer with DeFi and Cryptography experience: Proven ... Conduct rigorous unit testing, integration testing, and formal verification to eliminate ...

next page

Showing results 1-20

All JobsRemote Formal Verification Engineer Jobs

Remote Formal Verification Engineer information

See salary details

$80K

$142.6K

$203.5K

How much do remote formal verification engineer jobs pay per year?

As of Jun 22, 2026, the average yearly pay for remote formal verification engineer in the United States is $142,619.00, according to ZipRecruiter salary data. Most workers in this role earn between $136,000.00 and $136,000.00 per year, depending on experience, location, and employer.

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 Remote Formal Verification Engineers?

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, and why are they important?

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.
More about Remote Formal Verification Engineer jobs
What cities are hiring for Remote Formal Verification Engineer jobs? Cities with the most Remote Formal Verification Engineer job openings:
What are the most commonly searched types of Formal Verification Engineer jobs? The most popular types of Formal Verification Engineer jobs are:
What states have the most Remote Formal Verification Engineer jobs? States with the most job openings for Remote Formal Verification Engineer jobs include:
What job categories do people searching Remote Formal Verification Engineer jobs look for? The top searched job categories for Remote Formal Verification Engineer jobs are:
Remote Formal Verification Engineer jobs near you
Infographic showing various Remote Formal Verification Engineer job openings in the United States as of June 2026, with employment types broken down into 60% Full Time, 20% Part Time, and 20% Contract. Highlights an 100% Remote job distribution, with an average salary of $142,619 per year, or $68.6 per hour.

AI Engineer in ML Data

Logical Intelligence

San Francisco, CA • On-site, Remote

$134K - $162K/yr

Full-time

Posted 8 days ago

Job description

Who we are
At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactively identifying bugs and security vulnerabilities. Our novel foundation model enables scalable, precise reasoning for formally verifiable code across Rust, Golang, and smart contract VMs. We've won a well-known formal verification benchmark called PutnamBench, which consists of 672 hard math problems from the William Lowell Putnam Exam, the oldest collegiate mathematics competition in North America. Backed by a world-class team - including ICPC champions, a Fields Medalist and an ACM Turing Award winner - we're building the future where all code is provably correct.
About the role
Join our team as an AI Engineer and help us push the boundaries of what's possible in logical reasoning! We're looking for a motivated individual to design and refine the data and ML pipelines for scaled distributed training and validation of ML models. You'll work closely with a talented team of AI experts, EBM specialists, formal verification engineers, and software developers to create groundbreaking solutions.
What you'll do
  • Research new reasoning algorithms and models
  • Develop model benchmarking processes and tools
  • Build effective and efficient ML data pipelines
  • Adjust frameworks and interfaces to accelerate machine learning development
  • Develop the infrastructure for data augmentation pipelines and synthetic data generation
  • Collaborate with other teams to understand their pain points and priorities to define milestones of the corresponding roadmaps
  • Derive practical solutions and integrate them with the results of other teams to provide the best overall resolution
Qualifications
  • You have an M.Sc. focusing on one or more of the following areas: Computer Science, Artificial Intelligence, Mathematics, or a closely related field
  • 3+ years of production experience in ML Infra, DataOps, distributed training
  • Expertise in programming languages and tools critical for high-performance computing in Python/C++ and machine learning including Deep Learning frameworks like PyTorch /TensorFlow/JAX
  • Ability to understand deep learning algorithms, e.g. in natural language processing, reasoning
  • Familiarity with Azure/AWS/GCP cloud products for MLOps and DataOps pipelines
  • Proficiency with Kubernetes clusters and distributed compute assets
  • Strong communication and teamwork skills
  • Readiness to explore and promote cutting edge technologies in ML Infrastructure domain and beyond

Bonus Points
  • Demonstrated publications in any of the major conferences
  • Multi-node and multi-GPU training
  • Mathematical Reasoning - discrete math and logic
  • Formal Verification - lean

logicalintelligence.com

Apply