About this opportunity
Alignerr Corp. lists this Remote Lean 4 Formal Proof Researcher opportunity in sheffield, Alabama. Review the employer’s description below for duties, qualifications and application requirements.
Job description
Aligner r Corp. is seeking a researcher to translate informal mathematical proofs into Lean 4 formalizations for AI training. You will analyze proofs across algebra, analysis, topology, logic, and discrete math, identifying gaps and formalizable sub-structures.
The role emphasizes precision, readability, and reproducibility of Lean scripts. The position is fully remote, flexible, and hourly, with 10–40 hours per week.
#J-18808-Ljbffr
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.