Mathematics Expert at Handshake

aitrainer; Northern (KY); Hybrid; USD 62,000 - 103,000; Part time

Benefits offered by this job

Remote work

Flexible hours

OPT/CPT Eligible

Job summary

Handshake is seeking experienced mathematicians and research scientists to support AI research through flexible, part-time contract work. This is not a traditional job — you will draw on hands-on mathematical expertise to evaluate AI-generated content and provide feedback that helps AI reason like a practicing mathematician.

This is an ongoing, project-based opportunity you can take on alongside your current role.

Qualifications

• Research experience with first-author publications and ability to formalize proofs that AI models fail on.
• PhD in Mathematics (pure or applied).
• Expertise in one of: proof/formal methods, symbolic computation, optimization, numerical analysis, or algebra/topology/number theory/combinatorics.

Responsibilities

• Create expert-level mathematics problems and scenarios grounded in real proofs and computational workflows.
• Review AI-generated responses for technical accuracy, rigor, and alignment with real-world math practice.
• Provide structured written feedback to improve AI model performance.
• Work at your own pace with no set schedule or minimum hours.

Skills

Research experience

Strong written communication

Explain complex math concepts

Independent work

Education

PhD in Mathematics

Tools

Lean/Coq/Isabelle

SageMath/Mathematica

Job description

Up to $75/hr Depending on the project

Ph.D's , Postdocs

Remote

Part-time

Flexible hours

OPT/CPT Eligible

Opportunity Overview

Handshake is looking for experienced mathematicians and research scientists to support AI research through flexible, part-time contract work. This is not a traditional job — you'll draw on your hands-on experience in pure or applied mathematics to evaluate AI-generated content and provide feedback that helps AI reason like a practicing mathematician. This is an ongoing, project-based opportunity you can take on alongside your current role.

What You'll Do

• Use your domain expertise to create expert-level mathematics problems and scenarios grounded in real proof, formalization, and computational workflows
• Review and evaluate AI-generated responses for technical accuracy, rigor, and alignment with how the work is actually done
• Provide structured written feedback to help improve AI model performance
• Complete tasks at your own pace with no set schedule or minimum hour requirement

Qualifications

• Research experience — first-author publications and the ability to formalize proofs that AI models fail on
• Degree — PhD in Mathematics (pure or applied)
• Sub-domain depth — demonstrated expertise in one of the following areas: Proof and formal methods (Lean, Coq, Isabelle) Symbolic computation (SageMath, Mathematica), optimization, and numerical analysis A core subfield such as algebra, topology, number theory, or combinatorics

Candidates who meet at least 2 of the 3 qualifications above are also encouraged to apply.

Additional qualifications (not required, but strengthen your application)

• Proficiency with theorem provers and symbolic computation software
• Experience formalizing proofs or working on problems at the edge of what current AI models can handle

Required for all applicants

• Must have US work authorization
• Strong written communication and attention to detail
• Ability to explain complex mathematical concepts clearly
• Ability to work independently in a remote, asynchronous environment

Work authorization information

F-1 students who are eligible for CPT or OPT may be eligible for projects on Handshake AI. Work with your Designated School Official to determine your eligibility. If your school requires a CPT course, Handshake AI may not meet your school’s requirements. STEM OPT is not supported. See our Help Center article for more information on what types of work authorizations are supported on Handshake AI.