ZipRecruiter

Log In

2

Remote Formal Verification Jobs (NOW HIRING)

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 ...

A.C. Coy

Cobol/CICS Developer (Remote)

Indianapolis, IN · Remote

$48 - $65/hr

This will be a 100% remote Contract-to-Hire position. * Must be a US Citizen. * SELECTED CANDIDATES ... formal verification methods. * Translate high level product development strategies into system ...

A.C. Coy

Cobol/CICS Developer (Remote)

Indianapolis, IN · Remote

$48 - $65/hr

This will be a 100% remote Contract-to-Hire position. * Must be a US Citizen. * SELECTED CANDIDATES ... formal verification methods. * Translate high level product development strategies into system ...

A.C. Coy

Cobol/CICS Developer (Remote)

Indianapolis, IN · On-site +1

$48 - $65/hr

This will be a 100% remote Contract-to-Hire position. * Must be a US Citizen. * SELECTED CANDIDATES ... formal verification methods. * Translate high level product development strategies into system ...

Mercor

RTL Design Engineer - AI Tools

San Francisco, CA · Remote

$100 - $175/hr

Remote Duration: 3+ months Commitment: 40 hours/week Role Responsibilities * Evaluate digital chip ... Exposure to formal verification or SV/UVM-based design verification . Start Date * Week of 04/23 ...

A.C. Coy

FOCUS COBOL CICS Developer (Remote)

Indianapolis, IN · On-site +1

$48 - $65/hr

This will be a 100% remote Contract-to-Hire position. * Must be a US Citizen. * SELECTED CANDIDATES ... formal verification methods. * Translate high level product development strategies into system ...

A.C. Coy

FOCUS COBOL CICS Developer (Remote)

Indianapolis, IN · Remote

$48 - $65/hr

This will be a 100% remote Contract-to-Hire position. * Must be a US Citizen. * SELECTED CANDIDATES ... formal verification methods. * Translate high level product development strategies into system ...

PowerLattice

Principal Digital Design Engineer

Chandler, AZ · On-site +1

$200K - $250K/yr

While we are primarily seeking candidates in HQ-Vancouer and Chandler, remote flexibility may be ... Experience with formal verification techniques * Experience with silicon bring-up and post-silicon ...

Remote People

Accounts Payable Specialist

Las Vegas, NV · Remote

$20.25 - $26/hr

About Remote People At Remote People, we\'re building the infrastructure to power borderless teams ... Receive, review, and verify vendor invoices, purchase orders, and delivery receipts to ensure three ...

UseBlocky

Senior Blockchain Engineer

Almont, CO · On-site +1

$157K - $178K/yr

UseBlocky combines deep technical expertise with a remote-first culture, empowering teams to ... Familiarity with smart contract audits and formal verification. * Open-source contributions in the ...

next page

Showing results 1-20

All JobsFormal Verification JobsRemote Formal Verification Jobs

Remote Formal Verification information

See salary details

$12

$20

$39

How much do remote formal verification jobs pay per hour?

As of Jul 12, 2026, the average hourly pay for remote formal verification in the United States is $20.70, according to ZipRecruiter salary data. Most workers in this role earn between $15.38 and $21.88 per hour, depending on experience, location, and employer.

What is remote formal verification?

Remote formal verification refers to the process of using mathematical techniques and specialized software tools to rigorously prove the correctness of hardware or software systems, typically while working from a remote location. Unlike traditional testing, formal verification provides guarantees about system behavior by checking against formal specifications. Professionals in this field often collaborate with teams online, review code or hardware designs, and use tools such as model checkers or theorem provers to identify and eliminate potential errors before deployment.

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

AspectRemote Formal VerificationRemote Hardware Verification
CredentialsTypically requires degrees in Computer Science or Electrical Engineering, plus certifications in formal methodsRequires degrees in Electrical Engineering, Computer Engineering, or related fields; certifications may include FPGA or ASIC design
Work EnvironmentPrimarily focused on software tools, modeling, and mathematical proofs, often in a remote settingInvolves testing and validation of hardware prototypes or designs, often in labs or remotely via simulation tools
Industry UsageUsed in semiconductor, aerospace, and safety-critical software industriesCommon in semiconductor, electronics manufacturing, and embedded systems industries

Remote Formal Verification focuses on mathematically proving the correctness of hardware or software designs using formal methods, often in a software-centric environment. Remote Hardware Verification involves testing physical hardware or simulations to ensure hardware functions correctly. Both roles require technical expertise but differ in their focus on software proofs versus hardware testing.

What are some common challenges faced by remote formal verification engineers, and how can they be addressed?

Remote formal verification engineers often face challenges related to effective collaboration and communication, as formal verification requires close coordination with design and verification teams. Working across time zones and relying on digital tools can make it harder to quickly resolve ambiguities in specifications or debug issues. To address these challenges, it’s essential to establish clear documentation practices, schedule regular video meetings, and actively participate in code reviews and knowledge-sharing sessions. Leveraging collaborative platforms and maintaining open communication channels can help mitigate the impact of physical distance and ensure project goals are met efficiently.

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 expertise in digital design, formal methods, and verification methodologies, usually supported by a degree in electrical engineering, computer engineering, or computer science. Familiarity with formal verification tools like JasperGold, Questa Formal, or OneSpin, and proficiency in hardware description languages (HDLs) such as Verilog or VHDL are critical. Strong analytical thinking, attention to detail, and clear communication are standout soft skills, especially when collaborating remotely with global teams. These skills and qualifications are essential to ensure that complex hardware designs are reliable, bug-free, and meet stringent industry standards.
More about Remote Formal Verification jobs
What cities are hiring for Remote Formal Verification jobs? Cities with the most Remote Formal Verification job openings:
What are the most commonly searched types of Formal Verification jobs? The most popular types of Formal Verification jobs are:
What states have the most Remote Formal Verification jobs? States with the most job openings for Remote Formal Verification jobs include:
What job categories do people searching Remote Formal Verification jobs look for? The top searched job categories for Remote Formal Verification jobs are:
Remote Formal Verification jobs near you

Mathematician - Formal Proof & AI Foundations (Remote Contract)

Alignerr

Remote

$170 - $200/hr

Contractor

Posted 27 days ago

Job description

Mathematician - Formal Proof & AI Foundations (Remote Contract)
About the Role
What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier AI depends on.
This is a fully remote, flexible contract role working at the intersection of pure mathematics, logic, and cutting-edge AI research. If you live and breathe formal proof - and especially if you know your way around Lean 4 - this is a rare opportunity to do deeply meaningful technical work on your own schedule, from anywhere in the UK.
  • Organization
    : Alignerr
  • Type
    : Hourly Contract
  • Location
    : Remote
  • Commitment
    : 10-40 hours/week

What You'll Do
  • Formalize advanced mathematical arguments and theorems in Lean 4, spanning a wide range of mathematical disciplines
  • Contribute to the growth and quality of large-scale formal mathematical libraries, including mathlib
  • Construct clean, readable, and well-structured formal proofs that translate informal mathematical reasoning into rigorous machine-checkable form
  • Audit and verify existing formal proofs for correctness, completeness, and logical integrity
  • Work at the frontier of AI research, helping train the next generation of mathematically capable language models

Who You Are
  • Hold a Master's degree or PhD in Mathematics or a closely related field
  • Possess a strong background in rigorous mathematical proof writing and logical reasoning
  • Have hands-on experience with formal proof assistants -
    Lean 4 strongly preferred
  • Can fluently translate informal mathematical ideas into structured, machine-verifiable formal proofs
  • Self-motivated and comfortable working independently in a remote, asynchronous environment

Nice to Have
  • Prior experience with proof verification, theorem proving, or mathematical formalization projects
  • Familiarity with mathlib or other large-scale formal mathematical libraries
  • Background in data annotation, data quality evaluation, or AI training workflows
  • Experience across multiple mathematical domains - topology, algebra, analysis, logic, and beyond

Why Join Us
  • Work on frontier AI research alongside the world's leading AI labs and research teams
  • Fully remote and flexible - structure your work around your life, not the other way around
  • Freelance autonomy with the intellectual depth of meaningful, high-stakes technical work
  • Contribute directly to formal mathematical libraries that will outlast any single project
  • Gain rare exposure to how cutting-edge large language models are built and trained
  • Potential for ongoing work and contract extension as new projects launch

Apply