Alignerr Corp. in Australia is seeking a Researcher to translate informal mathematical reasoning into Lean 4 proofs, bridging intuition and machine-verified rigor. The role emphasizes clarity, structure, and correctness, with a focus on formalizing complex arguments.
This is a fully remote hourly contract with adaptable schedule for researchers who enjoy exact formalization and collaboration across teams to improve verification pipelines and mathematical libraries.
📌 Remote Researcher: Lean 4 Sydney
🏢 Alignerr
📍 Sydney
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.