Remote Researcher: Lean 4 & Formal Proof Systems for AI
Alignerr
Alignerr is seeking a Researcher for Lean 4 & Formal Proof Systems to translate sophisticated human-written proofs into machine-verifiable formalizations. This fully remote role is ideal for mathematically mature researchers, focusing on clarity and correctness in formalization. Candidates should hold at least a masters degree in a related field and have strong skills in proof writing with tools like Lean 4. The position offers a flexible contract with hours varying between 10 to 40 hours weekly.
J-18808-Ljbffr
Vacancy posted 1 day ago
Similar jobs that could be interesting for youBased on the Remote Researcher: Lean 4 & Formal Proof Systems for AI in United States vacancy
- ...Alignerr is seeking a Lean 4 Proof Engineer to transform informal mathematics... ...verifiable formalizations. This remote position offers flexibility to mathematicians... ...into Lean 4, analyzing gaps in formal arguments, and collaborating with AI researchers. Ideal candidates hold a Masters...Remote work
Alignerr
New York, NY1 day ago $170 per hour
...Formal Verification Scientist (Lean 4 & Mathlib) $170-200/hr Remote Freelance STEM What if your deep... ...shape how AI understands and reasons... ...reasons about formal proof? We're looking... ...cutting-edge AI research. Organization... ...formal proof system — Lean 4 strongly...Remote workHourly payOngoing contractContract workFreelanceFlexible hoursAlignerr
United States2 days ago$50 - $150 per hour
...Mathematical Formalization Specialist (Lean / Formal Proof Systems) $50-150/hr Remote Freelance STEM About the Role... ...shape the future of AI reasoning? We're looking... ...Collaborate with AI researchers to design, refine, and... ...Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL,...Remote workHourly payOngoing contractContract workFreelanceFlexible hoursAlignerr
United States2 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 workHourly payFlexible hours
Alignerr
Sheffield, TX4 days ago - ...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. Responsibilities... ...strategies. This is a fully remote position with competitive...Remote workHourly pay10 hours per weekFlexible hours
Alignerr
Sheffield, TX5 days ago - ...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...Remote workFreelance
Alignerr
Sheffield, TX23 hours ago $250k - $300k
...Principal AI Researcher (Agentic Systems & AI Infrastructure) Seattle, WA or McLean, VA or Remote About Us Co-founded in 2023 by Joe Laws and Grant Verstandig, Trase Systems is AI, Uncomplicated. Trase empowers enterprise leaders to harness the full potential...Remote workShift workTrase Systems
United States2 days ago$150k - $250k
...Distyl AI Job Opportunity Distyl is an applied AI technology company partnering with... ..., and global social organizations. We research and deploy technologies that power AI-native... ...spans research into self-constructing systems, the development of the most reliable execution...Remote workWork at office3 days per weekDistyl AI
United States2 days ago$85.3k
...use artificial intelligence (AI) to unlock insights from complex... ...on challenges in complex systems. The Complex Systems Group, part... ...Intelligent Systems Center ( conducts research at the intersection of AI and... ...ML to real-world data such as remote sensing data, materials data,...Remote workTemporary workWork experience placementInterim roleRelocation packageFlexible hoursThe Johns Hopkins University Applied Physics Laboratory
Laurel, MD2 days ago- ...allowed us to create an AI-enabled, specialty-... ..., we are a team of 4,500+ passionate... ...are seeking AI/ML Researchers to drive... ...advanced machine learning systems. This role is ideal... ...office-based roles and remote availability for... ...from ModMed without a formal interview process,...Remote workFixed term contractWork at officeFlexible hours
Modernizing Medicine
Boca Raton, FL23 hours ago $35 - $65 per hour
...A leading AI training company is seeking a Pure Mathematics Specialist to... ...an exciting freelance project. This remote role is ideal for experts fluent in Lean 4 and theoretical mathematics. You... ...topics while constructing complex proofs and ensuring rigorous mathematical...Remote workHourly payFreelanceInvisible Agency
New York, NY3 days ago- ...Mathematician (Foundations / Formalization) About the... ...of formal systems and rigorous proof methods could... ...'s most advanced AI understands mathematics... ...arguments in Lean 4 and contributing... ...This is a fully remote, flexible contract... ...level textbooks and research across...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr
New York, NY3 days ago $87.1k - $157.45k
...cyber and artificial intelligence (AI) capabilities. We are seeking a Senior AI Security Researcher who works at the intersection of... ...design, develop, and prototype systems that secure AI and agentic AI-... ...Qualifications: ~ Bachelor's degree and 4-8 years of prior relevant...Remote workLeidos
United States2 days ago$224k - $356.5k
...NVIDIA is looking for a Senior AI Security Researcher to help define how frontier AI systems, agentic applications, and AI-enabled security automation are tested... ...You will build new methods, tools, evaluations, and proofs of concept that help NVIDIA understand and reduce...Remote workNVIDIA
United States1 day ago- ...Principal AI Researcher Remote, Europe; Remote, UK; Remote, US Veracode is a global leader in... ...effectiveness of AI technologies through proof of concepts (PoCs) Collaborate with... ...solutions into existing products and systems. Stay current on industry trends...Remote workWorldwide
Veracode
United States3 days ago - ...Ciph Lab | Remote | Equity-Only (Pre-Seed) About Ciph Lab... ...operationalizes responsible AI governance at scale. We're a 4-month-old AI governance company... ...adaptive governance systems with security-by-design that... ...AI Security & Risk Researcher to join our founding research...Remote workPart timeFlexible hours
Nashville Public Radio
San Francisco, CA5 days ago - ...Equity Research Professional Kensho is S&P Global's hub for AI innovation and transformation. With expertise... ...research to shape AI systems that can reason about... ...be a flexible, largely remote arrangement. Key Responsibilities... ...programs, plus up to $4,000/year for ongoing...Remote workContract workWork at officeWorldwideFlexible hours
S&P Global
United States3 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 States4 days ago- ...Applied AI Researcher Articul8 AI is seeking an Applied AI Researcher to advance our domain-... ...experiments that leverage fleets of agentic AI systems to explore hypothesis spaces,... ...Learning, or a related field; or MSc with 4+ years of post-graduation research experience...Remote work
Articul8
United States2 days ago - ...exciting opportunity for a **Systems & Data Research Librarian** at UL Research Institutes... ...). While this position is remote our operations are based in... ..., knowledge graphs, and AI-enabled systems.* Develop and... ...Moreover, we invest an additional 4% into your retirement saving...Remote workInterim roleWork at officeWorldwideFlexible hours
Underwriters Laboratories
Evanston, IL23 hours ago - ...Volunteer Grant Writer / Funding Researcher — Ethical + Debiased AI THEYtriarchy is seeking... ...on ethical AI, debiasing systems, equitable technology, and... ..., we’ve secured smaller 4 and 5 figure cash grants alongside... ...-driven innovation. Remote + flexible hours. Potential...Remote workFull timeFlexible hours
Theytriarchy
New York, NY3 days ago $160k - $220k
...SUMMARY Were looking for a talented AI Security Researcher to join our team and play a critical role... ...cloud and AI‑native architectures and systems. Discover and articulate the... ...capabilities by delivering both compelling proofs of risk (demonstrating impact) and...Remote workFull timeTemporary workHome officeFlexible hoursWiz
New York, NY2 days ago$144.45k - $219.8k
...analytics, with applications spanning AI/ML integration, decision support systems, and enhanced battlefield management... .... Job Purpose The Operations Research / Systems Analyst (OR/SA) applies advanced... ...Systems, or related field. 4 years of related experience with a...Contract workFor contractorsFor subcontractorLocal area$198.7k - $275k
...experimentation, and advanced AI to reshape access to... ...product design, research, and content strategy to... ...repositories, and insight-sharing systems that make findings... ...the following locations: Remote Time zone requirements... ...twice per quarter for 2-4 consecutive days at a time...Remote workSummer workCurrently hiringLocal areaWork from homeUpStart
United States1 day ago$130k - $150k
...Sr. UX Researcher & Product Designer Remote The Opportunity Casechek is on a mission... ...provides a comprehensive system of record for Hospitals and... ...be expected to leverage AI throughout your entire workflow... ...limited oversight in a lean, startup-stage environment...Remote workWork from homeFlexible hoursCasechek
United States2 days ago- ...A leading AI cybersecurity firm is seeking experienced cybersecurity professionals to join their team. As... ...cybersecurity problems, and provide feedback that improves AI systems. This position offers the flexibility to work remotely from the US, Canada, UK, Ireland, Australia, or New...Remote work
DataAnnotation
Louisiana, MO23 hours ago $40 per hour
...seeking experienced professionals to evaluate AI-generated security content and solve technical problems. This role, available remotely, offers flexible projects and hourly pay... ...certifications are a plus. Join us to help enhance AI systems and contribute to cybersecurity innovations...Remote workHourly payFlexible hoursDataAnnotation
Lincoln, NE23 hours ago$40 per hour
...seeking experienced professionals to evaluate AI-generated security content and solve technical problems to enhance AI systems. The ideal candidate should have over 2 years... ...abilities. This position offers flexible remote work opportunities with competitive hourly pay...Remote workHourly payFlexible hoursDataAnnotation
Phoenix, AZ23 hours ago$40 per hour
...company is seeking experienced cybersecurity professionals to join their remote team. In this role, you will evaluate AI-generated security content and address technical problems to enhance AI systems. Candidates should have 2+ years in cybersecurity and coding experience...Remote workHourly payDataAnnotation
United States5 days ago- ...A company is looking for a Postdoctoral Researcher in Human-Agent Collaboration for Scientific... ...Responsibilities Independently lead an AI research project with the goal of submitting... ...for designing and evaluating agentic AI systems Familiarity with large language models...Remote work
Virtual Vocations Inc
United States23 hours ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Remote Researcher: Lean 4 & Formal Proof Systems for AI. Be the first to apply!
Related searches
- survey researcher United States
- design researcher United States
- security researcher United States
- freelance researcher United States
- home based researcher United States
- legal researcher United States
- blockchain researcher United States
- field researcher United States
- qualitative researcher United States
- junior researcher United States