GHL and AI automation manager building outbound, nurture, and conversational AI systems. Supporting Jumpfactor’s digital marketing campaigns for MSP and IT clients.
IT
Pure Mathematics Specialist – Freelance AI Trainer
Posted 5 months ago
About the role
- Pure Mathematics Specialist engaging in advanced topics for AI training and collaborating on mathematical proofs and frameworks. Seeking experts fluent in Lean 4 and deep theoretical mathematics knowledge.
Responsibilities
- Construct and evaluate complex proofs
- Substantiate the mathematical reasoning for correctness and rigor while identifying subtle conceptual or logical failures
- Translate material to successfully build in .lean syntax
- Collaborate with our team to refine prompts, evaluation frameworks, and mathematical reasoning benchmarks
Requirements
- Specialist with deep foundations in pure mathematics
- Engage with advanced topics across probability theory, measure theory, real and functional analysis, optimization, abstract algebra, and category theory
- Fluency in Lean 4
- In-progress or freshly earned PhD or current PostDoc experience in pure mathematics
- Strong command of core areas
- Comfortable with topics such as Markov’s and Chebyshev’s inequalities, Hoeffding bounds, convergence theorems, the Carathéodory extension theorem, the Riesz representation theorem, Banach–Alaoglu, Lax–Milgram, stochastic approximation, Van Kampen’s theorem, the Yoneda embedding, and representability in cohomology
- Clear, metacognitive communication (explicitly articulating reasoning and proof strategies) is essential.
Benefits
- Company-sponsored benefits such as health insurance and PTO do not apply.
Job title
Job type
Experience level
Salary
Degree requirement
Location requirements
Report this job
Found something wrong with the page? Please let us know by submitting a report below.
Research Director analyzing integration, API management, and AI - enablement markets for IDC, a global technology intelligence provider. Forecasting growth, advising clients, and presenting insights to technology leaders.
Director shaping Desjardins’ Personal Services data, analytics, and AI strategy. Leading transformation, governance, executive partnerships, and high - impact use cases for a cooperative financial group.
AI solutions lead rebuilding Instacart’s grocery - delivery Marketing processes with agentic workflows. Driving adoption, measurable impact, and cross - functional AI planning.
Director leading Desjardins’ AI, data and analytics strategy for Personal Services. Driving data transformation, executive decisions, advanced analytics and responsible governance.
Senior AI Solutions Analyst guiding Desjardins Group’s financial services sectors in responsible productivity AI adoption. Assessing use cases, value, risks and Microsoft AI solutions.
AI Safety Red Teamer stress - testing Mercor’s frontier AI models. Identifying vulnerabilities, jailbreaks, hallucinations, and policy failures through adversarial evaluation.
AVP leading AI transformation, including fraud detection, for Manulife, a global financial services provider. Driving secure, governed Classical, Generative, and Agentic AI solutions across Corporate Functions.
Generative AI Analyst validating Canadian French translations for Welo Data, a global AI data company. Reviewing and annotating multilingual AI - generated content for training and quality improvement.
Senior engineers evaluating AI coding - agent interactions for G2i. Assessing reasoning, explanations, outputs, and engineering judgment across Codex, Claude Code, and Cursor.