Apply on Employer Site

Invisible Technologies · 1 month ago

Math Expert (SME) - Freelance Project

United States

Full-time

Remote

Senior Level

$25/hr - $100/hr

5+ years exp

Agency is seeking a highly experienced Pure Mathematics professional to serve as a consultant on AI training data projects. The role involves defining success criteria, reviewing outputs, and providing mathematical guidance to ensure the quality and consistency of domain-specific datasets and proofs.

Data Center AutomationInformation TechnologyProductivity ToolsProject Management

H1B Sponsor Likely

Responsibilities

Define domain-specific quality success metrics for pure mathematics datasets, including rigor, logical soundness, and notational consistency

Develop project-specific SOPs, QA rubrics, and reference materials to ensure all work meets the highest mathematical standards

Review project outputs (proof annotations, theorem classifications, symbolic reasoning samples) for correctness, coherence, and fidelity to formal logic

Conduct structured QA passes on daily or weekly deliverables; track and resolve defects efficiently to maintain delivery timelines

Return work to contributors with clear remediation notes identifying logical missteps, notation errors, or stylistic inconsistencies

Provide expert input on tools, notation formats, and workflows (e.g., LaTeX conventions, symbolic logic frameworks, or theorem databases) to ensure precision and reproducibility

Handle spec changes and edge cases, such as nonstandard proof techniques, rare theorem dependencies, or novel symbolic representations, drafting updated acceptance criteria or reference examples

Curate 'gold standard' libraries of proof samples, theorem statements, and annotated datasets for calibration and comparability across projects

Participate in the technical vetting of mathematical contractors and contributors, including reviewing proof-based assessments and reasoning tasks

Evaluate sample outputs for logical rigor, clarity, and adherence to formal mathematical structure

Provide structured, actionable feedback to improve the precision and depth of mathematical reasoning

Develop training and calibration resources, such as:

Guidelines for proof construction and logical argumentation

Standards for symbolic notation and LaTeX formatting

Reference sheets for key areas (e.g., abstract algebra, topology, number theory, set theory, mathematical logic)

Examples of formal vs. informal proof presentation for alignment on project tone and purpose

Advise on technical scoping and requirements during project setup, including domain selection (e.g., algebra, topology, analysis), dataset formats, and proof annotation frameworks

Provide expert guidance on edge cases and exceptions, such as nonconstructive proofs, category-theoretic formulations, or advanced symbolic expressions

Contribute to post-project reviews to capture lessons learned and strengthen future quality standards

Identify and summarize recurring error patterns, such as incorrect inference chains, misuse of quantifiers, or notation drift

Build defect tracking systems to monitor issue categories and trends, highlighting areas needing process or training adjustments

Conduct post-mortems to analyze error trends, clarify ambiguous specifications, and recommend workflow or rubric updates

Qualification

Pure Mathematics expertiseFormal mathematical reasoningProof developmentLaTeX proficiencyMathematical documentationFluency in EnglishCommunication skillsAttention to detailProject management

Required

Advanced academic or professional background in Pure Mathematics (e.g., algebra, topology, analysis, number theory, mathematical logic, or geometry)

5+ years of professional or research experience involving formal mathematical reasoning, proof development, or advanced theoretical instruction

Proven ability to enforce high standards of mathematical rigor, accuracy, and clarity

Strong communication skills, including the ability to explain complex mathematical reasoning to technical and non-technical reviewers

Experience producing or reviewing mathematical documentation, proof annotations, or educational materials

Ability to work within defined project scopes and delivery schedules

Exceptional attention to detail, consistency, and documentation discipline

Fluency in written and spoken English, with precise command of mathematical language and notation

Benefits

Health insurance

PTO

Company

Invisible Technologies

Glassdoor3.9

Invisible Technologies makes AI work. Our platform cleans, labels, and structures company data so it’s ready for AI.

Founded in 2015

San Francisco, California, USA

201-500 employees

https://www.invisible.co/

H1B Sponsorship

Invisible Technologies has a track record of offering H1B sponsorships. Please note that this does not guarantee sponsorship for this specific role. Below presents additional info for your reference. (Data Powered by US Department of Labor)

Distribution of Different Job Fields Receiving Sponsorship

Represents job field similar to this job

Trends of Total Sponsorships

2025 (9)