Mathematical Formalization Specialist Full-time Job

Here is a summary of the text in a few sentences: Alignerr is seeking a Mathematical Formalization Specialist with expertise in Lean and formal proof systems to improve the reliability and formalization of AI models.
The ideal candidate will have a strong foundation in mathematics and experience with formal proof languages, such as Lean, to translate human-written mathematical arguments into precise, machine-verifiable formalizations.
The role involves analyzing and formalizing mathematical proofs, constructing formalizations that test the limits of existing proof assistants, and collaborating with researchers to improve formal verification pipelines.
The candidate should have a Master's degree in Mathematics, Logic, or a related field, and a deep enthusiasm for formal verification and proof assistants.