JobRadars - AU
JobRadars – AU — Perth CBD, Perth
About The Role What if your deep mathematical training could directly shape how AI reasons, proves, and understands the structures underlying all of mathematics? We're looking for Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4 — pushing the boundaries of what automated reasoning can express, verify, and learn from. This is a fully remote, flexible contract r…
To apply for this job please visit www.adzuna.com.
Keep exploring on Get A Job.ai
Not quite the right fit? Your next opportunity is a click away.
- Browse all jobs
- More jobs by category
- Remote jobs you can do from anywhere
- Research typical pay for this role
- Set a job alert so new matches reach you first
- Upload your resume to apply faster
Hiring instead? Post a job and reach candidates searching right now.