> Markdown version of [/jobs/ext/3221024-mathematics-expert](https://www.wearedevelopers.com/jobs/ext/3221024-mathematics-expert). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Mathematics Expert

- **Company:** Handshake
- **Location:** United States (Remote available)
- **Salary:** $156,000.0
- **Contract:** Permanent contract
- **Skills:** Artificial Intelligence, Mathematica, Isabelle, Coq, Formal Methods
- **Published:** September 2, 2026
- **Apply:** https://www.indeed.com/viewjob?jk=c5e0799e21855aed

## About the Role

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., Ideal candidates meet all three of the following:

 * 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, * 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

## Description

* 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


## Related Videos

- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)
- [Quantum computing for developers: Solving optimization problems with Qiskit](https://www.wearedevelopers.com/videos/777-quantum-computing-for-developers-solving-optimization-problems-with-qiskit)
- [Hiring AI Native Talents](https://www.wearedevelopers.com/videos/100268-hiring-ai-native-talents)
- [Prompt Engineering Your Career: AI Agents for Tech Interview Prep](https://www.wearedevelopers.com/videos/100227-prompt-engineering-your-career-ai-agents-for-tech-interview-prep)

## Related Articles

- [How to Become an AI Engineer](https://www.wearedevelopers.com/magazine/331-how-to-become-an-ai-engineer)
- [Navigating the AI Shift](https://www.wearedevelopers.com/magazine/629-navigating-the-ai-shift)
- [13 AI Tools You Have to Try](https://www.wearedevelopers.com/magazine/219-13-ai-tools-you-have-to-try)
- [AI Eats the Verifiable First](https://www.wearedevelopers.com/magazine/765-ai-eats-the-verifiable-first)
- [Dev Digest 121 - AI goes offline](https://www.wearedevelopers.com/magazine/456-dev-digest-121-ai-goes-offline)
- [Dev Digest 137 - AI'm not sure about this](https://www.wearedevelopers.com/magazine/485-dev-digest-137-ai-m-not-sure-about-this)