5 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
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 →
