Lean expert jobs in Remote

 ...consistent level of difficulty. Review problems written by other experts for correctness, clarity and originality. Provide clear...  ...Experience with symbolic or numerical tools (Python, Mathematica, Lean). Teaching or problem-writing experience. Legal and Compliance... 

 ...capable models. Role Overview We are seeking Mathematics experts to contribute advanced mathematical expertise to task design, data...  ...verification. Experience with proof assistants such as Lean, Coq, or Isabelle. Experience developing reproducible computational... 

 ...and validate Python-based solutions for computational tasks using approved scientific libraries. Work on theorem-prover tasks using Lean, including translating mathematical problems and proofs into formal language, verifying that formal proofs compile correctly.... 

Pay: up to $15/hour In this hourly, remote contractor role, you will work as a Tamil Language Specialist (SME) to review AI-generated Tamil content and/or create high-quality Tamil reference content, evaluating language quality and step-by-step reasoning while providing...

 ...Pay: up to $70/hour In this hourly, remote contractor role, you will work as an Advertising Subject Matter Expert (SME) to review AI-generated advertising outputs and/or create expert ad copy and campaign assets, evaluating reasoning quality, strategy alignment, and step... 

 ...Pay: up to $85/hour In this hourly, remote contractor role, you will work as a Brand & Strategy Subject Matter Expert (SME) to review AI-generated brand strategy, positioning, and go-to-market outputs and/or create expert brand and strategy content, evaluating reasoning... 

 ...position is listed on behalf of a partner company, which manages all applications and next steps. Our partner is looking for a Product Expert based in United Kingdom. The Product Expert will help developers, founders, and growth teams understand how a subscription... 

 ...evaluate complex chemistry prompts and technical queries Explain chemical reactions, mechanisms, and structures clearly Provide structured, expert-level feedback during AI-moderated sessions Assess the accuracy of scientific models and data representations Who Should Apply... 

 ...as contextual evaluations to monitor and improve AI agents in enterprise settings. Our AI recruiting agent sources and vets domain experts for our data platform that enables rapid production of high-quality training data. Our research spans high-value, specialized domains... 

3D Design & Animation Expert Help shape the future of AI by designing realistic 3D design and animation tasks that challenge advanced AI agents. Location: Remote Type: Contract / Part-time Commitment: 20 hours/week Compensation: US$30–60/hour Project duration... 

 ...as contextual evaluations to monitor and improve AI agents in enterprise settings. Our AI recruiting agent sources and vets domain experts for our data platform that enables rapid production of high-quality training data. Our research spans high-value, specialized domains... 

 ...date is next week) Payment Type: Pay per task — $300 per approved task About the Role We are seeking Computational Life Sciences experts with strong scientific programming skills to develop complex, realistic tasks for Agentic Life Sciences. You will design tasks where... 

As a Korean Linguist in our Global AI Community, you evaluate and validate speech AI systems from a linguistic perspective—ensuring machine-generated voices communicate with natural language flow and prosody, speech recognition captures intent with linguistic accuracy, and ...

 ...About the Role: AI is great at writing, but it often makes legal documents too confusing or misses simple rules. As a Legal Content Expert , your job is to read AI-generated legal text—like simple contracts, privacy policies, or terms of service—and make sure they are... 

 ...Mathematical & Computational Fluency About micro1 micro1 is the leading AI data lab for training frontier models and evaluating AI agents. Experts contribute their diverse subject matter knowledge across domains such as finance, healthcare, STEM engineering, and more. micro1... 

 ...Data Accuracy and Reporting About micro1 micro1 is the leading AI data lab for training frontier models and evaluating AI agents. Experts contribute their diverse subject matter knowledge across domains such as finance, healthcare, STEM engineering, and more. micro1... 

 ...the Role: At TELUS Digital, we help the world’s biggest brands build smarter technology. As a E-commerce Product & Search Relevancy Expert , your mission is to help an AI learn how to suggest the perfect products to online shoppers. You will look at massive catalogs across... 

 ...the world's largest brands. About the role We are seeking experienced Bioinformatics and Computational Biology Subject Matter Experts (SMEs) to support the development of advanced evaluation content for next-generation AI systems. This is expert scientific content... 

 ...annotation audio playback tools About micro1 micro1 is the leading AI data lab for training frontier models and evaluating AI agents. Experts contribute their diverse subject matter knowledge across domains such as finance, healthcare, STEM engineering, and more. micro1... 

 ...adaptability remote work About micro1 micro1 is the leading AI data lab for training frontier models and evaluating AI agents. Experts contribute their diverse subject matter knowledge across domains such as finance, healthcare, STEM engineering, and more. micro1... 

Design and develop electronic circuits and PCB layouts for hardware systems. About Turing Turing is one of the world’s fastest-growing AI companies, accelerating the advancement and deployment of powerful AI systems. Turing helps customers in two ways: Working with...

 ...matches your background. Depending on what our clients are running, that can be within a week or several months. Finishing the domain expert interview and joining every network you qualify for both improve your odds of being matched. You only need to sign up once to be... 

 ...matches your background. Depending on what our clients are running, that can be within a week or several months. Finishing the domain expert interview and joining every network you qualify for both improve your odds of being matched. You only need to sign up once to be... 

 ...40 h/week Field: Life, Physical, and Social Science Mercor is seeking experienced Inorganic Chemistry and Materials Synthesis Experts to contribute to advanced AI research initiatives. In this role, you will leverage your expertise in inorganic chemistry, synthetic methodologies... 

Evaluate AI-generated nutrition content for scientific accuracy and relevance. About Turing: Based in San Francisco, California, Turing is the world’s leading research accelerator for frontier AI labs and a trusted partner for global enterprises deploying advanced AI ...

 ...Historians to build the source analysis and historical reasoning scenarios frontier AI labs use to test model judgment. AfterQuery builds the expert evaluation data that frontier AI labs use to measure and improve their models. We're hiring historians as contractors to author and... 

 ...the language analysis scenarios frontier AI labs use to test model judgment on syntax, semantics, and phonology. AfterQuery builds the expert evaluation data that frontier AI labs use to measure and improve their models. We're hiring linguists as contractors to author and... 

 ...visual trend awareness About micro1 micro1 is the leading AI data lab for training frontier models and evaluating AI agents. Experts contribute their diverse subject matter knowledge across domains such as finance, healthcare, STEM engineering, and more. micro1 transforms... 

 ...to detail AI Training About micro1 micro1 is the leading AI data lab for training frontier models and evaluating AI agents. Experts contribute their diverse subject matter knowledge across domains such as finance, healthcare, STEM engineering, and more. micro1 transforms... 

Evaluate AI-generated audio by identifying instruments in audio clips. About Turing: Based in San Francisco, California, Turing is the world’s leading research accelerator for frontier AI labs and a trusted partner for global enterprises deploying advanced AI systems....