Skip to content
remoty.work
For employers
Menu

Archived listing. No job board we track has listed this role since 22 Jul 2026, so it has probably been filled. We keep it for reference. See today's verified listings.

AI Data Annotation & Quality Review

Leading AI LabAnywhere in the World

This one is closed

Live roles like this one

Or follow the daily Telegram channel for the best new remote roles every morning.

Mathematical Proofs freelance Science & Research

We are seeking a Mathematics expert with strong experience in the Lean theorem prover to support a leading AI lab developing next-generation reasoning models. In this project-based role, you will review, annotate, and evaluate formal mathematical proofs and reasoning tasks, ensuring the highest standards of mathematical correctness and formal verification.

Key Responsibilities

  • Annotate and review mathematical problems, proofs, and formal reasoning tasks.
  • Write, validate, and evaluate formal proofs using Lean.
  • Perform quality control (QC) on mathematical annotations and identify logical or formalization errors.
  • Provide expert feedback to improve annotation and evaluation guidelines.

Required Qualifications

  • Master's or PhD in Mathematics, Computer Science, Logic, or a closely related field.
  • Strong proficiency with the Lean theorem prover.
  • Solid foundation in formal mathematics, proof writing, and mathematical reasoning.
  • Experience formalizing mathematical concepts and verifying proofs in Lean.
  • Excellent attention to detail and ability to evaluate technical content with consistency.
  • Fluent in English.

Nice to Have

  • Experience with Lean 4.
  • Familiarity with theorem proving libraries such as Mathlib.
  • Experience with other proof assistants (e.g., Coq, Isabelle, HOL Light, Agda).
  • Background in AI, formal verification, or automated reasoning.

8-week initial contract with 2-week trial period

Up to 20 hours/week

Apply for this role Opens app.usebraintrust.com — verified as the employer's own application page

Your turn · no account needed

Help the next applicant

You may know something about this listing that we cannot see from here. One tap. No account needed. Signed-in reports earn points once the evidence agrees with you.

I know what it pays

What you were offered, quoted in an interview, or paid in this role. A range is fine.

Sign in with Google to earn points for reports.

Where this listing came from

  1. 22 Jul 2026Braintrust first sighting

Seen on 1 board over 0 days.