Arguments Jobs In Sa - 8 Job Positions Available

arguments remote jobs

1 – 1 of 8 jobs

Remote Lean 4 Formal Verification Scientist (Contract)

Alignerr ( Adelaide SA )

About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? Were looking for Formal Verification Scientists to translate sophisticated mathematical arguments into machine-verifiable Lean 4 proofs —

Remote Friendly Contract Automated Reasoning Data Quality Arguments Scaffolding Mathematics

Alignerr 2 days ago

Recommended jobs for you