Remote Lean 4 Proof Engineer (Mathematical Formalization)

Alignerr is seeking a Lean 4 Proof Engineer to remotely translate advanced mathematical reasoning into machine-verifiable code. This role demands strong skills in formal proof systems, enabling candidates to work at the forefront of AI research.

The ideal candidate will hold a Master’s degree in Mathematics, have hands-on experience with Lean 4, and a passion for rigorous formal argumentation. Join us to push the boundaries of mechanized mathematics while enjoying flexible working arrangements.