Remote Mathematician for AI Model Evaluation

SaidGig; New York (NY); Remote; USD 55,000 - 110,000; Part time

Job summary

SaidGig is seeking a remote contract mathematician to design and evaluate advanced AI-driven mathematics tasks across undergraduate to Ph.D.-level topics. You will craft challenging problems, solve them with rigorous justification, and provide precise feedback on model solutions.

The role emphasizes independent work, strong mathematical training, and clear written explanations, with 20–40 hours per week and overlap with Pacific Time. Remote contract, no medical coverage provided.

Qualifications

• Master’s/Ph.D./postdoc in Mathematics or related field required or strongly encouraged.
• Strong mathematical foundation and research, analytical and creative thinking.
• Excellent structured communication and collaboration for remote work.
• Self-motivated, able to work independently and remotely.
• Proficient in Python and capable of formal reasoning tools such as Lean.

Responsibilities

• Design original mathematics problems that test large language model reasoning in multi-step, abstract, and proof-based settings.
• Solve problems independently and produce detailed, logically structured solutions with clear justifications.
• Review model-generated solutions, identify mathematical errors and provide precise feedback, annotations and corrections.
• Help define mathematics evaluation benchmarks spanning undergraduate through Ph.D.-level curricula.
• Design precise computational prompts, write reliable Python solutions, validate numerical answers with explanations.
• Complete theorem-prover work in Lean, translate problems and proofs into formal language and verify proofs compile.
• Break down complex mathematical concepts into clear explanations using simple language, visuals and examples.

Education

Master’s/Ph.D./postdoc in Mathematics or related field

Tools

Lean

Python

Job description

SaidGig is seeking a remote contract mathematician to design and evaluate advanced AI-driven mathematics tasks across undergraduate to Ph.D.-level topics. You will craft challenging problems, solve them with rigorous justification, and provide precise feedback on model solutions.

The role emphasizes independent work, strong mathematical training, and clear written explanations, with 20–40 hours per week and overlap with Pacific Time. Remote contract, no medical coverage provided.