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?
Chemistry Masters
Remote (Global)
$35 – $55/hr
June 10, 2026
Job description
Chemistry Masters – AI Data Trainer
About the Role
We're looking for chemistry experts to help train and improve the next generation of AI models. At Alignerr, we partner with the world's leading AI research labs to build smarter, more scientifically rigorous AI systems — and we need people with deep chemistry knowledge to make it happen.
If you hold or are pursuing a Master's degree in Chemistry, Chemical Engineering, Biochemistry, or a related field, this is your chance to directly influence how AI reasons through complex scientific problems — all from wherever you work best.
- Organization: Alignerr
- Type: Hourly Contract
- Location: Remote
- Commitment: 10–40 hours/week
What You'll Do
- Design advanced chemistry problems to rigorously test AI reasoning across domains such as chemical engineering, biochemistry, thermodynamics, and organic chemistry
- Develop detailed, step-by-step solutions with clear and rigorous scientific logic
- Evaluate AI-generated outputs for accuracy, depth, and quality of reasoning
- Collaborate with researchers to develop and refine benchmarks spanning undergraduate to Master's-level chemistry topics
- Provide structured written feedback that helps researchers identify gaps and improve model performance
Who You Are
- Currently pursuing or have completed a Master's degree in Chemistry, Chemical Engineering, Biochemistry, or a closely related field
- Strong scientific reasoning and problem-solving skills across advanced chemistry domains
- Able to communicate complex concepts clearly and precisely in writing
- Detail-oriented with a systematic approach to evaluating quality
- Self-motivated and comfortable working independently and asynchronously
- No prior AI experience required
Nice to Have
- Experience with data annotation, data quality review, or evaluation systems
- Familiarity with large language models or AI research workflows
- Background spanning multiple chemistry sub-disciplines
Why Join Us
- Work on cutting-edge AI projects with top research labs and directly shape how AI understands science
- Fully remote and flexible — work on your own schedule, from anywhere
- Freelance perks: high autonomy, variety of tasks, and global collaboration
- Meaningful work that advances the quality and reliability of AI in scientific domains
- 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?