Remote Lean 4 Formal Verification Scientist
Alignerr Corp.
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 construction and cutting-edge CS. You will translate informal arguments into clean, structured machine-verifiable proofs, collaborate with AI researchers, and push the boundaries of what proof assistants can express and automate.
#J-18808-LjbffrVacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Remote Lean 4 Formal Verification Scientist in Seattle, WA vacancy
- ...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 workHourly payContract work
Alignerr Corp.
United States3 days ago - ...mathematical intuition and mastery of formal proof systems could directly... ...? We're looking for Formal Verification Scientists to translate advanced human-... ...automate. This is a fully remote, flexible contract role... ...mathematical proofs into Lean 4 (and related proof systems)...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr Corp.
Seattle, WA4 days ago - ...Alignerr is seeking mathematicians and formal verification specialists to translate rigorous human arguments into Lean 4 proofs, working at the edge of automated reasoning. This is a fully remote, flexible hourly contract requiring 10–40 hours per week and centered on...Remote workHourly payContract work10 hours per weekFlexible hours
Alignerr Corp.
United States12 hours ago - ...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 States4 days ago $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 workFull timeContract workWork at officeLocal areaWorldwideHome officeSCS Global Services
San Francisco, CA4 days ago$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 workContract workFor contractors$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 workDaily paidFull timeWork experience placementWork at officeLocal areaMonday to FridayFlexible hoursShift workMatX
Mountain View, CA1 day ago- ...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 workFor contractors10 hours per week
AuraOne, Inc.
United States23 hours ago - ...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...
$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 workFull timeTemporary workPart timeWork at officeWork from homeFlexible hours1 day per week$110 per hour
...Angelo , Larry Summers , and Jack Dorsey . Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract Compensation: $90–$110/hour Location: Remote Commitment: 20–40 hours/week Role Responsibilities...Remote jobContract workPart timeSummer workWeekday work$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 jobFor contractors10 hours per week$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 workLocal areaHome officeFlexible hoursClickHouse
San Francisco, CA23 hours ago- ...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-LjbffrRemote workFull time
Erm LLC
Elko, NV2 days ago - ...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 workFull timeVisa sponsorshipRelocation packageFlexible hours
$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 workFull timePart timeFor contractorsWork at officeWorldwideFlexible hoursU.S. Geological Survey (USGS)
Flagstaff, AZ3 days ago$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€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 workPart timeOverseasFlexible hoursAleadin Consulting
West Virginia14 days ago$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 workFull timeLocal areaWorldwideFlexible hours- ...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 workWork at officeLocal areaVisa sponsorshipFlexible hours
- ...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 workFull timeTemporary workPart timeLive inWork at officeLocal areaHome office
Integral Consulting Services
San Francisco, CA1 day ago - ...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 workPermanent employmentFull timeFor contractorsWork at officeLocal areaWeekend workAfternoon shift1 day per week
State of Washington
Walla Walla, WA23 hours ago - ...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...
- ...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 workContract work
Correct Designs
United States1 day ago $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 workHourly payFreelanceMeridial
New York, NY4 days ago$50 - $150 per hour
...Mathematical Formalization Specialist – Remote Join to apply for the Mathematical Formalization... ...languages—especially Lean . This role sits at the... ...frontier of what formal verification can express, capture, and automate... ...with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda,...Remote workHourly payAlignerr
United States2 days ago$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 forefront... ...characteristic protected by law.SummaryLocation: US, CA, Remote; US, TX, Remote; US, OR, Remote; US, WA, Remote; US, FL,...Remote workFull timeNvidia
Austin, TX23 hours ago$64.78k - $87.05k
...and community. Job Title: Fiscal Analyst 4 (FA4) Echo Glen Location: Snoqualmie, WA... ...The incumbent must successfully complete formal training courses as required by law, policy... ...of their DD214 or NGB Form 22, or other verification of military service. Please blackout (...Full timeWork at officeLocal area$130k - $150k
...What Makes Wonderlic Different? Fully Remote: Anywhere in the U.S; Chicago HQ A Four-Day Workweek: Enjoy a full-time schedule... ...retention. Overview Wonderlic is seeking a Senior Research Scientist to sit at the precise intersection of I‑O psychology and...Remote workFull timeWonderlic
United States1 day ago$160k - $185k
...Research Scientist, Robotics & World Models Remote - United States Innodata(Nasdaq: INOD) is a global data engineering... ...in This Role If You Have: Roughly 4+ years of hands-on industry... ...We weight practical experience over formal credentials; because the field is young...Remote workFor contractorsInnodata Inc.
New York, NY23 hours ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Remote Lean 4 Formal Verification Scientist. Be the first to apply!
Related searches
- research scientist machine learning deep learning Seattle, WA
- image scientist Seattle, WA
- health scientist Seattle, WA
- regulatory scientist Seattle, WA
- scientist biology Seattle, WA
- drug safety scientist Seattle, WA
- lead scientist Seattle, WA
- principal applied scientist Seattle, WA
- machine learning research scientist Seattle, WA
- cell culture scientist Seattle, WA