Alignerr seeks Formal Verification Scientists to translate advanced mathematics into Lean 4 formalizations, shaping how AI understands formal proofs. This fully remote, hourly contract targets mathematicians passionate about formal verification and mechanized mathematics.
You'll translate informal proofs, analyze gaps, and build readable proof scripts while collaborating with AI researchers to improve verification pipelines. The role offers ongoing work and adaptable schedule.
📌 Remote Lean 4 Formal Verification Scientist Sydney
🏢 Alignerr
📍 Sydney
Reply to this offer
Impress this employer describing Your skills and abilities, fill out the form below and leave Your personal touch in the presentation letter.