App
Sign up to access all features of our service.
  • Job search
  • Favorites
  • Create a CV
    New
  • Salaries
  • Subscriptions

Remote Lean Engineer: Formal Mathematics Reviewer

AuraOne, Inc.

United States

AuraOne, Inc. seeks a Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) as a remote contractor to evaluate AI outputs across mathematics reasoning, calculations, and research workflows. Reviewers grade derivations and document the correct method so the modeling team can train on it.

This role emphasizes reproducibility, citation checks, and adherence to formal methods, with at least 10 hours per week and full remote US eligibility.

#J-18808-Ljbffr
Apply
Vacancy posted 16 hours ago
Similar jobs that could be interesting for youBased on the Remote Lean Engineer: Formal Mathematics Reviewer in United States vacancy
  • Remote Lean 4 Proof Engineer Mathematical Formalization for AI
     ...Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical arguments into machine-verifiable Lean formalizations for AI research. You’ll tackle...  ...to the future of mechanized mathematics in a fully remote setting. Ideal candidates hold a strong math... 
    Remote work

    Alignerr Corp.

    United States
    4 days ago
  • Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)

    $90 - $110 per hour

    Gridnaut Recruiting is hiring a remote Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) contractor (pay $90-$110/hr). Contribute to...  ...4, Mathlib, and theorem-proving experience; write and review machine-checked proofs and precise formal statements.;... 
    Remote work
    Contract work
    For contractors

    Gridnaut Recruiting

    Remote
    25 days ago
  • Lean Engineer - Formal Mathematics

    $90 - $110 per hour

     ..., and Jack Dorsey . Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)...  ...Compensation: $90–$110/hour Location: Remote Commitment: 20–40 hours/week...  ...statement matches the original. Review AI-generated Lean statements and proofs... 
    Remote work
    Contract work
    Summer work
    Weekday work

    Mercor

    San Francisco, CA
    26 days ago
  • Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)

    $90 - $110 per hour

     ...Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) is a remote review track for evaluating AI outputs across mathematics reasoning, calculations, and research workflows. Reviewers grade derivations and assumptions, reproduce key results, and document... 
    Remote job
    For contractors
    10 hours per week

    AuraOne Human Data

    Remote
    16 days ago
  • Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving)
     ...its models to write real, machine-checked mathematics in Lean. 1. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers to help...  ...prove mathematics correctly. You'll write and review Lean 4 proofs, turn informal math into... 
    Suggested
    Contract work
    Part time
    Weekday work

    Mercor Inc

    New York, NY
    3 days ago
  • Remote Formal Verification Scientist (Lean 4 & Mathlib)
     ...Alignerr is seeking a Formal Verification Scientist to translate advanced mathematics into Lean 4 formalizations at the edge of what proof assistants can automate. This is a remote, hourly contract role designed for mathematicians who value precision and elegant formal... 
    Remote work
    Hourly pay
    Contract work

    Alignerr Corp.

    United States
    3 days ago
  • Remote Lean 4 Formal Methods Researcher
     ...is seeking mathematicians and formal verification specialists to...  ...rigorous human arguments into Lean 4 proofs, working at the edge...  ...automated reasoning. This is a fully remote, flexible hourly contract...  ...hold a Master’s or higher in Mathematics, Logic, or related fields... 
    Remote work
    Hourly pay
    Contract work
    10 hours per week
    Flexible hours

    Alignerr Corp.

    United States
    5 hours ago
  • Formal Verification Scientist (Lean 4 & Mathlib)
     ...About The Role What if your deep mathematical intuition and mastery of formal proof systems could directly shape...  ...capture, and automate. This is a fully remote, flexible contract role ideal for...  ...informal mathematical proofs into Lean 4 (and related proof systems) with... 
    Remote work
    Hourly pay
    Ongoing contract
    Contract work
    Freelance
    Flexible hours

    Alignerr Corp.

    Seattle, WA
    4 days ago
  • Formal Verification Engineer

    $160k - $275k

     ...and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software...  ...theorem provers (e.g. Lean 4, Rocq, Isabelle/HOL), and use those...  ...company Holidays + up to 3 weeks remote workHealth: Company-subsidized Medical... 
    Remote work
    Daily paid
    Full time
    Work experience placement
    Work at office
    Local area
    Monday to Friday
    Flexible hours
    Shift work

    MatX

    Mountain View, CA
    6 days ago
  • Oath Technologies - Formal Methods Research Engineer

    $250k - $385k

     ...oversight tools based on formal verification: rather...  ...provide trustworthy mathematical evidence of compliance...  ...and AI, including the Lean FRO (formal mathematics...  ...Oath's research engineers will build novel formal...  ...and proving under close review. Primary Responsibilities... 
    Flexible hours

    Convergent Research

    Berkeley, CA
    4 days ago
  • Remote Applied Math Benchmark Reviewer

    $61 - $77 per hour

     ...AI Trainer Jobs is seeking an Applied Mathematics Benchmark Specialist for a remote contractor role evaluating AI outputs across mathematics reasoning and research workflows. You will grade derivations, reproduce results, and document correct methods so the modeling team... 
    Remote work
    Hourly pay
    For contractors
    10 hours per week

    AuraOne

    United States
    4 days ago
  • Materials Engineer II

    $68.9k - $131.1k

     ...at RTX.The Materials Engineer will support a major Packaging...  ...evaluating materials, reviewing documentation, and...  ...requirements into formal coding and standards.Follow...  ..., Engineering or Mathematics (STEM) and a minimum of...  ...as on-site, hybrid or remote.The salary range for this... 
    Remote work
    Full time
    Temporary work
    Work experience placement
    Internship
    Work at office
    Relocation
    Flexible hours

    Raytheon

    Andover, MA
    7 days ago
  • Senior Formal Verification Engineer - LPU

    $196k - $310.5k

     ...how you can build a lasting impact on the world!As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs developed at the...  ...characteristic protected by law.SummaryLocation: US, CA, Remote; US, TX, Remote; US, OR, Remote; US, WA, Remote; US, FL, RemoteType... 
    Remote work
    Full time

    Nvidia

    Austin, TX
    5 days ago
  • Remote Lean 4 Formal Verification Scientist
     ...Alignerr is seeking a Formal Verification Scientist to translate advanced human-written proofs into precise Lean-based formalizations. This fully remote, hourly contract role offers 10–40 hours per week for mathematicians who thrive at the intersection of rigorous proof... 
    Remote work
    Hourly pay
    Contract work
    10 hours per week

    Alignerr Corp.

    Seattle, WA
    21 hours ago
  • Senior Formal Verification Engineer - Remote
     ...tech design company based in Austin, TX is seeking a Senior Formal Verification Engineer. The role involves verifying complex design blocks,...  ...programming structures. The position offers a contract with stability and benefits, including remote work options. #J-18808-Ljbffr... 
    Remote work
    Contract work

    Correct Designs

    United States
    20 hours ago
  • Remote Electrical Engineering Operations QA Reviewer
    AuraOne, Inc. seeks a remote reviewer for Electrical Engineering Professor specialist operations. You will assess AI outputs against workflows, policies, and playbooks, grading workflow accuracy and stakeholder fit, and you will flag operational risks. Ideal candidates... 
    Remote job
    For contractors

    AuraOne, Inc.

    New York, NY
    3 days ago
  • Document Validation Specialist - Scan Team (Remote)
     ...Albert & Mackenzie is seeking a meticulous Scan Team Validation specialist to review, organize, and classify high-volume documents within our California-based offices. The role emphasizes accuracy, focus, and the ability to perform repetitive tasks while maintaining productivity... 
    Remote work
    Work at office

    Albert and Mackenzie

    Agoura Hills, CA
    2 days ago
  • Remote Mobile App Code Reviewer and QA Engineer
    AI Trainer Jobs is seeking a remote contractor to professionally review mobile application development outputs. You will reproduce code, grade solutions for correctness and edge cases, and write concise test cases to expose failures. The role requires clear reasoning and... 
    Remote job
    Hourly pay
    For contractors

    AuraOne

    New York, NY
    2 days ago
  • Document Controls Specialist - Kiewit Infrastructure Engineers
     ...Document Controls Specialist - Kiewit Infrastructure Engineers Location: Remote, US Las Vegas, NV, US Requisition ID: 182764 Job Level: Mid Level...  ...document distribution, as directed. Other duties include reviewing and/or conducting quality checks of documents, as needed;... 
    Remote work
    Permanent employment
    Full time
    Contract work
    Work experience placement
    Work at office
    Flexible hours
    Weekend work

    Kiewit Corporation

    New York, NY
    3 days ago
  • Principal Materials & Process Engineer (Onsite)

    $107.5k - $204.5k

     ...motivated Materials & Process Engineer to provide technical...  ..., control plans, mask review, and production...  ...Technology, Engineering or Mathematics (STEM) and minimum 8 years...  ....Understanding of lean manufacturing, Six Sigma...  ...as on-site, hybrid or remote.The salary range for this... 
    Remote work
    Contract work
    Temporary work
    Work experience placement
    Work at office
    Worldwide
    Relocation
    Flexible hours

    Raytheon

    Cedar Rapids, IA
    8 days ago
  • Remote Civil Engineer - AI Content Reviewer (Part-Time)
     ...Cincinnatus LLC is seeking a part-time, fully remote civil engineering reviewer to help evaluate AI-related content. You will apply your PE credentials and real-world experience to assess accuracy, draft feedback, and guide reference material selection relevant to civil... 
    Remote work
    Part time
    10 hours per week

    Obsidian

    United States
    2 days ago
  • Mathematical Formalization Specialist (Lean / Formal Proof Systems)
     ...About The Role What if your deep mathematical training could directly shape the future...  ...with hands-on experience in formal proof systems — especially Lean — to tackle problems that sit beyond...  ...of automated tools. This is a fully remote, flexible contract role at the intersection... 
    Remote work
    Hourly pay
    Ongoing contract
    Contract work
    Freelance
    Flexible hours

    Alignerr Corp.

    New York, NY
    17 hours ago
  • Formal Specification Reasoning Reviewer
     ...Formal Specification Reasoning Reviewer is a remote evaluation track for reviewing formal specification reasoning evaluation prompts and responses against AuraOne's quality rubric. Reviewers compare paired outputs, label edge cases, and write the kind of structured feedback... 
    Remote job
    Hourly pay
    For contractors
    10 hours per week

    AuraOne Human Data

    Remote
    2 days ago
  • Safety Engineer (Backend Leaning)
     ...work of their lives. We are researchers, engineers, and operators. IOI medalists and ex-founders...  ...High-velocity: Rapid experimentation, lean autonomous teams, and minimal bureaucracy...  ...Kafka and Redis. Location This role is remote and can be executed globally. If you prefer... 
    Remote work
    Immediate start

    Eleven Labs

    New York, NY
    5 hours ago
  • Senior Formal Verification Engineer

    $204k - $259k

     ...hybrid work schedule and you will report to a Silicon Engineering Lead. You Will Define and drive formal strategy for first-pass silicon success. Own the...  ...the role location or, if the role can be performed remote, the specific salary range for your preferred location... 
    Remote work
    Full time

    Waymo

    California
    3 days ago
  • Senior Math Libraries Engineer - Dense Linear Algebra

    $184k - $287.5k

    We are looking for software engineers to join our development efforts in the area of dense...  ...Engineering, Computer Science, Applied Mathematics, or related science or engineering field...  ...SummaryLocation: US, CA, Santa Clara; US, DC, Remote; US, NY, Remote; US, WA, Remote; US, CA,... 
    Remote work
    Full time

    Nvidia

    Olympia, WA
    6 days ago
  • Senior Engineer, Math Libraries - Consumer and Embedded Platforms

    $152k - $241.5k

    We are looking for a Senior Software Engineer to join our team enabling CUDA Math Libraries...  ...Engineering, Computer Science, Applied Mathematics, or related science or engineering field...  ...: US, CA, Santa Clara; US, TX, Remote; US, NY, Remote; US, WA, Remote; US, CA,... 
    Remote work
    Full time

    Nvidia

    Santa Clara, CA
    7 days ago
  • Staff, Document Specialist & Business Systems Analyst - Engineering Group
     ...Staff, Document Specialist & Business Systems Analyst - Engineering GroupPrimary Function of PositionStaff, Document Specialist & Business...  ...activities.Ways of Working4 days onsite set schedule; 1 day remote.Location: Sunnyvale, California.Travel (on need basis): 10%... 
    Remote work

    Intuitive

    Sunnyvale, CA
    3 days ago
  • Sr. Engineer - Packaging Execution (CA Based - Remote with Travel)
     ...packages for our Team Members.Sr. Engineer - Packaging Execution (CA Based - Remote with Travel)The Senior Packaging Engineer...  ...and prioritization skills.Lean and Six Sigma basic training.Proficiency...  ...grow and be challenged using both formal and informal development... 
    Remote work
    Full time
    Temporary work
    Part time
    Work experience placement
    Internship
    Seasonal work
    Local area
    Shift work

    Niagara water

    Diamond Bar, CA
    6 days ago
  • Cybersecurity RL Environment Reviewer — Security Engineering (Defensive, Cloud & Infrastructure)

    $135.2k

     ...Cybersecurity RL Environment Reviewer — Security Engineering (Defensive, Cloud & Infrastructure) Part-Time, Remote About idlexperts idleXperts is idler's quality assurance network — the part-time, remote contributors ("experts") who review idler's reinforcement... 
    Remote work
    Contract work
    Part time
    Flexible hours

    idlexperts

    Remote
    13 days ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Remote Lean Engineer: Formal Mathematics Reviewer. Be the first to apply!

Related searches