Seeking mathematicians with expertise in Lean and formal proof languages to translate informal mathematical proofs into machine-verifiable formalizations, pushing the boundaries of automated verification.
📌 Lean 4 Proof Engineer (Toronto)
🏢 Alignerr
📍 Toronto
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.