Alignerr Corp. seeks a Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean proofs, pushing the boundaries of proof automation.
This is a fully remote, hourly contract for mathematicians who live and breathe rigorous proof construction and want versatile weekly hours between 10 and 40.
You'll translate informal proofs into Lean 4, analyze gaps, and design reproducible proof scripts while collaborating with researchers on verification pipelines.
#J-18808-Ljbffr
📌 Remote Lean 4 Formal Verification Scientist (British Columbia)
🏢 Alignerr
📍 British Columbia
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.