Alignerr is seeking a Researcher to translate deep mathematical arguments into Lean 4 proofs, bridging human intuition with machine-checked rigor. This fully remote hourly contract emphasizes precision and formalization.
The role focuses on structuring proofs, verifying sub-structures, and advancing what proof assistants can express, with collaboration across researchers and ongoing project work.
J-18808-Ljbffr
📌 Remote Researcher: Lean 4 & Formal Proof Systems Brisbane City
🏢 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.