Mathematician – Formal Proof & AI Foundations (Remote Contract)
at Alignerr
Job Description
Australian mathematicians: your expertise in formal proof and rigorous reasoning is needed at the frontier of AI — fully remote, flexible, and highly rewarding.