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?
Biochemistry Subject Matter Expert - AI Content Specialist
Remote (Global)
$35 – $70/hr
June 10, 2026
Job description
Biochemistry Subject Matter Expert (AI Training)
About the Role
We're looking for PhD-level Biochemists to help train and refine the next generation of AI models. Your deep expertise in areas like protein folding, enzyme kinetics, and metabolic flux will directly shape how AI reasons about life science — making a real impact on the future of scientific AI.
This is a fully remote, flexible contract role. No prior AI experience required.
- Organization: Alignerr
- Type: Hourly Contract
- Location: Remote
- Commitment: 10–40 hours/week
What You'll Do
- Design Advanced Problems — Create challenging biochemistry problems across domains like nucleic acid chemistry, proteomics, structural biology, and drug-target interactions to rigorously stress-test AI performance
- Author Ground-Truth Solutions — Write precise, step-by-step technical solutions that serve as gold-standard benchmarks for AI scientific reasoning
- Audit AI Outputs — Evaluate AI-generated biochemical pathways, molecular structures, and mathematical derivations for technical accuracy and adherence to scientific standards
- Identify Reasoning Failures — Spot logical errors in AI reasoning — such as incorrect stoichiometry, flawed stereochemistry, or misapplied enzyme kinetics — and provide structured feedback to improve model performance
Who You Are
- Advanced Degree: PhD (completed or in progress) in Biochemistry, Molecular Biology, or a closely related field
- Deep Domain Knowledge: Strong expertise in one or more areas — structural biology, enzymology, cellular metabolism, bioinformatics, or related disciplines
- Clear Technical Communicator: Able to explain complex biological and chemical concepts with precision and clarity in written form
- Detail-Oriented: High level of rigor when reviewing chemical equations, molecular diagrams, and experimental logic
- No prior AI experience required
Nice to Have
- Experience with data annotation, evaluation, or quality assurance workflows
- Familiarity with computational biochemistry tools such as PyMOL, AlphaFold, or BLAST
- Background in scientific writing or peer review
Why Join Us
- Work on cutting-edge AI projects alongside world-leading AI research teams
- Fully remote and flexible — work on your own schedule, from anywhere
- Freelance perks: autonomy, variety, and global collaboration
- Gain firsthand exposure to how advanced large language models are trained and evaluated
- Potential for ongoing work and contract extension
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?