Dataset Lead, Mathematics
Reinforced Learning · Buffalo-Niagara Falls Area · 3 days ago
EducationFull-time
The role Proof, derivation, modelling, and the discipline to check your own work. You’ll lead programs where mathematicians create problems that resist pattern matching, and grading schemes that reward valid reasoning rather than lucky answers. What you’ll own Problem sets across pure and applied mathematics, from undergraduate to research level.A contributor bench of mathematicians and quantitative researchers.Grading schemes for proofs, including partial credit and common failure patterns.Formal and numerical checking, built with the verifier engineers where it’s possible.Review of problems for correctness, originality and difficulty. What you bring A PhD in mathematics or a closely related field, or equivalent research experience.Experience writing and grading problems at a high level.Clear mathematical writing and attention to rigour.Interest in model reasoning and its limits. Helpful, not required Proof assistants such as Lean.Competition problem-setting.