Alignerr is seeking Applied Formal Methods Researchers to formalize advanced mathematical proofs in Lean 4, working at the frontier of mechanized mathematics and AI research. This is a fully remote, hourly contract role designed for mathematicians who value precision and transparent formal structure, with ***** hours per week.
You will translate informal proofs into Lean 4, analyze gaps, and build readable, machine-verifiable formalizations while collaborating with AI researchers to improve
#J-*****-Ljbffr