Remote Lean 4 Researcher - Formal Proof Systems
Alignerr
Sheffield, TX
- Remote job
A leading AI research partner is seeking a Researcher focused on Lean 4 and Formal Proof Systems to translate mathematical proofs into formalizations. This remote position requires a Master's degree in Mathematics, with a strong focus on rigorous proof writing and experience in Lean. Candidates should possess enthusiasm for formal verification and have strong communication skills. Join us for competitive pay, flexible work, and the opportunity to collaborate on cutting-edge AI projects. #J-18808-Ljbffr Alignerr
Vacancy posted 4 days ago
Similar jobs that could be interesting for youBased on the Remote Lean 4 Researcher - Formal Proof Systems in Sheffield, TX vacancy
$50 - $150 per hour
...Mathematical Formalization Specialist (Lean / Formal Proof Systems) $50-150/hr Remote Freelance STEM About the Role What if your... ...fail Collaborate with AI researchers to design, refine, and evaluate... ...experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or...Remote workHourly payOngoing contractContract workFreelanceFlexible hoursAlignerr
United States1 day ago- ...Formal Verification Scientist (Lean 4 & Mathlib) About the Role What... ...reasons about formal proof? We're looking for... ...This is a fully remote, flexible contract role... ...cutting edge of AI research. Organization... ...Agda, or comparable systems - Lean 4 strongly preferred...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr
Chicago, IL2 days ago - A leading AI research organization seeks a Lean 4 Proof Engineer specializing in mathematical formalization. This role involves translating informal mathematical proofs into machine... ...offers competitive hourly pay, flexible remote work, and opportunities to collaborate on...Remote jobHourly payFlexible hours
- A leading AI research partner seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The ideal candidate will be experienced... ...arguments into formal proofs, primarily using Lean.... ...strategies. This is a fully remote position with competitive hourly...Remote jobHourly pay10 hours per weekFlexible hours
- Sign in to set job alerts for “Researcher” roles. Research Analyst, Private Markets (EquityZen) Austin, Texas Metropolitan Area 1 day ago Mixed Methods Researcher - Music Mission Quantitative Researcher — AI-Driven HFT Firm Physics Researcher (Python) - Freelance AI Trainer...Remote jobFreelance
- ...Mathematician (Foundations / Formalization) What if your... ...knowledge of formal systems and rigorous proof methods could... ...mathematical arguments in Lean 4 and contributing to... ...This is a fully remote, flexible contract role... ...level textbooks and research across mathematical...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr
United States1 day ago $50 - $150 per hour
...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's...Remote workHourly payAlignerr
San Francisco, CA4 days ago- ...Machine Learning Researcher Data is the foundation of AI performance, and we believe model... ...quality starts with data quality. As AI systems become more agentic, a critical challenge... ...PhD or equivalent Master's Degree + 4+ years industry experience in machine learning...Remote work
Protege
United States2 days ago $180k - $250k
...Category Labs (formerly known as Monad Labs) is a team of systems engineers and researchers on a mission to design and build at the frontier of... ...researchers make up 90% of the team). Culture. We're a lean team working together to achieve very ambitious goals. We...Remote workWork at officeCategory Labs
United States3 days ago$50 - $150 per hour
...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 field...Remote jobHourly pay$120k - $180k
...media users. We are a high‑growth, remote‑first startup that offers a flexible 4‑day work week. You will own end‑... ...product design while conducting research to understand user needs and drive... ...in Figma Build and evolve design systems (components, patterns, guidelines)...Remote jobFlexible hours- ...background in vulnerability research, offensive security and... .... You'll develop Proof-of-Concepts for vulnerabilities... ...frameworks and userland system daemons. iOS... ...Matched 401k scheme up to 4% ~ Healthcare, dental... ...location: This is a remote role so the successful candidate...Remote work
Interrupt Labs
Arlington, VA24 days ago $60 - $74 per hour
...Senior Researcher, Education Systems and Policy (Part-Time) AIR's Education Systems and Policy program is seeking a Part-Time Senior Researcher... ...depending on project needs. This position can be located remote from anywhere in the U.S. but requires availability to participate...Remote workHourly payContract workPart timeFixed term contractWork at officeLocal areaAmerican Institutes for Research
United States3 days ago$250k - $300k
...Co-founded in 2023 by Joe Laws and Grant Verstandig, Trase Systems is AI, Uncomplicated. Trase empowers enterprise leaders to harness... ...National Security. About the Role As a Principal AI Researcher, you will define and drive the long-term research direction for...Remote workFull timeShift workRed Cell Partners
United States3 days ago- Red Cell Partners in McLean, VA is seeking a Principal AI Researcher to lead research in autonomous systems and AI infrastructures. This pivotal role focuses on defining long-term research directions and translating AI innovations into scalable systems. The candidate should...Remote job
- ...India, we are a team of 4,500+ passionate... ...We are seeking AI/ML Researchers to drive innovation in... ...advanced machine learning systems. This role is ideal for... ...office-based roles and remote availability for some roles... ...from ModMed without a formal interview process, and...Remote workFixed term contractWork at officeFlexible hours
Modernizing Medicine
Boca Raton, FL4 days ago - Trase Systems is looking for a Principal AI Researcher to define the long-term research direction for their AI operating system. This hands-on leadership role requires extensive experience in AI and machine learning, focusing on research, systems, and production deployment...Remote job
- ...feasibility analysis, protocol design & formal specification... all while posing difficult... ...of: consensus protocols, cryptographic proof systems, automated reasoning & mechanism design... ...systems to be able to consume new research on consensus & scaling (should have, for...Remote job
$85.3k
...our team in taking on challenges in complex systems. The Complex Systems Group, part of the Intelligent Systems Center, conducts research at the intersection of AI and complex... ...applying AI/ML to real world data such as remote sensing data, materials data, omics data,...Remote workInterim role$250k
Location Remote Employment Type Full time Location... ...Type Remote Department Research Category Labs (formerly... ...Labs) is a team of systems engineers and researchers... ...(light clients; merkle proofs; security guarantees of... ...team. Culture. We’re a lean team working together to...Remote workFull timeWork at office- ...Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your... ...own. This is a fully remote, flexible contract role... ...Collaborate with researchers to design, refine, and evaluate... ...Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr
Seattle, WA2 days ago - Mathematical Formalization Specialist (Lean / Formal Proof Systems) About the Role What if your deep... .... This is a fully remote, flexible contract role... ...working alongside leading AI research labs. You'll be... ...with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr
Chicago, IL2 days ago - ...BRIM -User Experience (UX) Researcher to work in the Middletown,... ...-site and possibly 3 days remote. The SAP BRIM -... ..., Psychology, Information Systems, or related field. ~4+ years conducting UX research... .... Applicants must provide proof of U.S. citizenship (such...Remote workPermanent employmentFull timeContract workWork from homeFlexible hours
BVA Bear's IT Solutions
Boiling Springs, PA5 days ago - ...Postdoctoral Researcher, Coupled Earth System Modeling – UC Santa Barbara Next review date: May 31st, 2019 Apply by this date to ensure full consideration... ...to facilitate work with E3SM, as well as in-person and remote interactions with the other team leads. Basic...Remote work
MPOWIR Mentoring Physical Oceanography Women to Increase Ret...
Santa Barbara, CA7 days ago - ...is seeking an Associate Researcher for a time-limited 2-... ...data to advance equitable systems change. Chapin Hall... ...approach, offering flexible remote work from anywhere in... ...technology for four (4) or more hours per day... ...****@*****.***. Formal expressions of interest...Remote workCasual workWork at officeLocal areaWork from homeVisa sponsorshipFlexible hoursNight shift
$132k - $160k
...Southeastern United States (Hybrid/Remote) Transform Maritime... ...experienced machine learning researcher ready to push the limits of AI... ...processing to real-world dynamic systems (graduate research counts if directly... ...benefits: 401(k) with 4% company matching, full health...Remote workPermanent employmentVisa sponsorshipWork visaTocaro Blue
Birmingham, AL22 days ago$152.91k - $172.02k
...looking for a Staff UX Researcher to join our Design team... ...playbooks and knowledge systems that turn raw data into... ...on the selection of lean vs. rigorous methodologies... ...a 3-day weekend boost Remote-first culture - that... ...benefits as well: 401(k) + 4% matching &...Remote workImmediate startWorldwideMonday to FridayFlexible hoursShift workWeekend workKhan Academy
United States3 days ago$120k - $180k
A high-growth remote-first startup is seeking a Lead Product Designer who will own the product... ...experience and a strong background in UX research. Responsibilities include creating... ...visual designs in Figma, building design systems, and collaborating with engineering teams...Remote job- ...looking for an Architect ML - AI Researcher based in the United States.... ...and deploy next-generation AI systems powered by LLMs and GenAI, translating... ...experience or Master’s with 4+ years of experience) in... ...outcomes. Benefits: Remote-first opportunity within the United...Remote jobFull time
jobgether
United States3 days ago - ...Cybersecurity Researcher (Remote / SF Bay Area) Are you the kind of person who breaks things to... ...work at the intersection of AI, agentic systems, and your own deep curiosity for... ...delivering detailed technical writeups, proofs of concept, and real‑world results—leaving...Remote workFull timeWork at office
AI Cybersecurity Company
San Francisco, CA4 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Remote Lean 4 Researcher - Formal Proof Systems. Be the first to apply!
