Lean4 Mathematician (удаленная работа)
7 апреля 2026, Parsewave

з.п. не указана

Описание вакансии Parsewave.ai Hiring Lean 4 Developers for AI Benchmark Task Review ( Remote / Flexible) About Parsewave Parsewave.ai builds frontier coding datasets that help train and evalu...