Remote Lean 4 Proof Engineer - Mathematical Formalization
Alignerr
OxfordAlignerr is seeking a Lean 4 Proof Engineer with a strong mathematics background to formalize interpretations of complex proofs. This fully remote role requires the ability to convert informal proofs into machine-verifiable formats.The idea...Read More>>.
