Remote Lean 4 Proof Engineer - Formalization for AI Proofs
Alignerr
Sheffield, TX
- Remote job
Alignerr is seeking a Lean 4 Proof Engineer to translate advanced mathematical arguments into machine-checkable Lean 4 proofs for AI training. This fully remote, hourly contract role invites mathematicians and verification experts to work asynchronously on frontier problems. You will analyze proofs, build formalizations, identify gaps, and collaborate with AI researchers to refine strategies. Master’s or higher in math or related field required; Lean experience strongly preferred; 10–40 hours #J-18808-Ljbffr Alignerr
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Remote Lean 4 Proof Engineer - Formalization for AI Proofs in Sheffield, TX vacancy
- ...seeking mathematicians with deep experience in formal verification to translate advanced mathematical arguments into Lean 4 proofs. This remote contract role focuses on frontier proofs... ...automated systems. You will work with AI researchers to refine verification pipelines...Remote jobContract work
$120k - $212.5k
...make the world's best AI models run as... ...models. We are seeking a Formal Verification Engineer to bring rigorous mathematical... ...machine-checked proofs for critical compiler... ...provers (e.g. Lean 4, Rocq, Isabelle/HOL)... ...holidays, and 3 weeks remote/flexible work per yearSupport...Remote workFull timeWork experience placementLocal areaMonday to FridayFlexible hoursShift work$50 - $150 per hour
A forward-thinking mathematics firm is seeking a Mathematical Formalization Specialist to work remotely. In this role, you will translate informal mathematical proofs into structured formal proofs using Lean and related systems. A Master’s degree in Mathematics or a related...Remote jobHourly pay$35 - $65 per hour
...Mathematics Specialist for a Freelance AI Trainer Project. This role involves... ...with our team, construct complex proofs, and convert this work into Lean 4 syntax. The ideal candidate holds a... ...advanced topics. This position is 100% remote and offers a pay range of $35 to $65...Remote jobHourly payFreelance$162k - $191k
...heavily in advanced AI capabilities—... ...Senior Applied Value Engineer - Automotive ManufacturingRole... ...on AI deployments.Proof Projects: Architect... ...Champion Industry 4.0 initiatives.... ...sessions, formal readouts, and live... ...model that balances remote focus with vibrant...Remote workFull timeWork experience placementWork at officeLocal areaImmediate startWorldwideFlexible hoursShift work$119.8k - $234.7k
...Hardware, and Infrastructure Engineering (SCHIE) is the team... ...infrastructure. We are looking for a Formal Design Verification... ...leading generative AI solutions to... ...Science, or related field AND 4+ years technical engineering... ...to provide either proof of their country of citizenship...Ongoing contractPermanent employmentWork at officeLocal areaWorldwide3 days per week- ...Architect Architect is an AI lab for the compute... ...the Technical Staff - Formal Methods at Architect Labs... ...assertions and RTL. Build the proof-obligation generator... ...tools, such as TLA+, Lean, Coq, or similar.... ...single-tool maximalist. Engineering Rigor: Strong software...
$110k - $140k
...Commissioning Engineer This is a remote position. Role: Commissioning... ...Engineer. Team size: Lean. Roughly 40 to 45 people... ...converting each unit to formal acceptance. Reach... ...through medium voltage (4,160V, 12,470V, 13.8kV... ...connections, and confirm leak-proof fittings. Military...Remote workFor contractorsWork at officeWork from homeWorldwideDay shiftVeteran Hiring Solutions
United States1 day ago- ...of us—from design and engineering to the manufacturing and... ...solving skillsKnowledge of Lean / Six Sigma tools, risk... ...require a minimum of 4 days of in-office... ...and work-life balance. Remote or field-based positions... ...receipt of sufficient proof that you are fully vaccinated...Remote workFull timeWork at office
$196k - $310.5k
...the unlimited potential of AI to define the next era of computing... ...on the world!As a Senior Formal Verification Engineer at NVIDIA, you will verify... ...sufficiently bounded proofs while working with architects... ...law.SummaryLocation: US, CA, Remote; US, TX, Remote; US, OR, Remote...Remote workFull time$122.21k - $211.32k
Overview Location: Remote with occasional travel to... ...Information Systems Security Engineer (ISSE) - Navywill... ...platforms and mission-ready AI to federal agencies at... ...solutions and supporting proof of concept engagements Help... ...assurance Four (4)+ years of experience working...Remote workFull timeContract workLocal area$146k - $343k
...has been designated as ‘Remote/Teleworker’, which means... ...is a leading provider of AI driven next-generation... ...for a Pre-Sales System Engineer to join us in the Seattle... ...and supporting customer Proof of Concept engagements,... ...roles.Have a minimum of 4+ years of technical professional...Remote workFull timeWork experience placementLive inLocal areaImmediate startWork from homeRelocation$50 - $150 per hour
A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a Master...Remote jobHourly pay- A leading analytics firm is seeking a part-time remote role requiring expertise in mathematics and statistics. The position involves... ...applying statistical analysis and developing mathematical proofs to support AI-driven projects. Ideal candidates will possess strong...Remote jobPart time10 hours per week
$70 - $180 per hour
Mercor is seeking a Physics PhD to solve challenging physics problems and review AI-generated proofs for clarity and correctness. This remote position offers $70 to $180 per hour, requiring a commitment of approximately 15 hours per week. Ideal candidates will have a PhD...Remote jobHourly payImmediate start$205k - $220k
...ourTotal Rewards philosophy.AI is a fundamental part of... ...Role:As the IT Controls Engineer you will own, evolve,... ...audit-ready and future-proof.About the Team:This role... ...audit engagements (Big 4 or equivalent) as the management... ...00 /yr in Denver & most remote locations, and $245,000-...Remote workFull timeWork at officeLocal areaShift work2 days per week3 days per week$95.9k - $153.4k
...of us—from design and engineering to the manufacturing and... ..., cost improvement and lean activities.Position OverviewAs... ..., primarily providing remote troubleshooting and... ...require a minimum of 4 days of in-office presence... ...receipt of sufficient proof that you are fully...Remote workFull timeWork at office- ...About Us Axiom is using zero-knowledge proofs to enable new types of verifiable and... ...our strong preference, but we’re open to remote candidates as well. We recently released... ...Role We are looking for a ZK Proof Engineer who will implement and optimize cutting-...Remote jobFull timeWork at officeFlexible hours
$122k - $153k
...Addepar is a global data and AI platform empowering... ...an Enterprise Sales Engineer to join our team. As the... ...environments, run end‑to‑end proof‑of‑concepts including... ...accounts, conducting remote “interviews,” and... ...from Addepar without a formal interview process. Additionally...Remote workH1bImmediate startWorldwideVisa sponsorshipWork visaAddepar1
New York, NY4 days ago- ...Senior Manufacturing Engineer Posting Start... ...35694 Onsite or Remote: Onsite Position... ...business impact. 4. Tooling : (a)... ...Management, Lean Manufacturing, Value... ...), Poke-Yoke/Error-Proofing, Jidoka / Autonomation... ...may include a very formal creation of a production...Remote workLive inWork at officeWorldwideShift work
Komatsu
Homer City, PA4 days ago - ...Jersey Top Workplace and Remote Top Workplace, along... ...Senior Quality Assurance Engineer who combines deep QA expertise... ...a passion for applying AI and intelligent tooling... ...QA tools, building proof-of-concepts and making recommendations... ...a 100% match on up to 4%of your contributions,...Remote workTemporary workShift work
Millennium Systems International
United States2 days ago $100 - $150 per hour
...Overview Evaluate how well AI systems perform real-... ...pre-sales and solutions-engineering artifacts, including... ...product demonstrations, proof-of-concept and technical... ...Qualifications Minimum 4 years of relevant experience... ...Work Terms Location: Remote Engagement type:...Remote workHourly paySaidGig
United Statesa month ago- Handshake is seeking Math PhDs to support AI research through flexible, hourly contract work. You'll use your advanced mathematical training... ...feedback that helps AI better understand mathematical reasoning, proof construction, and technical problem-solving. This is an ongoing,...Remote jobHourly payContract workFlexible hours
- ...us—from design and engineering to the manufacturing... ....Support and lead Proof of Concept (POC) activities... ...leveraging Lean Manufacturing, data... ...to handover.Approve formal handover to... ...require a minimum of 4 days of in-office... ...work-life balance. Remote or field-based positions...Remote workFull timeContract workWork at office
- ...us—from design and engineering to the manufacturing... ...(KPOVs).Support Proof of Concept (POC) and... ...integration methods.Support Lean Manufacturing,... ...teams.Execute formal handover to Operations... ...a minimum of 4 days of in-office... ...work-life balance. Remote or field-based positions...Remote workFull timeContract workWork at office
$20 - $40 per hour
...mathematics expertise to help improve next-generation AI systems through rigorous, real-world mathematical input. This remote contract role focuses on how models learn,... ...Write detailed, well-organized explanations, proofs, and technical analyses across mathematical topics...Remote workHourly payContract workSaidGig
United Statesa month ago- ...looking for a Senior QA Engineer based in the United States. This is a remote opportunity for an experienced... ..., CI/CD, and emerging AI-powered tooling. You’... ...QA technologies, develop proof-of-concepts, and recommend... ...on contributions up to 4% through a Safe Harbor plan...Remote workFull timeTemporary workShift work
jobgether
United States5 days ago - ...Sandisk’s Product Security Engineering & Assurance (PSEA)... ...modern tooling — including AI-assisted techniques — to... ...product risk. Develop proof-of-concept exploits and... ...contribution and results; (4) geographic location; (... ..., Colorado, New York or remote jobs that can be...Remote workFull timeTemporary workFlexible hoursShift work
Sandisk
Milpitas, CA28 days ago $100k - $163k
Location: San Jose, CA - Hybrid (4 days in office, Friday remote)BackgroundSemtech's force... ...from concept design and proof-of-concept builds through... ...fast-paced role requiring engineers who are eager to learn and... ...industriesExperience with AI/ML tools such as ClaudeThe...Remote workFull timeWork at office$130k - $200k
...the Role A fast-growing AI software company serving the hardware engineering industry is looking for... ...contributors to executives. No formal product marketing... ...case studies and technical proof points that demonstrate... ...San Francisco office. Remote work is not available for...Remote workWork at office
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Remote Lean 4 Proof Engineer - Formalization for AI Proofs. Be the first to apply!
