Applied Formal Methods Researcher (Lean 4) About the Role What if your deep mathematical training could directly shape how AI reasons about the hardest problems in mathematics?
Data Science Expert - AI Content Specialist
Remote (Global)
$40 – $80/hr
June 10, 2026
Job description
Data Science Expert – AI Content Specialist
About the Role
What if your deep knowledge of machine learning, statistics, and data engineering could directly shape how the next generation of AI reasons through complex problems? We're looking for Data Science Experts to challenge, audit, and improve cutting-edge AI models — working remotely on your own schedule alongside leading AI research labs.
This is a high-impact contractor role for data scientists who want to put their expertise to work in a meaningful, intellectually stimulating way.
- Organization: Alignerr
- Type: Hourly Contract
- Location: Remote
- Commitment: 10–40 hours/week
What You'll Do
- Design Advanced Challenges — Create complex, domain-specific data science problems spanning hyperparameter optimization, Bayesian inference, cross-validation strategies, dimensionality reduction, and more
- Author Ground-Truth Solutions — Develop rigorous, step-by-step technical solutions including Python/R scripts, SQL queries, and mathematical derivations that serve as authoritative reference answers
- Audit AI-Generated Code — Evaluate model outputs using libraries like Scikit-Learn, PyTorch, and TensorFlow for correctness, efficiency, and best practices
- Refine AI Reasoning — Identify logical flaws such as data leakage, overfitting, or improper handling of imbalanced datasets, and provide structured feedback to strengthen how models think
- Document Failure Modes — Systematically probe model weaknesses across areas like statistical inference, neural network architectures, and data engineering pipelines
Who You Are
- Holds or is pursuing a Master's or PhD in Data Science, Statistics, Computer Science, or a related quantitative field
- Strong foundations in supervised/unsupervised learning, deep learning, big data technologies (Spark/Hadoop), or NLP
- Able to communicate complex algorithmic and statistical concepts clearly in writing
- Highly precise when reviewing code syntax, mathematical notation, and statistical conclusions
- Self-motivated and comfortable working independently and asynchronously
- No prior AI or annotation experience required
Nice to Have
- Experience with data annotation, data quality, or evaluation systems
- Familiarity with production-level data science workflows such as MLOps or CI/CD for models
- Background in technical writing or academic research
Why Join Us
- Work directly with industry-leading AI models and top research labs
- Fully remote and asynchronous — work when and where it suits you
- Freelance autonomy with meaningful, intellectually engaging work
- Contribute to AI development that advances the frontier of machine reasoning
- Potential for ongoing work and contract extension as new projects launch
Apply now
You will be redirected to the company's website to complete your application.
Researcher – Lean 4 & Formal Proof Systems (AI Training) About the Role What if your deep mathematical training could directly shape how AI understands and reasons through the hardest proofs in existence?
Formal Verification Scientist (Lean 4 & Mathlib) About the Role What if your deep mathematical training could directly shape how AI reasons about proofs — and push the boundaries of what machines can verify?
Lean 4 Proof Engineer — Mathematical Formalization (AI Training) About the Role What if your deep mathematical training could directly shape how AI reasons about formal proofs — and help push the boundaries of what machines can verify?