Alignerr is seeking a Researcher for Lean 4 & formal proof systems to translate dense mathematical arguments into machine-verifiable proofs. The role is remote, hourly, and adaptable, with 10–40 hours per week.
You will shape AI reasoning by building robust Lean proofs and collaborating on verification pipelines. The ideal candidate holds a Master’s or higher in mathematics or related fields and has hands-on experience with Lean (3/4) and related proof assistants.
#J-18808-Ljbffr
📌 Remote Researcher: Lean 4 & Formal Proof Systems (Brisbane City)
🏢 Alignerr
📍 Brisbane City
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.