Alignerr is seeking Formal Verification Scientists to translate advanced mathematics into Lean 4 formalizations, shaping what modern proof assistants can express, capture, and automate.
This fully remote, versatile hourly contract invites mathematicians with a Master's or higher in math-focused fields and hands-on experience with Lean, Coq, Isabelle/HOL, or Agda to collaborate with AI researchers and push the boundaries of mechanized mathematics.
#J-*****-Ljbffr
📌 Remote Lean 4 Formal Verification Scientist For Ai Proofs (Brisbane)
🏢 Alignerr
📍 Brisbane
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.