Math Expert (SME) - Freelance Project

Purpose of the Role

Meridial Marketplace by Invisible is seeking a highly experienced Pure Mathematics professional for the Math Expert (SME) - Freelance Project role. You will consult on AI training data projects, defining success criteria, reviewing outputs, and providing precise mathematical guidance. Your contributions will directly improve the quality and consistency of domain-specific annotated datasets, problem sets, and mathematical proofs, ensuring they meet rigorous technical and academic standards. This role involves engagement on specific projects with defined deliverables, milestones, and completion dates.

Key Components

This role encompasses several critical areas:

Technical Standard Setting, Quality Control, and Process Improvement

• Define domain-specific quality success metrics for pure mathematics datasets, focusing on rigor, logical soundness, and notational consistency.
• Develop project-specific Standard Operating Procedures (SOPs), Quality Assurance (QA) rubrics, and reference materials to uphold the highest mathematical standards.
• Review project outputs, including proof annotations, theorem classifications, and symbolic reasoning samples, for correctness, coherence, and fidelity to formal logic.
• Conduct structured QA passes on deliverables, efficiently tracking and resolving defects to maintain timelines.
• Provide clear remediation notes to contributors, identifying logical missteps, notation errors, or stylistic inconsistencies.
• Offer expert input on tools, notation formats (e.g., LaTeX conventions, symbolic logic frameworks, theorem databases), and workflows to ensure precision.
• Handle spec changes and edge cases, such as nonstandard proof techniques or novel symbolic representations, drafting updated acceptance criteria.
• Curate "gold standard" libraries of proof samples and annotated datasets for calibration.

Talent Vetting & Output Improvement

• Participate in the technical vetting of mathematical contractors, reviewing proof-based assessments.
• Evaluate sample outputs for logical rigor, clarity, and adherence to formal mathematical structure.
• Provide structured, actionable feedback to enhance mathematical reasoning precision.
• Develop comprehensive training and calibration resources, including guidelines for proof construction, standards for symbolic notation and LaTeX formatting, reference sheets for key areas (e.g., abstract algebra, topology), and examples of formal vs. informal proof presentation.

Project Delivery Support

• 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 or advanced symbolic expressions.
• Contribute to post-project reviews to capture lessons learned and strengthen future quality standards.
• Identify and summarize recurring error patterns, like incorrect inference chains or misuse of quantifiers.
• Build defect tracking systems to monitor issue categories and trends, informing process or training adjustments.
• Conduct post-mortems to analyze error trends, clarify ambiguous specifications, and recommend workflow updates.

Target Profile & Requirements

We are looking for candidates who possess:

• 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, capable of explaining complex mathematical reasoning to diverse audiences.
• 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.

Compensation and Work Arrangement

This is a contract position with a pay range of $25 to $100 per hour. The exact rate will be determined based on experience, expertise, and geographic location. As a contractor, you will supply your own secure computer and high-speed internet. Company-sponsored benefits such as health insurance and PTO do not apply.

Key skills/competency

• Pure Mathematics
• Formal Logic
• Mathematical Proofs
• AI Training Data
• Quality Assurance
• SOP Development
• LaTeX
• Symbolic Reasoning
• Abstract Algebra
• Topology