Remote Coq Formalization Reviewer for AI Reasoning

AI Trainer Jobs; United States; Remote; USD 55,000 - 83,000; Full time

Job summary

AI Trainer Jobs seeks a Coq Formalization Model Evaluator to remotely review AI outputs in Coq formalization research. You will grade derivations, reproduce key results, and document methods to train modeling teams.

The work emphasizes rigorous reasoning and citation accuracy, with an hourly contractor arrangement. Responsibilities include verifying calculations, applying long-form rubrics, and ensuring reproducibility of results.

Qualifications

• Graduate-level or higher research experience in formal methods or related field.
• Experience publishing, teaching, or advising on the topic at a professional level.
• Ability to apply rubrics consistently across long review batches.

Responsibilities

• Review AI outputs against Coq formalization methodologies and prior work.
• Reproduce or sanity-check key derivations and calculations.
• Flag errors with structured severity tags.
• Capture corrected reasoning to train models.

Skills

Scientific reasoning

Method validation

Citation review

Quantitative analysis

Coq formalization

Formal reasoning

Proof review

Formalization

Education

PhD or equivalent research experience

Job description

AI Trainer Jobs seeks a Coq Formalization Model Evaluator to remotely review AI outputs in Coq formalization research. You will grade derivations, reproduce key results, and document methods to train modeling teams.

The work emphasizes rigorous reasoning and citation accuracy, with an hourly contractor arrangement. Responsibilities include verifying calculations, applying long-form rubrics, and ensuring reproducibility of results.