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
- 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
$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 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$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- 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
- ...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
- ...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
$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$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$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 workInterim 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
$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$152.91k - $172.02k
...Staff User Experience Researcher, Foundations and Enablement... ...Mountain View, CA / Remote (Continental US + Hawaii... ...and knowledge systems that turn raw data into... ...teams on the selection of lean vs. rigorous methodologies... ...typical benefits: 401(k) + 4% matching &...Remote workImmediate startWorldwideMonday to FridayShift workWeekend workKhan Academy
Mountain View, CA2 days ago$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- ...applications for a Postdoctoral Researcher to join a NASA-funded research... ...disturbances on river systems, contribute to advancing understanding... ...processes using diverse remote-sensing datasets, including Landsat... ...and interests; and (4) Contact information for two...Remote workWork at officeShift work
The Chronicle of Higher Education
Benton, ME5 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, PA2 days ago$183k - $278k
...to defend against them. Being research-first isn’t a tagline. It’s how... ...time off. 401(k) with up to 4% matching: We invest in the long... ...open roles below. Location Remote (U.S. or International) Employment... ...directly inform how secure AI systems are built and deployed. AI...Remote workFull timeTemporary workWork at officeVisa sponsorshipFlexible hoursGray Swan
New York, NY1 day ago- ...BRIM -User Experience (UX) Researcher to work in the Middletown,... ...-site and possibly 3 days remote. The SAP BRIM -User... ..., 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, PA23 days ago - ...navigating a healthcare system that was not designed for them. The research questions here are not abstract... ...directions. The team is lean by design, which means... ...Basic qualifications 4+ years of experience conducting... ...Experience using remote research platforms such as...Remote workLocal area
$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$26.15 - $43.58 per hour
...Legal Conflicts Researcher Job Category: Ethics & Business Requisition... ...# Bachelor's degree, four (4) years of comparable law firm... ...two (2) days per week and remote three (3) days per week. Additional... ...including seniority and merit systems, and internal pay alignment...Remote workHourly payFull timePart timeWork at officeFlexible hoursAfternoon shift2 days per week3 days per weekHolland & Hart LLP
Cheyenne, WY4 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, SD2 days ago $45k - $55k
...And Responsibilities Include Researching qualified individual, foundation... ...proficiency in AmPhil systems and Microsoft Office programs... ...AmPhil’s landscape; Providing proofing and quality control support;... ...Flexibility: We are a hybrid remote/in-person company and have been...Remote workWork at officeAmphil
Denver, CO2 days ago$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$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, NE2 days ago- ...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...Local areaWork from home
- Cybersecurity Researcher (Remote / SF Bay Area) Are you the kind of person who breaks things to understand... ...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
- ...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
- ...Hyderabad India, we are a team of 4,500+ passionate problem-... ...Summary We are seeking AI/ML Researchers to drive innovation in large language... ...and advanced machine learning systems. This role is ideal for hands‑... ...Hybrid office‑based roles and remote availability for some roles...Remote workWork at officeFlexible hours
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!
