Alignerr is seeking Applied Formal Methods Researchers to convert rigorous mathematics into Lean 4 proofs, at the frontier of formal verification and AI reasoning. This is a fully remote, hourly contract designed for mathematicians who value precision and elegant formal arguments.
You will translate informal math into machine-verifiable proofs, analyze gaps, and collaborate on strategies to enhance verification pipelines. Prior Lean/Coq experience is strongly preferred.
J-18808-Ljbffr
📌 Remote Lean 4 Formal Methods Researcher For Ai Proofs Adelaide (Australia)
🏢 Alignerr
📍 Australia
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.