Pure Mathematics Specialist – Freelance AI Trainer

Job not on LinkedIn

🕒 March 20

Apply Now

Find Similar Remote Jobs

Receive Emails For Remote Jobs

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume

Invisible Technologies

WebsiteLinkedInAll Job Openings

201 - 500 employees

Founded 2015

🤖 Artificial Intelligence

☁️ SaaS

🏢 Enterprise

🔥 Funding within the last year

💰 $100M Series unknown on 2025-10

Artificial Intelligence • SaaS • Enterprise

Invisible Technologies is an enterprise AI platform and services company that builds and deploys production-grade AI systems for large organizations. They combine a modular SaaS platform (data platform, process builder, agents, evaluations) with an expert human marketplace to train models, automate complex back-office workflows, power contact centers, provide computer vision and demand-forecasting solutions, and ensure ongoing evaluation and governance. Invisible works across sectors (finance, healthcare, public sector, sports, retail) to integrate AI into real operational systems and scale outcomes.

📋 Description

• 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.