Remote Lean 4 Formal Methods Researcher
Alignerr Corp.
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 precision and verifiability of formal proofs.
Ideal candidates hold a Master’s or higher in Mathematics, Logic, or related fields with strong proof-writing skills and experience with Lean, Coq, Isabelle/HOL, or Agda.
#J-18808-LjbffrVacancy posted 12 hours ago
Similar jobs that could be interesting for youBased on the Remote Lean 4 Formal Methods Researcher in United States vacancy
- ...proof? We're looking for Formal Verification... ...into machine-verifiable Lean 4 formalizations — working... ...automate. This is a fully remote, flexible contract... ...Collaborate with AI researchers to design, refine, and... ...Naturally detail‑oriented and methodical — you notice exactly...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
- ...Alignerr is seeking a Formal Verification Scientist to translate advanced mathematics into Lean 4 formalizations at the edge of what... ...assistants can automate. This is a remote, hourly contract role... ...You will collaborate with AI researchers, develop readable Lean proofs...Remote workHourly payContract work
Alignerr Corp.
United States4 days ago $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- ...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... ...verifiable proofs, collaborate with AI researchers, and push the boundaries of...Remote workHourly payContract work10 hours per week
Alignerr Corp.
Seattle, WA1 day ago - ...Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical arguments... ...machine-verifiable Lean formalizations for AI research. You’ll tackle proofs beyond current... ...future of mechanized mathematics in a fully remote setting. Ideal candidates hold a...Remote work
Alignerr Corp.
United States5 days ago - ...AuraOne, Inc. seeks a Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) as a remote contractor to evaluate AI outputs... ...reasoning, calculations, and research workflows. Reviewers grade derivations... ...and document the correct method so the modeling team can...Remote workFor contractors10 hours per week
AuraOne, Inc.
United States1 day 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$100 per hour
...Principal Research Scientist (Computer Science / Computational Physics... ...: $100–$400/hour Location: Remote About the Opportunity We’re... ...computational reproduction, and formal methods . Evaluate the novelty,... ...formal research tools such as Lean, Coq, and SAT/SMT solvers . Public...Remote workHourly payFull timePart timeFor contractorsImmediate startFlexible hoursSynthires
New York, NY3 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, WA3 days ago- ...UXr Guild is seeking a Mixed-Methods UX Researcher with 5+ years of experience to lead studies that blend quantitative rigor with qualitative insights. You will manage end-to-end research using primary and secondary data, translating findings into high-impact narratives...Remote work
UXr Guild
United States1 day ago $180k - $224k
...Staff UX Researcher, Incubations (Mixed Methods) United States Airbnb was born in 2007 when two hosts welcomed three guests to their San Francisco... ...in a more authentic way. NOTE: This position is US - Remote Eligible, but includes monthly in-person working sessions...Remote workWork experience placementWork at officeWeekend workairbnb, Inc.
San Francisco, CA3 days ago- ...INSPYR Solutions is seeking a senior UX Researcher to lead qualitative and mixed-methods studies for a product-focused team in a remote US setting on a 6-month contract. You will design surveys and measurement, analyze data, and translate findings into actionable product...Remote workContract work
INSPYR Solutions
United States1 day ago - ...onX seeks a Senior User Experience (UX) Researcher, Mixed Methods, to uncover customer insights and translate research into product influence. You’ll span the full lifecycle with generative, evaluative, and quantitative research, helping product decisions grounded in how...Remote work
ONX, Inc.
United States5 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 work
Jobleads-US
Brooklyn, NY1 day ago $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...Remote workContract workLocal areaStaff Perm
Richardson, TX1 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
Washington DC4 days ago$154k - $180k
..., United States; Missoula, Montana, United States; Open to Remote ABOUT onX We’re a team of builders, adventurers, and... ...OPPORTUNITY onX is seeking a Senior User Experience (UX) Researcher, Mixed Methods with a passion for uncovering customer insights and a...Remote workPermanent employmentFull timeFor contractorsWork at officeLocal areaFlexible hoursShift workONX, Inc.
Missoula, MT5 days ago$134.1k - $214.5k
...overall framework of our Lean Operating System and... ...and cost savings. Deliver formal and informal training on... ...capabilities of others in Lean methods and Continuous... ...we require a minimum of 4 days of in-office presence... ...and work-life balance. Remote or field-based positions...Remote workHourly payWork at officeImmediate startWorldwideShift workBD
Kennedyville, MD3 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, MT17 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...Full timePart timeLocal areaFlexible hoursCapital One
New York, NY4 days ago$218.7k - $249.6k
...life. Our work touches every aspect of the research life cycle, from partnering with Academia... ...conference submissions summarizing novel methods or findings The Ideal Candidate You... ...218,700 - $249,600 for Applied Researcher 4 McLean, VA: $218,700 - $249,600 for Applied...Full timePart timeLocal areaFlexible hoursCapital One
New York, NY4 days ago$218.7k - $249.6k
...Applied Researcher 4 At Capital One, we are creating trustworthy and reliable AI systems, changing banking for good. For years, Capital... ...internal 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, NY4 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$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 workHourly payTemporary workPart timeFlexible hoursNTT DATA North America
Kansas City, MO1 day 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, NY1 day ago- ...characterization. Prior experience as a Research Assistant is required, along... ...must have experience in GIS, remote sensing, and programming in... ...Field work, presenting work, formal submission of scientific... ...the requirements of 41 CFR 60-1.4(a), 60-300.5(a) and 60-741.5(...Remote workFor contractorsFor subcontractorSeasonal workFlexible hours
TSC Corp
Washington DC1 day ago $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 workHourly payFreelanceMeridial
New York, NY5 days ago- ...highly motivated Postdoctoral Researcher to join her research group.... ...and quantum mechanical (QM) methods to develop and validate polarizable... ...include writing formal progress reports for internal... ...with the possibility of some remote work based on mutual agreement...Remote workFull timeWork at office
$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 workWork experience placementInternshipWork at office
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Remote Lean 4 Formal Methods Researcher. Be the first to apply!
Related searches
- criminal researcher United States
- academic researcher United States
- machine learning researcher United States
- work from home court researcher United States
- freelance researcher United States
- survey researcher United States
- music researcher United States
- design researcher United States
- content researcher United States
- title researcher United States