About The Role What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the worlds hardest problems? Were looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4
About The Role Were looking for experienced econometrics instructors and quantitative economists to help shape how AI systems understand and reason about statistical and economic concepts. Your expertise will directly improve the quality of AI-generated econometric
Soil and Water Conservation Scientist (AI Training) Were looking for soil and water conservation scientists to help evaluate and improve AI systems being trained on sustainable land and water management content. Your scientific expertise will directly