9 job opportunities for mathematician in New Zealand updated today
job offers found
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with serious proof-writing chops to formalize advanced mathematical arguments in Lean
DataAnnotationOverview Frontier models still fail at rigorous multi-step mathematics: invalid derivations, unjustified leaps, and confidently wrong final answers. Automated checks can't grade a proof. You can. As a Mathematician you'll evaluate and correct mathematical reasoning across everything from competition
DataAnnotationOverview Frontier models still fail at rigorous multi-step mathematics: invalid derivations, unjustified leaps, and confidently wrong final answers. Automated checks can't grade a proof. You can. As a Mathematician you'll evaluate and correct mathematical reasoning across everything from competition
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with serious proof-writing chops to formalize advanced mathematical arguments in Lean
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with serious proof-writing chops to formalize advanced mathematical arguments in Lean
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with serious proof-writing chops to formalize advanced mathematical arguments in Lean
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with serious proof-writing chops to formalize advanced mathematical arguments in Lean
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with serious proof-writing chops to formalize advanced mathematical arguments in Lean
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with serious proof-writing chops to formalize advanced mathematical arguments in Lean
$49,000 – $77,000per year
Estimation confidence: Low
Estimate based on market data. Actual salaries may vary depending on experience, company, and location.
View full salary data →
