Alignerr Corp. seeks a Formal Verification Scientist to translate advanced mathematical arguments into accurate Lean 4 formalizations. You will work at the frontier of AI research and mechanized mathematics, turning proofs into machine-checkable scripts.
The role is a fully remote hourly contract, requiring rigorous proof construction and collaboration with AI researchers to improve verification pipelines. 10–40 hours per week are possible.
📌 Remote Lean 4 Proof Architect for AI (Mississauga)
🏢 Alignerr
📍 Mississauga
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.