Remote Lean 4 Formal Methods Researcher
Alignerr Corp.
Sheffield, TX
- Remote job
Alignerr is seeking an Applied Formal Methods Researcher to formalize challenging mathematical proofs in Lean 4, working at the frontier of mechanized mathematics and AI research. This is a fully remote, hourly contract role with 10–40 hours per week, offering intellectual challenge and flexible scheduling. You will translate informal proofs into machine-verifiable Lean formalizations, analyze complex proofs across domains, and push the boundaries of what proof assistants can do. #J-18808-Ljbffr Alignerr Corp.
Vacancy posted 4 days ago
Similar jobs that could be interesting for youBased on the Remote Lean 4 Formal Methods Researcher in Sheffield, TX vacancy
- ...prove, and think? We're looking for Applied Formal Methods Researchers to formalize challenging mathematical proofs in Lean 4 — working at the very frontier of mechanized... ...mathematics and AI research. This is a fully remote, flexible contract role built for mathematicians...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
$95 per hour
...Formal Methods (Lean 4) Expert is a remote review track for evaluating AI outputs across formal methods research review reasoning, calculations, and research workflows. Reviewers grade derivations and assumptions, reproduce key results, and document the correct method...Remote jobFor contractors10 hours per week- ...Mathematician (Foundations / Formalization) About the Role... ...and rigorous proof methods could directly shape... ...mathematical arguments in Lean 4 and contributing to... .... This is a fully remote, flexible contract role... ...-level textbooks and research across mathematical disciplines...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr
New York, NY2 days ago $176k - $220k
...original songs. In 2026, we raised a $400 million Series D at a $5.4 billion valuation to continue building innovative products... ...-term subscription value. We’re looking for a Senior Mixed Methods UX Researcher in New York to lead this work. This is a quantitatively...SuggestedFull timeWork at officeLocal area$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$90 - $110 per hour
...evaluate machine-checked mathematics in Lean 4. You will formalize mathematical ideas, develop and... ...competition problems, textbook results, and research-level lemmas, into faithful formal... ...qualification. Work Terms Remote, hourly W-2 employment. Part-time...Remote workHourly payPart timeWeekday workSaidGig
United States8 days ago$152.2k - $205.9k
...Service (CS). We are seeking a Senior UX Researcher to re-imagine Amazon's suite of Voice of... ...a deep understanding of design research methods and how to apply them during the product... ..., ethnography, lab-based user testing, remote testing, paper prototype testing, iterative...Remote workWork experience placementWorldwideFlexible hoursAmazon
Seattle, WA6 days ago$90 - $110 per hour
...and technical talent with leading AI research labs. Headquartered in San... ...and Jack Dorsey . Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type:... ...Compensation: $90–$110/hour Location: Remote Commitment: 20–40 hours/week...Remote workContract workSummer workWeekday workMercor
Atlanta, GA13 days ago$170 per hour
...Mathematician (Foundations / Formalization) $170-200/hr Remote Freelance STEM About the Role What if... ...mathematics, logic, and cutting-edge AI research. If you live and breathe formal... ...especially if you know your way around Lean 4 — this is a rare opportunity to do...Remote workOngoing contractContract workFreelanceFlexible hoursAlignerr
United States1 day ago$380k
About the TeamThe Safety Training research team aims to fundamentally... ...you will:Research and implement methods for safety training,... ...thrive in this role if you:Bring 4+ years of relevant AI safety... ...0KLocationSan Francisco; US - Remote; Washington, DCEmployment TypeFull...Remote workWork at officeLocal areaFlexible hoursOpenAI
San Francisco, CA2 days ago- ...Back to jobs Senior UX Researcher, Mixed Methods Bozeman, Montana, United States; Missoula, Montana, United States; Open to Remote Apply ABOUT onX We’re a team of builders, adventurers, and risk takers using technology to help people confidently explore the outdoors. Driven...Remote workFull time
Onxmaps
Missoula, MT5 days ago - Airbnb is seeking a Staff UX Researcher for Incubations to lead end-to-end mixed-methods research in early-stage incubation work streams. You will balance speed and rigor, triangulate signals across data sources, and partner with Product, Design, Business Operations, and...Remote job
$8 - $40 per hour
Join our team as a Senior UX Researcher where your expertise in mixed-method research will drive innovation across diverse hardware and software products.... ...: Right to Hire, Contract. Local candidates only; no remote work. All offers of employment are contingent upon successful...Remote workPermanent employmentContract workLocal area$86.8k - $165.2k
...world-class operations and investments in research and development, we offer capabilities... ...reasoning, knowledge graphs and formal methods.Research, design and implement novel ML... ...role is designated as on-site, hybrid or remote.The salary range for this role is 86,80...Remote workPermanent employmentTemporary workWork experience placementWork at officeFlexible hoursRaytheon
East Hartford, CT5 days ago$120k - $180k
...eCommerce brands with everyday social media users. We are a high-growth, remote-first startup that offers a flexible 4-day work week.You will own end-to-end product design while conducting research to understand user needs and drive product strategy.We're looking for a...Remote jobFlexible hours$35k - $90k
...applications for a Postdoctoral Research Associate to contribute to the development of remote sensing algorithms, simulation and... ...intelligence/machine learning (AI/ML) methods in support of the goals of the... ..., RIT is supported by more than 4,000 dedicated faculty and staff...Remote workFull timeWork experience placementInternshipWork at officeRochester Institute of Technology
Rochester, NY4 days ago$154k - $180k
...OPPORTUNITY onX is seeking a Senior User Experience (UX) Researcher, Mixed Methods with a passion for uncovering customer insights and a track... ...not physical offices; they are geographic hubs made up of remote employees who live within a 60-mile radius of the city center...Remote workPermanent employmentFull timeWork at officeLocal areaFlexible hoursShift workonX
Missoula, MT7 days ago$180k - $224k
...authentic way. NOTE: This position is US - Remote Eligible, but includes monthly in-person... ...office. The Community You Will Join: Research has been part of Airbnb from the beginning... ...strong in qualitative and quantitative methods. You'll be one of the first researchers on...Remote workFull timeWork experience placementLive inWork at officeWeekend workAirbnb
United States7 days ago- ...machine-checked mathematics in Lean. 1. Overview A leading AI lab... ...looking for Lean engineers, formal mathematicians and proof engineers... ...You'll write and review Lean 4 proofs, turn informal math... ...statements, and help the lab's researchers judge whether a model's proof...Remote jobContract workPart timeWeekday work
$218.7k - $249.6k
Applied Researcher 4 (AI Foundations, LLM Customization and Finetuning) At Capital One, we are creating trustworthy and reliable AI systems... ...tech reports or conference submissions summarizing novel methods or findings The Ideal Candidate: You love the process of...Full timePart timeLocal areaFlexible hoursCapital One
McLean, VA3 days ago$218.7k - $249.6k
Applied Researcher 4 (AI Foundations: Multimodal Guardrails and VLM's) At Capital One, we are creating trustworthy and reliable AI systems... ...tech reports or conference submissions summarizing novel methods or findings The Ideal Candidate: You love the process of...Full timePart timeLocal areaFlexible hoursCapital One
New York, NY3 days ago$218.7k - $249.6k
Applied Researcher 4 (AI Foundations, LLM Core and Agentic AI) At Capital One, we are creating trustworthy and reliable AI systems, changing... ...tech reports or conference submissions summarizing novel methods or findings The Ideal Candidate: You love the process of...Full timePart timeLocal areaFlexible hoursCapital One
New York, NY3 days ago- ...— Join Slipstream as a Senior Researcher! Apply your skills and expertise... ...for all. While we’re mostly remote, Slipstream can only hire in select... ...of applied research methods, including research design, data... ...meetings generally occurring 9‑4 in Central Time zone. Requires...Remote workWork at officeLocal areaWork from homeFlexible hours
$190k - $290k
You will prototype and validate new research directions across formal methods, safety, and model interpretability. The role involves publishing, collaborating... ...ideas into deployable systems. Chicago, IL or Remote (US) Full-time $190,000 - $290,000 USD + equity Role Snapshot...Remote workFull time$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 jobHourly payFreelance- Golden, CO Remote Full time R14482 Location CO - Golden Position Type... ...laboratory for energy systems research and development. Join the... ...applies geospatial algorithms and methods to evaluate the resource,... ...Researcher IV: Relevant PhD and 4 or more years of experience ....Remote workFull timeLocal area
$66 per hour
...currently seeks a Part‑time Senior Design Researcher to join our team remotely. This role is 20 hours per week.... ...research and usability testing methods is critical to this role. Responsibilities... ...to test design concepts through lean research and usability testing. Facilitate...Remote jobHourly payTemporary workPart timeFlexible hours- ...Technical Researcher / Writer Technical Researcher / Writer SearchApi... ...search data at scale. We're a lean, profitable, bootstrapped team... ..., run them, and publish the method alongside the result. Run... ...What You Get Fully Remote. Work from anywhere. Equity...Remote work
Victron Energy
United States2 days ago - ...for a Senior Technical Talent Researcher based in the United States.... ...effective recruiting practices. This remote opportunity offers an... ...practices, and innovative research methods with colleagues while continuously... ...Experience: At least 4 years of technical recruitment...Remote workFull timeFlexible hours
- ...stakeholders to identify the key research questions that will help shape... ...Identify and create the best research methods based on the question, timeline, and resourcing;4. Design and implement research,... ..., such as: usability studies (remote/in lab), focus groups,...Remote work
TikTok
Seattle, WA4 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Remote Lean 4 Formal Methods Researcher. Be the first to apply!
