Remote Lean Proof Architect for AI Reasoning

Alignerr

Remote job

Alignerr is seeking a Mathematical Formalization Specialist to lead the charge in shaping the future of AI reasoning. This fully remote role requires a strong background in formal proof systems, especially Lean. You will engage with cutting-edge AI research teams, translating complex mathematical proofs into structured, machine-verifiable formats. If you appreciate the elegance of mathematics and have hands-on experience with proof assistants, we invite you to join us. #J-18808-Ljbffr Alignerr

Apply

Vacancy posted 3 days ago

Similar jobs that could be interesting for youBased on the Remote Lean Proof Architect for AI Reasoning in Austin, CO vacancy

Remote Lean Proof Architect (Contract)
...verifiable formalizations. This fully remote role is tailored for mathematicians passionate about formal proof systems and the future of AI reasoning. The ideal candidate will hold a Master... ...experience with proof assistants like Lean, Coq, or Isabelle/HOL. Enjoy a...
Remote job
Contract work
Flexible hours
Alignerr
Atlanta, GA
3 days ago
Remote Lean Proof Architect
$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 is...
Remote job
Hourly pay
Alignerr
Boston, MA
4 days ago
Remote Senior ML Engineer: AI Reasoning & Trace Architect
...seeking a Senior Machine Learning Engineer (AI Data Trainer) to shape the next generation of AI models. This fully remote role allows you to work flexibly, ideally suited... ...training. You will author high-fidelity reasoning traces, design data strategies, and collaborate...
Remote work
Freelance
Alignerr
Denver, CO
7 hours ago
Principal Architect, AI-Native Security
$170k - $200k
...solutions provider leading the AI and Digital Revolution. WWT... ...Solutions and needs a Principal Architect to lead the technical design and... ...hands-on with prototypes and proof-of-concept implementations —... ...localities require employers to post a reasonable estimate of salary range. A...
Remote work
Full time
Shift work
World Wide Technology
Maryland Heights, MO
2 days ago
AI Architect
Job Overview The AI Architect will design and implement end-to-end architectures... .... Perform hands‑on technical proofs of concept, evaluate models/... ..., and cost per inference. Remote First Work Environment Our... ...history). We will provide reasonable accommodations for qualified...
Remote work
Permanent employment
Cambium Learning Group
New York, NY
1 day ago
Lead AI Architect
...Systems Inc. is looking for a Lead AI Architect for a full-time remote position (40 hours per week) in the... ...The ability to make clear, well-reasoned architectural decisions under uncertainty... ...Participate in technical assessments, proofs of concept, and architecture reviews...
Remote work
Full time
Work at office
Svitla Systems
United States
1 day ago
Lead AI Architect (Remote)
What You’ll Do Define and own AI solution architectures spanning... ...enterprise data retrieval. Architect and implement MCP (Model Context... ...principles. Guide prototyping and proof‑of‑concept efforts; define... ...Furthermore, the company will make reasonable accommodations for qualified...
Remote job
Local area
Scripps Shared Services Company
Brooklyn, NY
2 days ago
Pure Math & Lean 4 AI Trainer - Freelance (Remote)
$35 - $65 per hour
...A leading AI training company is seeking a Pure Mathematics... ...freelance project. This remote role is ideal for experts fluent in Lean 4 and theoretical mathematics... ...while constructing complex proofs and ensuring rigorous mathematical reasoning. Candidates should possess...
Remote work
Hourly pay
Freelance
Invisible Agency
New York, NY
2 days ago
AI-Ready Knowledge Architect
$96k - $181k
...Home, Ohio JOB DESCRIPTION: The AI-Ready Knowledge Architect plays a critical role in designing and maintaining... ...who are unable or limited in their ability to apply on this site may request reasonable accommodations by emailing ****@*****.***. #LI-Remote
Remote work
Work at office
Work from home
Flexible hours
Key Bank
Brooklyn, OH
4 days ago
AI Architect Position (Pre-Sales)
...AI Architect Position (Pre-Sales) This role has been designated as 'Remote/Teleworker', which means you will primarily work from home. Who We Are: Hewlett Packard... ...configurations and the creation of demos and proofs-of-concept (POC) to meet customer requirements...
Remote work
Local area
Work from home
Hewlett Packard Enterprise Development LP
United States
3 days ago
Senior AI/ML Architect
...information about Data Ideology, visit Senior AI/ML Architect - (Contract 1099) We are seeking a... ...assessments, and a constrained proof-of-concept demonstrator. You are not training... ...complex Terraform modules with remote state management. ~ Deep experience building...
Remote work
Contract work
Work at office
Local area
Work from home
Monday to Friday
Data Ideology, LLC
Pittsburgh, PA
12 days ago
Remote Pure Mathematics Specialist AI Reasoning Trainer
$35 - $65 per hour
...Specialist for a Freelance AI Trainer Project. This remote position requires a theoretical... ...and evaluate complex proofs, ensuring rigor and correctness... ...candidates are fluent in Lean 4 and have a PhD or PostDoc... ...communicate clearly about reasoning and proof strategies. #J-18...
Remote job
Hourly pay
Freelance
Invisible Agency
Austin, TX
1 day ago
AI Architect (Presales)
$134.9k - $237.3k
.... Through Genesys Cloud, the AI-powered Experience Orchestration... .... Location : Fully remote within U.S. (not limited to the... ...tagged to) The Genesys AI Architect is a senior presales AI specialist... .... To learn more, visit Reasonable Accommodations: If you...
Remote work
Work from home
Worldwide
Flexible hours
Genesys Cloud Services, Inc.
Boston, MA
4 days ago
Principal AI Performance Modeling Architect
...generation computing experiences—from AI and data centers, to PCs,... ...and data parallel dimensions Architect memory‑efficient training... ...extend SOTA models such as GPT‑4, Reasoning models (Deepseek‑R1), and... ...Clara, Ca strongly preferred; Remote is a possibility for the right...
Remote work
Advanced Micro Devices , Inc.
Santa Clara, CA
4 days ago
Salesforce / Agentforce AI Platform Integration Architect
...Job Title: Senior Salesforce / Agentforce AI Platform Integration Architect Location: Remote (USA) Duration: 6 Months Contract Overview... ...scalable multi-agent collaboration while avoiding reasoning bottlenecks Integration Strategy & Optimization...
Remote work
Contract work
United Software Group
United States
4 days ago
Advisory AI Architect (FDE Unit)
$286.45k - $370.7k
...Job Description Advisory AI Architect (FDE Unit) Within the Forward Deployment Engineering... ...of the AI software stack, drive rapid proof-of-value sprints, and help move AI... ...Deployment Engineering (FDE) Team in Remote - New England. What You'll Achieve...
Remote work
Dell
New York, NY
1 day ago
Remote Ai Architect
$73.5 per hour
...C-Level,… Job Summary We are seeking a Principal Platform Architect to join our AI Product Management team, responsible for transforming AI and... ...documentation that translates solutions into business outcomes. Proofs of Concept & Viability Testing: Partner with other...
Remote work
Permanent employment
Full time
Contract work
Temporary work
Work at office
Halo Ali Recruiting Firm
New York, NY
2 days ago
Principal AI Engineering Architect
$170k - $200k
...Principal AI Engineering ArchitectSkip to main content#... ...AI Engineering Architect page is loaded## Principal... ...decision-making, proof-of-concept evaluation,... ...with strong analytical reasoning and sound judgment.* Collaborative... ...schedules and hybrid/remote options for eligible...
Remote work
Full time
Temporary work
Work at office
Home office
Flexible hours
The Mutual Group
Dallas, TX
4 days ago
Sr. AI Architect @ Remote
...Title: Sr. AI Architect Location: Remote The Senior AI Architect provides technical leadership for enterprise AI initiatives, designing... ...multi agent workflows, tool calling agents, and reasoning chains. • Translate complex healthcare requirements into...
Remote work
United Software Group
United States
3 days ago
Senior AI/ML Architect
$170k - $180k
...Senior AI/ML Architect TalentFish is looking for a Senior AI/ML Architect. This is a remote, direct hire role. The reason this position exists is to support our premier consulting client in the designing, building, and leading of advanced data platforms, GenAI solutions...
Remote work
Visa sponsorship
TalentFish
United States
1 day ago
Senior AI Workflow Architect
...Senior AI Workflow Architect Berlin, DE | Germany (REMOTE) | Stuttgart, DE WongDoody creates human experiences at 24 studios across 4 continents. We believe... ...for building efficient, scalable, and future-proof production systems Your impact You'll shape...
Remote work
Work at office
Local area
Flexible hours
WONGDOODY
United States
1 day ago
Principal AI Architect
$227.5k - $280k
...Energy is evolving beyond using AI for simple productivity gains.... ...We are seeking a Principal AI Architect to lead our transition into an... ...-effectiveness, ensuring a lean and high-performing AI stack... ...is open to both onsite and remote candidates . The salary will...
Remote work
Local area
Flexible hours
Mainspring Energy
United States
12 days ago
AI Architect for Testing - Generative AI Architect - Quality Engineering Transformation
...This is 100% remote Must come from a company from similar... ...IT Software Engineer 4 - AI Architect for Testing - Generative AI Architect... ...testing practices Lead proofs of concept, pilot programs,... ...Experience working in Agile/Lean environments Knowledge...
Remote work
2 days per week
3 days per week
Anveta
United States
4 days ago
Sr Prin IT Architect
...Senior Principal Architect At MiniMed, you can begin a lifelong career of exploration and... ...future-ready solutions with a strong focus on AI-enabled capabilities and enterprise... ...perform the essential functions of this job. Reasonable accommodations may be made to enable...
Remote work
Work at office
Local area
Flexible hours
Mini Med
United States
3 days ago
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
$50 - $150 per hour
...Mathematical Formalization Specialist (Lean / Formal Proof Systems) $50-150/hr Remote Freelance STEM About the Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands-on experience...
Remote work
Hourly pay
Ongoing contract
Contract work
Freelance
Flexible hours
Alignerr
United States
1 day ago
AI Architect (Onsite - Houston, TX)
...scroll-anchor="false" data-turn="user" AI Architect Location: In-office, Monday-Friday,... ...- we invest in your development #LI-Remote Equal Opportunity Employer... ...disabilities. For additional information or if reasonable accommodation is needed to participate...
Remote work
Weekly pay
Work at office
Local area
Immediate start
Monday to Friday
Quanta Services
Houston, TX
3 days ago
Remote AI PoC/MVP Architect (GPT Expert)
A leading company is seeking a ChatGPT Expert / AI Consultant to design and develop AI-driven proof-of-concepts and minimum viable products. This remote contract position requires expertise in custom GPT implementations and the ability to work closely with clients to deliver...
Remote work
Contract work
Augusto Digital
Grand Rapids, MI
4 days ago
Telecom AI Benchmark Architect - Remote Contract
$70 - $85 per hour
...Expert to connect creative and technical talent with leading AI research labs. This remote position offers $70-$85 per hour and requires hands-on... ...have an ability to create problems requiring multi-step reasoning and work asynchronously to meet deadlines. #J-18808-Ljbffr...
Remote job
Hourly pay
Contract work
Mercor
Detroit, MI
2 days ago
AI Cluster Architect
$165k - $185k
...accessible for enterprises and AI innovators around the world.... ...each year ~$500 first year remote office setup + $400 each following... ...is looking for an AI Cluster Architect who will be responsible for... ...Provide guidance on future-proofing, including the ability to incorporate...
Remote work
Work at office
Immediate start
Flexible hours
Vultr
United States
13 hours ago
SAP AI Architect
$182.12k - $252.94k
...apply now. We are currently seeking a SAP AI Architect to join our team in Plano, Texas (US-TX),... ...required by law, NTT DATA provides a reasonable range of compensation for specific roles. The starting pay range for this remote role is $182,115.00-$252,938.00. This range...
Remote work
Temporary work
Work at office
Flexible hours
NTT America
Plano, TX
24 days ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Remote Lean Proof Architect for AI Reasoning. Be the first to apply!