Senior AI Skill Builder at Broccolini developing, testing, and refining AI skills across various business domains. Focused on speed, iteration, and operational impact in a hybrid work environment.
IT
Pure Mathematics Specialist – Freelance AI Trainer
Posted 3 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.
LP
Senior IT Artificial Intelligence (AI) Architect/Designer (RQ11251)
LinkedIn Recruiter Post
Senior IT AI Architect/Designer needed for enterprise AI and CX transformation at Ontario government. Onsite in Toronto, contract until 2027.
Senior Analyst managing risk and governance for AI initiatives at RBC. Leading compliance and strategic partnerships in a fast - paced environment.
Vice President leading product strategy for Jonas Software, transforming traditional practices to AI - enabled solutions. Driving customer value and competitive differentiation in commercial construction.
VP driving product - led growth and market activation for AI solutions in healthcare. Leading teams to enhance product adoption and customer engagement while ensuring strategic alignment and sustained growth.
Operations Manager enhancing operational processes and systems for Big Viking Games, a Canadian gaming company. Focused on improving workflows and implementing AI in daily operations.
Director leading Cint’s enterprise AI transformation office driving measurable business value. Overseeing AI strategy and roadmap while managing high - impact teams and complex workflows.
Director of AI Transformation leading enterprise AI initiatives at Cint to drive operational change and measurable business value. Collaborating with global teams to optimize AI workflows and governance frameworks.
Director of Enterprise AI Transformation at Cint leading AI - enabled operational change. Focused on measurable business value and managing AI transformation portfolio.
AI Governance Advisor at Mila responsible for developing governance training programs and facilitating community of practice. Engaging with executive audiences in workshops and tailored programs.