24 job opportunities for mathematician in Australia updated today
job offers found
· Page 1 / 2About 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
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
LightnwonderGaming: Welcome to the world of land-based gaming. At Light & Wonder, it’s all about the games, and our Gaming team builds cutting-edge technology, products, and content for the most iconic casinos and operators across the globe. Position Summary Duties and Responsibilities: Assists in the creat
LightnwonderGaming: Welcome to the world of land-based gaming. At Light & Wonder, it’s all about the games, and our Gaming team builds cutting-edge technology, products, and content for the most iconic casinos and operators across the globe. Position Summary Duties and Responsibilities: Assists in the creat
Gaming: Welcome to the world of land-based gaming. At Light & Wonder, it’s all about the games, and our Gaming team builds cutting-edge technology, products, and content for the most iconic casinos and operators across the globe. Position Summary Duties and Responsibilities: • Assists in the cre
Gaming: Welcome to the world of land-based gaming. At Light & Wonder, it’s all about the games, and our Gaming team builds cutting-edge technology, products, and content for the most iconic casinos and operators across the globe. Position Summary Duties and Responsibilities: • Assists in the cre
About The Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier
About The Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier
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
Gaming: Welcome to the world of land-based gaming. At Light & Wonder, it’s all about the games, and our Gaming team builds cutting-edge technology, products, and content for the most iconic casinos and operators across the globe. Position Summary Duties and Responsibilities: Assists in the creat
Light & WonderGaming: Welcome to the world of land-based gaming. At Light & Wonder, it’s all about the games, and our Gaming team builds cutting-edge technology, products, and content for the most iconic casinos and operators across the globe. Position Summary Duties and Responsibilities: Assists in the creat
Gaming: Welcome to the world of land-based gaming. At Light & Wonder, it’s all about the games, and our Gaming team builds cutting-edge technology, products, and content for the most iconic casinos and operators across the globe. Position Summary Duties and Responsibilities: • Assists in the cre
Gaming: Welcome to the world of land-based gaming. At Light & Wonder, it’s all about the games, and our Gaming team builds cutting-edge technology, products, and content for the most iconic casinos and operators across the globe. Position Summary Duties and Responsibilities: Assists in the creat
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 knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier
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
About The Role What if your deep knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier
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 knowledge of formal mathematics could directly shape how the most advanced AI systems in the world reason, prove, and think? We're looking for mathematicians with a passion for rigorous proof and formal systems to help build the mathematical foundations that frontier
Join Aristocrat, a world leader in gaming content and technology, as a Graduate Game Designer! This is a remarkable opportunity to join a dedicated team committed to delivering high-impact casino games to customers worldwide. Our studio values quality, individual accountability, and respects enginee
$34,000 – $54,000per year
Estimation confidence: Low
Estimate based on market data. Actual salaries may vary depending on experience, company, and location.
View full salary data →Find mathematician job offers in the top cities in Australia
