3 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
Marquee DefenseDescription Plan, develop, coordinate, control, and/or perform work involving the development and application of methods for the analytic solution of problems in various subject matter fields, where the exactitude of the relationships, the rigor and economy of the operations, the use of mathematical
$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 →