3 mathematician opportunities in Melbourne updated today
job offers found
About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians and formal verification specialists to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs — working at the very
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape how the world's most advanced AI systems reason about formal logic and proof? We're looking for mathematicians and formal verification specialists to translate rigorous huma
About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians and formal verification specialists to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs — working at the very
$34,000 – $54,000/year
Estimation confidence: Low
Estimate based on market data for Melbourne. Actual salaries may vary depending on experience, company, and area.
View full salary data →Search for mathematician jobs in other cities in Australia
Explore other job opportunities in Melbourne
