theorema

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months, with potential extension Availability: Immediate start About the role We create high-quality STEM...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months, with potential extension Availability: Immediate start About the role We create high-quality STEM...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months, with potential extension Availability: Immediate start About the role We create high-quality STEM...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months, with potential extension Availability: Immediate start About the role We create high-quality STEM...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands‑on experience in formal proof systems — especially Lean — to help push the boundaries of what machine‑verifiable mathematics can...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands‑on experience in formal proof systems — especially Lean — to help push the boundaries of what machine‑verifiable mathematics can...

Mathematical Formalization Specialist (Lean / Formal Proof Systems) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians with hands‑on experience in formal proof systems — especially Lean — to help push the boundaries of what machine‑verifiable mathematics can...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months, with potential extension About the role We create high-quality STEM training data for frontier AI...

🤓 TripleTen is an EdTech company that designs and runs tech career learning programs for the US and Latin American markets. We've been doing it for over five years, teaching complete beginners — people with no prior tech background — through cohort-based programs built on our own platform and curriculum, developed in partnership with Nebius AI. Our...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models.Location: RemoteType: Contract / Part-timeCommitment: 20 hours per weekCompensation: Up to 40 USD / hrProject duration: 2 months, with potential extensionAvailability: Immediate startAbout the roleWe create high-quality STEM training data...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. - Location: Remote - Type: Contract / Part-time - Commitment: 20 hours per week - Compensation: Up to 40 USD / hr - Project duration: 2 months, with potential extension - Availability: Immediate start About the role We create...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. - Location: Remote - Type: Contract / Part-time - Commitment: 20 hours per week - Compensation: Up to 40 USD / hr - Project duration: 2 months, with potential extension - Availability: Immediate start About the role We create...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension About the role We create high-quality STEM training data for...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension About the role We create high-quality STEM...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension About the role We create high-quality STEM training data for...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension About the role We create high-quality STEM training data for...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting-edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension About the role We create high-quality STEM training data for...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the...

Help shape the future of AI by designing challenging math problems that test and improve reasoning in cutting‑edge models. Location: Remote Type: Contract / Part-time Commitment: 20 hours per week Compensation: Up to 40 USD / hr Project duration: 2 months , with potential extension Availability: Immediate start About the role We...