Senior Governance Advisor supporting analytics teams in responsible AI governance. Overseeing model risks and promoting a culture of ethical data use at Desjardins.
IT
Pure Mathematics Specialist – Freelance AI Trainer
Posted 3 weeks 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.
Senior Software Development Manager leading enterprise - scale AI/ML platform development at Autodesk. Guiding a team of software and ML engineers in building innovative solutions.
Manager of Technical Staff leading the Sovereign AI Modelling team at Cohere. Designing and implementing AI models to advance cutting - edge research and solutions.
Senior Marketing Coordinator launching and scaling AI education programs at an innovative startup. Driving applications and enrollment through hands - on marketing execution across key channels.
Lead Analyst for People Technology and AI driving automation in HR tech stack with Workday expertise. Transforming HR processes and ensuring system integrity through strategic partnerships and innovative solutions.
Manager in BDO’s Digital, Data & AI Strategy & Transformation practice. Leading engagements and driving strategies to enable digital transformation for Canadian organizations.
Junior AI Cybersecurity Specialist for FortiGuard IoC team using AI for threat detection. Designing ML models and developing AI solutions to combat cybersecurity threats.
AI Automation Analyst designing and scaling automation solutions for Instacart's Commercial organization. Leading technical strategy and mentoring teams in AI initiatives.
AI Evaluation & Annotation Specialist reviewing and annotating AI - generated responses while adhering to project guidelines and maintaining quality standards.
Forward Deployed Engineer working with internal teams to design and optimize workflows leveraging AI at Knak. Collaborating closely with DevOps to build internal tools and systems.