Alignerr is seeking a Lean 4 Proof Engineer to translate complex, informal mathematical arguments into machine-verifiable proofs for cutting-edge AI research. Candidates must possess at least a Master's degree in Mathematics, Logic, Theoretical Computer Science, or a related discipline, along with hands-on experience using Lean or comparable formal proof assistants. This is a fully remote, flexible contract role open globally.