Remote Formal Verification Scientist (Lean 4 & Mathlib)

Alignerr Corp.

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

You will collaborate with AI researchers, develop readable Lean proofs, and push the limits of formal verification in mechanized mathematics.

#J-18808-Ljbffr

Apply

Vacancy posted 3 days ago

Similar jobs that could be interesting for youBased on the Remote Formal Verification Scientist (Lean 4 & Mathlib) in United States vacancy

Formal Verification Scientist (Lean 4 & Mathlib)
...intuition and mastery of formal proof systems could... ...looking for Formal Verification Scientists to translate advanced... ...automate. This is a fully remote, flexible contract... ...proofs into Lean 4 (and related proof systems... ...formalization projects such as Mathlib Exposure to theorem...
Remote work
Hourly pay
Ongoing contract
Contract work
Freelance
Flexible hours
Alignerr Corp.
Seattle, WA
4 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
17 hours 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 frontier AI research and evaluation work. Ideal candidates: Contract engagement for Lean Engineer / formal mathematics...
Remote work
Contract work
For contractors
Gridnaut Recruiting
Remote
25 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
Formal Mathematician - Fully Remote
...machine-checked mathematics in Lean. 1. Overview A leading AI lab is looking for Lean engineers, formal mathematicians and proof engineers... .... You'll write and review Lean 4 proofs, turn informal math... ...writing Lean, know your way around mathlib, and can explain why a...
Remote job
Contract work
Part time
Weekday work
Mercor
San Francisco, CA
1 day ago
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
...hands-on experience in formal proof systems — especially Lean — to tackle problems... .... This is a fully remote, flexible contract... ...for improving formal verification pipelines Develop clean... ...(Lean 3 or Lean 4), Coq, Isabelle/HOL... ...formalization projects such as mathlib Exposure to theorem...
Remote work
Hourly pay
Ongoing contract
Contract work
Freelance
Flexible hours
Alignerr Corp.
New York, NY
12 hours ago
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... ...and contribute to the future of mechanized mathematics in a fully remote setting. Ideal candidates hold a strong math background, proven...
Remote work
Alignerr Corp.
United States
4 days ago
Remote Lean Engineer: Formal Mathematics Reviewer
...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...
Remote work
For contractors
10 hours per week
AuraOne, Inc.
United States
12 hours ago
Formal Mathematician Fully Remote
$90 - $110 per hour
...DAngelo Larry Summers and Jack Dorsey . Position: Lean Engineer Formal Mathematics (Lean 4 Mathlib Theorem Proving) Type: Contract Compensation: $90$110/hour Location: Remote Commitment: 2040 hours/week Role...
Remote work
Full time
Contract work
Summer work
Weekday work
Mercor
New York, NY
18 days ago
Verification Scientist II, GHG Forestry
$61.1k - $97k
...Verification Scientist II, GHG Forestry ~ Full Time Remote Company Overview SCS Global Services is a pioneer and leader in the field of sustainability standards... ...in Forestry or a relevant scientific field and ~4+ years of professional experience in a related...
Remote work
Full time
Contract work
Work at office
Local area
Worldwide
Home office
SCS Global Services
San Francisco, CA
4 days ago
Formal Verification Engineer
$160k - $275k
...kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical... ...into interactive theorem provers (e.g. Lean 4, Rocq, Isabelle/HOL), and use those... ...+ 12 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
Senior Applied Scientist: AI Security & Formal Verification
...Center U.S., Inc. in New York, NY is hiring Applied Scientist III (AMZ007408) to advance formal reasoning systems for security, privacy, and data protection... ...teams. You'll design, implement, and evaluate formal verification methods, contribute to automated reasoning, and help...
Amazon Inc.
Fredericksburg, VA
3 days ago
TAX ANALYST 2
$60.5k
...recommendations to integrate lean methods into the... ...position may be available for remote work within Arizona (1... ...in informal and formal settings. Ability to clear... ...Arizona tax compliance verification, and a criminal... ...Vacation time accrued at 4.00 hours bi-weekly for...
Remote work
Full time
Temporary work
Part time
Work at office
Work from home
Flexible hours
1 day per week
State of Arizona
Phoenix, AZ
3 days ago
Mathematical Formalization Specialist - Remote
$50 - $150 per hour
...Mathematical Formalization Specialist – Remote Join to apply for the... ...languages—especially Lean . This role sits at... ...frontier of what formal verification can express, capture... ...(Lean 3 or Lean 4), Coq, Isabelle/HOL... ...formalization projects (e.g., mathlib). Exposure to...
Remote work
Hourly pay
Alignerr
United States
2 days ago
Remote Lean Formalization Specialist
$50 - $150 per hour
...partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on... ...machine-verifiable formats using Lean and other proof systems. Candidates... ...in rigorous proof construction and verification. The position offers competitive compensation...
Remote job
Hourly pay
Alignerr
San Francisco, CA
3 days ago
Research Scientist 4 - Albany
$111.71k - $137.59k
...5-b/c Eligible: NoAgency: Labor, Department of Title: Research Scientist 4 - Albany Occupational Category: Other Professional CareersSalary... ...and development opportunities, including Coursera and our formal Employee Recognition Program allow us to develop, recognize, and...
Remote work
Permanent employment
Full time
Contract work
Temporary work
Work experience placement
Internship
Work at office
Visa sponsorship
Shift work
State of New York, USA
Albany, NY
7 days ago
Field Archaeologist - Intensive Site Surveys (4 Months)
...Idaho. This is a full-time, limited-term role with a duration of 4 months, extendable, and a heavy field schedule of 60–72 hours per... ...sites, assisting with testing and reporting, and ensuring safety and regulatory compliance at remote field locations in #J-18808-Ljbffr
Remote work
Full time
Erm LLC
Elko, NV
2 days ago
Database Research Scientist
$500 per month
...The Role As a Research Scientist at ClickHouse Labs, you will... ...systems-development and verification tooling, including formal specification or model-checking... ...TLA+/PlusCal, Alloy, or Lean, as well as relevant... ...globally distributed company and remote-friendly. We currently...
Remote work
Local area
Home office
Flexible hours
ClickHouse
San Francisco, CA
5 days ago
Research Scientist - Decentralized Training and Inference Verification
...grows. Design and calibrate the tests : You build statistical verification methods with stated error rates, tune them with rigorous... ...technical contributors in addition to a high base salary. Remote-First Culture : Flexible work environment with team members distributed...
Remote work
Full time
Visa sponsorship
Relocation package
Flexible hours
Pluralis Research
Remote
12 days ago
Supervisory Physical Scientist
$147.95k
...a Supervisory Physical Scientist with the Astrogeology Science... ...science, geology, remote sensing/cartography,... ...represents USGS interests in formal and informal contacts... ...E-Verify employment verification check. To learn more, visit... ...completion of a full 4-year course of study...
Remote work
Full time
Part time
For contractors
Work at office
Worldwide
Flexible hours
U.S. Geological Survey (USGS)
Flagstaff, AZ
3 days ago
Remote GHG Forestry Verification Scientist I
$70k - $90k
A sustainability certification firm is seeking a Verification Scientist I to lead audits for carbon projects, focusing on forestry and land use... ...quantitative skills and proficiency in ArcGIS. The role is primarily remote with potential travel across the U.S. The expected annual...
Remote job
SCS Global Services
New York, NY
3 days ago
GHG Forestry Verification Scientist II — Remote
SCS Global Services is seeking a Verification Scientist II, GHG Forestry to lead audits of forestry and land-use projects under multiple carbon standards. This is a full-time remote role with global scope. Responsibilities include document review, quantitative analyses...
Remote job
Full time
Worldwide
SCS Global Services
San Francisco, CA
4 days ago
Research Scientist
€3,000 - €8,000 per month
...overseas PhD professionals. \n This fully remote, project-based role empowers STEM PhDs to... ...stable cooperation opportunities. \n 4.Core Responsibilities \n Lead and execute... ...5.Ideal Candidate Profile \n 1. Hold a formal STEM doctoral degree with expertise...
Remote work
Part time
Overseas
Flexible hours
Aleadin Consulting
West Virginia
14 days ago
Jr Scientist
$60k
...LinkedIn. Job Title Jr Scientist Location COLLEGE PARK... ...Atmospheric Science, Remote Sensing, or a related field... ...Execution: Execute formal remote sensing algorithm... .... NWS / DA Utility Verification: Ensure all variables,... ...Leave 401K with up to 4% employer matching contribution...
Remote work
Full time
Local area
Worldwide
Flexible hours
Stcnet
College Park, MD
12 hours ago
Entry-level Environmental Scientist
...recruiting for an entry-level scientist to work in our Duluth,... ...to travel for up to 2-4 weeks at a time for... ...and riparian flora ~ Formal wetland delineation... ...weather conditions in remote locations ~ Ability to... ...potential inconsistencies or verification signals in application...
Remote work
Work at office
Local area
Visa sponsorship
Flexible hours
Woodard & Curran
Duluth, GA
2 days 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
16 hours ago
Lean 4 & Pure Math Specialist - AI Trainer (Remote)
$35 - $65 per hour
...our team, construct complex proofs, and convert this work into Lean 4 syntax. The ideal candidate holds a PhD or is currently a PostDoc... ...with a strong command of advanced topics. This position is 100% remote and offers a pay range of $35 to $65 per hour based on...
Remote work
Hourly pay
Freelance
Meridial
New York, NY
4 days ago
Senior Botanist/Wetland Ecologist/Permitting Manager
...permitting projects. Our scientists spend time both in the... ...may offer in-office, remote, or hybrid opportunities... .../or ability to conduct formal U.S. Army Corps of Engineers... ...company match of 1% to 4% of annual... ...history screening, degree verification, and a federal, state,...
Remote work
Full time
Temporary work
Part time
Live in
Work at office
Local area
Home office
Integral Consulting Services
San Francisco, CA
15 hours ago
Range Ecologist - Fish and Wildlife Biologist 4 - Permanent
...Title: Range Ecologist Classification: Fish and Wildlife Biologist 4 Job Status: Full-Time - Permanent WDFW Program: Wildlife... ...Note All new employees must complete an Employment Eligibility Verification Form (I-9 Form) on their first day of work. If hired for this or...
Remote work
Permanent employment
Full time
For contractors
Work at office
Local area
Weekend work
Afternoon shift
1 day per week
State of Washington
Walla Walla, WA
12 hours ago
Formal Verification Research Scientist
...Security Advisor, and Senior Foreign-Policy Advisor to four US presidents. About this Role In this role, you’ll develop new formal verification methods to enable formal proofs of design correctness using model checking, property verification, and equivalence analysis...
Voltai
Palo Alto, CA
5 days ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Remote Formal Verification Scientist (Lean 4 & Mathlib). Be the first to apply!