Alignerr is a leading AI research company seeking Applied Formal Methods Researchers to translate informal mathematical proofs into Lean 4. This fully remote role is ideal for mathematicians who value precision and structural elegance. Responsibilities include analyzing proofs, collaborating with AI teams, and constructing formalizations. A Master's degree and hands-on experience with Lean (Lean 4 preferred) are required.#J-18808-Ljbffr