Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into machine-verifiable formalizations. This flexible, fully remote contract role is perfect for mathematicians passionate about mechanized mathematics. Responsibilities include analyzing proofs, collaborating with AI researchers, and constructing formalizations. Ideal candidates hold a Master's degree in a related field and have deep experience in proof writing, particularly in Lean. A unique opportunity awaits to work at the intersection of mathematics, computer science, and AI training.
#J-18808-Ljbffr