Empleos de theorema en Buenos Aires

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...

🤓 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...

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: 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...