Mathematics AI Trainer (Remote)

Joblet-AI; India; A distancia; INR 546.000 - 1.092.000; A tiempo parcial

Descripción de la vacante

Joblet-AI is seeking a Mathematics AI Trainer for remote, part-time work focused on advancing large language models through rigorous mathematics and clear communication.

The role involves solving problems, writing justified solutions, reviewing model outputs, and contributing to evaluation benchmarks across undergraduate to PhD topics, including Python tasks and Lean theorem proving.

Formación

• Strong foundation in mathematics suitable for engineering entrance exams.
• Graduate or PhD-level background preferred.
• Ability to break down complex math concepts clearly.
• Experience with Python and mathematical proofs is a plus.

Responsabilidades

• Design original and challenging mathematics problems that test reasoning limits.
• Solve problems independently and write detailed, justified solutions.
• Review model-provided solutions and provide precise feedback.
• Contribute to new evaluation benchmarks covering undergraduate to PhD topics.
• Develop and validate Python-based solutions using scientific libraries.
• Work on Lean theorem-prover tasks translating problems into formal language.

Conocimientos

Analytical skills

Feedback skills

Creative thinking

Communication

Independence

Technical setup

Educación

Master’s/PhD in Mathematics or related field

Herramientas

Lean

Python

SciPy/NumPy

Descripción del empleo

• Role Title: Mathematics AI Trainer (Remote)


• Role Type: Part-time


• Location: Remote

Role Overview.

1. In this role, you will work on projects that improve and evaluate large language models by applying advanced mathematical reasoning, problem-solving, computational thinking, and clear written communication.

2. The ideal candidate should have a solid foundation in mathematics, particularly at the level expected in engineering entrance exams, as well as graduate or PhD-level programs.

3. You should be able to break down complex mathematical concepts into simple, clear explanations and work efficiently.

4. The role also includes computational projects where you design precise, closed-ended prompts, write reliable Python code, verify numerical answers, and provide clear rationales.

5. The projects will also help you learn how to leverage AI to be a better analyst. This is your chance to future-proof your career in an AI-first world!

What does day-to-day look like:

1. Design original and challenging mathematics problems that test the reasoning limits of large language models, especially in multi-step, abstract, and proof-based settings.

2. Solve problems independently and write detailed, logically structured solutions with clear justifications.

3. Review model-generated solutions, identify mathematical errors or missing arguments, and provide precise feedback, annotations, and corrections..

4. Contribute to defining new evaluation benchmarks based on Mathematics curricula spanning from early undergraduate to PhD-level topics.

5. Develop and validate Python-based solutions for computational tasks using approved scientific libraries.

6. Work on theorem-prover tasks using Lean, including translating mathematical problems and proofs into formal language, verifying that formal proofs compile correctly.

Requirements:

1. Analytical Skills: Good research and analytical skills

2. Feedback Skills: Ability to provide constructive feedback and detailed annotations.

3. Creative Thinking: Creative and lateral thinking abilities.

4. Communication: Excellent structured communication and collaboration skills in a remote setting.

5. Independence: Self-motivated and able to work independently in a remote setting.

6. Technical Setup: Desktop/Laptop set up with a good internet connection.

Preferred Qualifications:

1. Candidates pursuing a Master’s/Ph.D./Postdoctoral degree in Mathematics, Applied Mathematics, Statistics, or a related field are eligible and encouraged to apply.

2. Ability to analyze and solve complex math problems with a structured and logical approach.

3. Ability to explain math concepts clearly using simple language, visuals, and examples.

Commitments Required: at least 4 hours per day and a minimum of 20 hours per week, with 4 hours of overlap with PST. (We have 3 options of time commitment: 20 hrs/week, 30 hrs/week, or 40 hrs/week)

2. Engagement type: Contractor assignment/freelancer (no medical/paid leave)

What You’ll Do

1. Design original and challenging mathematics problems that test the reasoning limits of large language models, especially in multi-step, abstract, and proof-based settings.

2. Solve problems independently and write detailed, logically structured solutions with clear justifications.

3. Review model-generated solutions, identify mathematical errors or missing arguments, and provide precise feedback, annotations, and corrections..

4. Contribute to defining new evaluation benchmarks based on Mathematics curricula spanning from early undergraduate to PhD-level topics.

5. Develop and validate Python-based solutions for computational tasks using approved scientific libraries.

6. Work on theorem-prover tasks using Lean, including translating mathematical problems and proofs into formal language, verifying that formal proofs compile correctly.