Alignerr is seeking Applied Formal Methods Researchers to transform mathematical arguments into verifiable Lean 4 formalizations. This role demands a Master’s degree in a related field and allows for flexible, remote work.

You will analyze mathematical proofs, collaborate with researchers, and contribute to the advancement of AI in formal verification. Ideal candidates are self-motivated with a solid understanding of proofs and experience with Lean.