Alignerr
Alignerr — Adelaide CBD, Adelaide
About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs — pushing the boundaries of what automated reasoning can express, capture, and verify. This is a fully remote, flexible contract role bu…
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.