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.