Remote Researcher: Lean 4 & Formal Proof Systems
Alignerr
Seattle, WA
- Remote job
Alignerr is seeking a Researcher to translate dense mathematical arguments into Lean 4, focusing on formal proofs and AI training workflows. You will work at the intersection of pure mathematics and cutting-edge AI research, translating human reasoning into machine-verifiable form. This is a fully remote, flexible hourly contract with 10–40 hours per week, offering collaboration with leading researchers and the opportunity to push the boundaries of formal verification. #J-18808-Ljbffr Alignerr
Vacancy posted 4 days ago
Similar jobs that could be interesting for youBased on the Remote Researcher: Lean 4 & Formal Proof Systems in Seattle, WA 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 a Researcher to translate rigorous proofs into Lean 4 formalizations, shaping AI reasoning at the edge... ..., structure, and correctness in formal proofs, with collaboration to... ...pipelines. The position is an hourly remote contract (10-40 hours/week). Candidates...Remote jobHourly payContract work
- Alignerr seeks a Researcher to translate informal mathematical arguments into Lean 4 formalizations, working on AI training and mechanized... .... The role focuses on rigorous proof construction across algebra,... ..., Coq, Isabelle/HOL, or Agda. Remote, contract-based with 10-40...Remote jobContract work
- Alignerr is seeking Applied Formal Methods Researchers to translate rigorous mathematical arguments into machine-verifiable Lean 4 proofs, at the frontier of AI and formal verification. This is a fully remote, hourly contract role for mathematicians who love precision...Remote jobHourly payContract work
- 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
$70 - $150 per hour
Location: Remote At Alignerr, we partner with... ...world’s leading AI research teams and labs to... ...models. Write and formalize advanced mathematical proofs in Lean for cutting‑edge AI... ...Verification Scientist (Lean 4 & Mathlib) Type:... ...(and related proof systems) with an emphasis...Remote workHourly payContract workFreelanceFlexible hours- Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical... ...to push the boundaries of formal verification. You will work... ...automated tools in a fully remote, hourly contract. The role... ...). Collaboration with AI researchers and a focus on precision are...Remote jobHourly payContract work
- Alignerr is seeking a Formal Verification Scientist to translate advanced human-written proofs into Lean 4 formalizations, helping push the boundaries of what proof assistants can express and automate. This is a remote contract role designed for mathematicians who thrive...Remote jobContract work
- 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
- ...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, NY3 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- ...drive this mission, we are looking for a Physical AI Distributed Systems Researcher to tackle the industry's toughest challenges, including: ~... ...Benefits ~Flexible working schedule ~Remote working + Home Office Stipend to cover the costs of working from...Remote workFull timeContract workWork from homeHome officeFlexible hours
Real-Time Innovations
Remote1 day 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
Remote3 days ago $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- ...-Time Innovations (RTI) is seeking a Physical AI Distributed Systems Researcher to tackle advanced challenges in distributed AI, determinism,... ...with engineering and product teams. The role offers flexible, remote work with a home office stipend and a path to impact across...Remote jobWork from homeHome officeFlexible hours
- ...techniques. You’ll develop Proof‑of‑Concepts for... ...technical experience: Research on the low‑level internals... ...frameworks and userland system daemons. iOS application... ...401(k) scheme up to 4% ~ Healthcare, dental... ...Location: This is a remote role so the successful candidate...Remote work
Interrupt Labs
Arlington, VA1 day ago $100k
Harvard University is seeking Postdoctoral AI Researchers to join the Kempner Institute in... ...including foundation models and agentic systems. Candidates must hold a PhD in a quantitative... ...is located on campus with no remote work option. Diverse applicants are encouraged...Remote workFull time$100k
...at Harvard University seeks early-career researchers to shape the future of AI as... ...excited to advance foundation models, agentic systems, and new AI approaches for high-impact scientific... .... Position is based on campus; remote work not possible. Basic Qualifications...Remote workFull time- Real-Time Innovations (RTI) invites applications for a Physical AI Distributed Systems Researcher in St. Louis. You will join RTI Research to tackle challenges in AI coding for distributed systems, determinism, timing control, and software‑defined architectures. You will...Remote job
$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$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$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$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- 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
- Senior Researcher / Scientist Location: Miami, FL strongly preferred... ...Char Network Char Network is a proof-of-stake application... ...engineering. You’ll invent, formalize, and validate the core protocols... ...mechanisms to cryptographic proof systems. Your focus is on the cryptographic...
$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- Data Researcher job at Public Employees Retirement System. Sacramento County, CA. Job Description and Duties Anticipated Interview Dates: We anticipate holding... ...position, where you’ll enjoy up to 40% (two days) remote work, each week! This position will run until filled...Remote workWork at officeMonday to FridayFlexible hours2 days per week
- ...Job Title - UI/UX Researcher 4 Request # 75703-1 Location: Chicago, IL, Remote Possibility : Hybrid: go in the office when needed, Must be able to go back in the office full time when asked. Duration: 12 months Position's Contributions to Work Group...Remote workFull timeWork at officeLocal area
Kasmo Global
Chicago, IL1 day ago
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
- remote researcher Seattle, WA
- survey researcher Seattle, WA
- design researcher Seattle, WA
- security researcher Seattle, WA
- academic researcher Seattle, WA
- criminal researcher Seattle, WA
- senior design researcher Seattle, WA
- court researcher Seattle, WA
- product researcher Seattle, WA
- data collection researcher Seattle, WA