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 versatile schedule for researchers who enjoy accurate formalization and collaboration across teams to improve verification pipelines and mathematical libraries.
📌 Remote Researcher: Lean 4 Townsville City (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.