Alignerr is seeking an Applied Formal Methods Researcher to translate informal mathematical proofs into Lean 4 formalizations. This remote position suits mathematicians who value precision and challenge. Candidates should hold a Master’s degree in Math or a related field, have strong proof writing skills, and experience with formal proof systems like Lean. The role includes analyzing proofs and collaborating on verification strategies, allowing autonomy in a dynamic research environment with the potential for ongoing work.
J-18808-Ljbffr