Remote Researcher: Lean 4 & Formal Proof Systems
Alignerr
Miami, FL
- Remote job
Alignerr seeks a Researcher to translate informal mathematical arguments into Lean 4 formalizations, working on AI training and mechanized mathematics. The role focuses on rigorous proof construction across algebra, analysis, topology, and logic, using Lean, Coq, Isabelle/HOL, or Agda. Remote, contract-based with 10–40 hours/week. You'll collaborate with researchers to design verification strategies, test proof assistants, and develop readable proof scripts that reflect best practices. #J-18808-Ljbffr Alignerr
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Remote Researcher: Lean 4 & Formal Proof Systems in Miami, FL vacancy
- 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...Remote jobFlexible hours
- Alignerr is seeking mathematicians with hands-on formal verification to translate informal arguments into Lean 4 proofs. Work remotely on the cutting edge of automated reasoning... ...0-40 hours per week, collaborating with AI researchers to advance verification pipelines. Ideal...Remote jobHourly payContract work10 hours per weekFlexible hours
$170 per hour
...deep knowledge of formal mathematics could... ...most advanced AI systems in the world reason... ...passion for rigorous proof and formal systems... ...This is a fully remote, flexible contract... ...and cutting-edge AI research. ~Formalize... ...arguments and theorems in Lean 4, spanning a wide...Remote workOngoing contractContract workFreelanceFlexible hoursAlignerr
Remote22 hours ago$170 per hour
...Mathematician (Foundations / Formalization) $170-200/hr Remote Freelance STEM About... ...knowledge of formal systems and rigorous proof methods could directly shape... ...arguments in Lean 4 and contributing to large... ...graduate-level textbooks and research across mathematical disciplines...Remote workOngoing contractContract workFreelanceFlexible hoursAlignerr
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 jobHourly pay$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-... ...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- The American Institutes for Research is seeking a Researcher Intern to support projects for the National Center for Systemic Improvement in Washington, DC. This internship is ideal... ...the opportunity to work in a hybrid or remote setting within the U.S. and includes tasks...Remote workInternship
- ...techniques. You’ll develop Proof‑of‑Concepts for... ...technical experience: Research on the low‑level internals... ...frameworks and userland system daemons. iOS application... ...Matched 401(k) scheme up to 4% Healthcare, dental... ...year Location: This is a remote role so the successful candidate...Remote work
- American Institutes for Research is looking for a Researcher Intern to support projects aimed... ...doctoral program. This internship allows for remote work and offers mentorship opportunities, while emphasizing leadership and systems-level improvement in special education...Remote workInternship
$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$30 per hour
Join AIR as a Researcher Intern to support a project for the National Center for Systemic Improvement (NCSI). The NCSI supports state education agencies (SEAs) to best... .... Candidates hired for the position may work remotely within the United States (U.S.) or from one of...Remote workHourly payAgency workFull timeFixed term contractInternshipH1bWork at officeLocal area$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$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 workInterim role- 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
$50 - $150 per hour
Mathematical Formalization Specialist - Remote We are seeking a mathematician... ...in rigorous proof construction and... ...—especially Lean. This role sits at... ...and related proof systems) with an emphasis... ...Collaborate with researchers to design, refine... ...(Lean 3 or Lean 4), Coq, Isabelle/...Remote job$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, FL2 days ago$86.3k - $191k
...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... ...engineering best practices to create proof‑of‑concept tools and...Remote workFull timeWork experience placementWork from homeThe Pennsylvania State University
State College, PA3 days ago$26.15 - $43.58 per hour
...Legal Conflicts Researcher Job Category: Ethics & Business Requisition... ...# Bachelor's degree, four (4) years of comparable law firm... ...office two (2) days per week and remote three (3) days per week.... ...including seniority and merit systems, and internal pay alignment when...Remote workHourly payFull timePart timeWork at officeFlexible hoursAfternoon shift2 days per week3 days per weekHolland & Hart LLP
Salt Lake City, UT22 hours ago$160k - $230k
...Product Researcher You'll be the person who figures out what Firecrawl... ...: San Francisco, CA or Remote (Americas, UTC-3 to UTC-10)... ...customers than writing code - and leaned into it. What We're NOT Looking... ...- 3 paid months off after 4 years, do something fun and new...Remote workFull timeTemporary workFreelanceFirecrawl
United States4 days ago- ...Shift: Monday - Friday 8:00am - 4:30pm Job Schedule: Full-time Weekly Hours: 40 Remote Position: No Pay: Competitive salary... ...‑to‑day operations alongside a lean team. The Director sets goals, mitigates... ...) and core clinical and business systems, manages relationships with third...Remote workFull timeContract workPart timeLocal areaMonday to FridayShift work
Huron Regional Medical Center
Huron, SD3 days ago $30 per hour
American Institutes for Research is seeking a Researcher Intern to support projects for the National Center for Systemic Improvement. This position is ideal for graduate students... ...evidence-based practices. Interns can work remotely within the U.S. and will engage in...Remote workHourly payInternship$190k - $290k
You will prototype and validate new research directions across formal methods, safety, and model interpretability. The role involves publishing... ...teams, and translating ideas into deployable systems. Chicago, IL or Remote (US) Full-time $190,000 - $290,000 USD + equity...Remote workFull time- American Institutes for Research is seeking a Researcher Intern to support the National Center for Systemic Improvement. This internship is ideal for graduate students focusing... ...and improvement. Candidates can work remotely within the United States or at one of the office...Remote workInternshipWork at office
$28.57 per hour
...renewables, enhancing connectivity in remote and urban locations to create a... ...**The Paint Associate Level 4 is an individual contributor... .... Uses IFS labor reporting system, standard shop forms, move tags... ...Actively participate in department LEAN activities of the department...Remote workHourly payTemporary workMonday to FridayShift workDay shiftValmont Industries
Lincoln, NE3 days ago- ...for billions of people. We’re a lean, high-impact team tackling... ...our trajectory. As a Talent Researcher at TRM Labs, you’ll play a foundational... ...: Our talent team is fully remote, embracing async communication... ...location, maintain at least a 4-hour overlap with PST...Remote workShift work
- The American Institutes for Research is hiring a Researcher Intern to support their National Center for Systemic Improvement (NCSI) projects aimed at enhancing education for... ...skills are essential, and candidates may work remotely from anywhere in the U.S. #J-18808-Ljbffr...Remote workInternship
- ...spans generative AI, agentic systems, enterprise automation, machine... ...accelerate, the firm is expanding its research team. Role Overview The AI... ...prototype development and proof-of-concept initiatives... ...career growth opportunities Remote and flexible work environment...Remote workFlexible hours
- ...Turing is looking for PhD-level researchers in mathematics to test the... ...communication, especially in remote settings Comfortable working independently... ...Required: at least 4 hours per day and minimum 20... ...and deployment of powerful AI systems. Turing helps customers in two...Remote jobContract workFor contractorsFreelanceWorldwide
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Remote Researcher: Lean 4 & Formal Proof Systems. Be the first to apply!
Related searches