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 3 days ago
Similar jobs that could be interesting for youBased on the Remote Lean 4 Researcher - Formal Proof Systems in Sheffield, TX vacancy
$70 - $150 per hour
...the world’s leading AI research teams and labs to... ...AI models. Write and formalize advanced mathematical proofs in Lean for cutting‑edge AI research... ...: Researcher - Lean 4 & Formal Proof Systems Type: Compensation:... ...$150 /hour Location: Remote Commitment: 10-40 hours...Remote workContract workFreelanceFlexible hours- ...with hands-on experience in formal proof systems - especially Lean - to tackle problems that... ...tools. This is a fully remote, flexible contract role at... ...fail Collaborate with AI researchers to design, refine, and evaluate... ...with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
- ...Mathematician (Foundations / Formalization) About the Role... ...knowledge of formal systems and rigorous proof methods could... ...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
New York, NY1 day ago $170 per hour
...Mathematician (Foundations / Formalization) $170-200/hr Remote Freelance STEM... ...most advanced AI systems in the world reason,... ...passion for rigorous proof and formal systems... ...and cutting-edge AI research. If you live and breathe... ...your way around Lean 4 — this is a rare opportunity...Remote workOngoing contractContract workFreelanceFlexible hoursAlignerr
United States5 days 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 jobHourly pay- ...mathematician to translate informal proofs into machine-verifiable Lean formalizations. This fully remote hourly contract blends... ...reasoning. You will work with AI researchers to push the boundaries of what proof systems can express, test formal scripts, and formalize...Remote jobHourly payContract work
- ...Principal Researcher – Industrial Systems Remote · Freelance · Competitive Retainer About SMCO Straits Meridian... ...where we deploy capital. We are a lean team. No bureaucracy. No revenue... ...grade analytical reports — typically 2–4 per month — that translate complex...Remote workTemporary workPart timeFreelanceWork at officeWork from homeFlexible hoursShift work
$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... ...Figma Build and evolve design systems (components, patterns, guidelines)...Remote workFlexible hoursBreakout Tools
Miami, FL3 days ago- ...seeking a Machine Learning Researcher focused on audio data... ...for machine learning systems. ~Developing new methods... ...Master’s degree + 4+ years industry experience... ...work hours and remote work options. ~Professional... ...teams in AI. We’re a lean, fast-moving, high-...Remote workFull timeFlexible hours
Protege
Remote5 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$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$120k - $150k
Researcher - Decentralized Finance (DeFi) Risk & Economic... ...for NYC but will accept Remote Europe & USA - would... ...chain economic security system, trusted by leading crypto... ...findings and writing formal research papers. Domain... ...back from us within 4 weeks of your application...Remote workContract workWork at office$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 workTemporary workWork experience placementInterim roleRelocation packageFlexible hours- Workday is looking for a Principal AI Researcher to define research direction in Agentic AI... ...advance the state of the art in agentic systems. Ideal candidates will have over 8 years... ...Atlanta, Georgia, and combines flexible remote work with in-office presence to foster collaboration...Remote workWork at officeFlexible hours
$35 - $65 per hour
...principles. You'll collaborate with our team, construct complex proofs, and convert this work into Lean 4 syntax. The ideal candidate holds a PhD or is... ...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- Voltai in California (Palo Alto) seeks a senior formal verification researcher to develop new methods for formal proofs of design correctness. You will collaborate... ...on real RTL, and turn research into practical systems. You will work closely with cross-functional teams...
- ...with the physical world. The team focuses on hardware, electronics systems, and semiconductors where AI can push beyond current cognitive limits. This role advances formal verification, enabling proofs of design correctness through model checking, property verification...
- Secure Resilient Systems and Technology group applies foundational and applied cybersecurity research to the most critical challenges in national security. We develop secure... ...applied cryptographers, software engineers, formal methods experts, and embedded systems developers...
- ...is located in Warren, MI & requires an employee to be onsite 3-4 times per week.Who You Are:As a member of the Connected Vehicle Experience Research Lab, you will be working with the Connected Vehicle System group. You will be applying your expertise in connected and...Full timeLocal areaWork from homeRelocation package
$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 workBreakout Tools
Doral, FL1 day ago$228k - $342k
...too.About the TeamWorkday AI Research is a newly built, elite organization... ...state of the art in agentic systems, including retrieval,... ...or equivalent technical field.4+ years of professional experience... ...both worlds: in-person time and remote. Our approach enables our teams...Remote workFull timeWork at officeHome officeFlexible hours$127.08k - $277.2k
...external applicants.Approval of remote and hybrid work is not... ...self-motivated Vulnerability Researcher to join our Cyberspace Operations... ...procedures (TTPs) to support system evaluation and provide security... ...best practices to create proof-of-concept tools and configure...Remote workFull timeFor contractorsWork experience placementWork from home$50 - $150 per hour
Mathematical Formalization Specialist - Remote Join to apply for the... ...training in rigorous proof construction and... ...—especially Lean . This role sits... ...and related proof systems) with an emphasis... ...Collaborate with researchers to design, refine... ...(Lean 3 or Lean 4), Coq, Isabelle/...Remote jobHourly pay$224k - $356.5k
...looking for a Senior AI Security Researcher to help define how frontier AI systems, agentic applications, and AI-enabled... ...methods, tools, evaluations, and proofs of concept that help NVIDIA... ...SummaryLocation: US, NC, Durham; US, NC, Remote; US, TX, Remote; US, VA, Remote;...Remote workFull time$220k - $360k
...next.Netflix Games is seeking a Researcher, Games to conduct user... ...playtesting capabilities (whether leaning on external facilities or conducting... ...user research.Requirements:4+ years of hands-on experience... ...and specs, including:Remote and in-personCouch co-op settingsKids...Remote workHourly payFull timeImmediate startFlexible hours$129.3k - $193.9k
...incredible opportunities to work on revolutionary systems that impact people's lives around the... ...a Systems Engineer Training Lead - Level 4 to join our team in Colorado Springs, CO.... ...as required.PreferredQualifications:Formal teaching, instruction, or training delivery...Remote workFull timeRelocation packageShift work$130k - $140k
...globally Our Opportunity We are currently seeking a Human Systems Research Scientist for our Data Sciences Practice in New York, NY. This... ...the following skills and qualifications M.S. with at least 4 years of post-degree experience or a Ph.D. in Human-Computer...Work at officeLocal areaFlexible hoursWeekend workAfternoon shift- Duties As a Historian (Archival Researcher), you will: Determine which... ...education, you must submit proof of creditability of education... ...arrangement (e.g., telework, remote work, etc.), subject to such... ...registered with the Selective Service System or are exempt from having to...Remote workFull timePart timeWork at officeLocal areaFlexible hours
$190k - $319k
...security work that used to live in researchers’ heads and runbooks is... ...research team is building the systems that make that real, and we’re... ...physics and philosophy to formal methods research and full-fledged... ...: For US-based roles open to remote work, we are currently able...Remote workLive inCurrently hiringLocal areaWorldwideWeekend workGrabJobs
Charlotte, NC4 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!
