Alignerr is seeking a Lean 4 Proof Engineer to formalize advanced proofs in a fully remote role. You will work on translating informal proofs into machine-verifiable formats and collaborate with researchers to refine verification methods. The ideal candidate